Verification, Model Checking, and Abstract Interpretation, Fachbücher von Gilles Barthe, Manuel Hermenegildo

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Kenneth McMillan, Xavier Rival

Practical Aspects of Declarative Languages, Fachbücher von Ricardo Peña, Manuel Carro

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Kim Gulstrand Larsen, Deepak D'Souza, Akash La...

Knowledge Science, Engineering and Management, Fachbücher von Weiru Liu, Bo Yang, Fausto Giunchiglia

Language and Automata Theory and Applications, Fachbücher von Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe, Jos...

Formal Modeling and Analysis of Timed Systems, Fachbücher von Enrico Vicario, Sriram Sankaranarayanan

High Performance Embedded Architectures and Compilers, Fachbücher von Yale N. Patt, Paola Faraboschi, Xavier Tort-Martor...

Intelligent Data Engineering and Automated Learning – IDEAL 2018, Fachbücher von Paulo Novais, Hujun Yin, Antonio J. Tal...

Cooperative Design, Visualization, and Engineering, Fachbücher von Yuhua Luo

Quantitative Evaluation of Systems, Fachbücher von Javier Campos, Boudewijn R. Haverkort

Artificial Intelligence in Education, Fachbücher von Cristina Conati, Antonija Mitrovic, Neil Heffernan, M. Felisa Verde...

Biometric ID Management and Multimodal Communication, Fachbücher von Julian Fierrez, Anna Esposito, Marcos Faundez-Zanuy...

Verification, Model Checking, and Abstract Interpretation, Fachbücher von K. Rustan M. Leino, Barbara Jobstmann

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Bernhard Steffen, Giorgio Levi

Inclusive Society: Health and Wellbeing in the Community, and Care at Home, Fachbücher von Jit Biswas, Hisato Kobayashi