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

Verification, Model Checking, and Abstract Interpretation, Fachbücher

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

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

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

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

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

Quantitative Evaluation of Systems, Fachbücher

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

System Analysis and Modeling: Models and Reusability, Fachbücher von Gunter Mussbacher

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

Wireless Sensor Networks, Fachbücher von Bhaskar Krishnamachari, Niki Trigoni, Amy L. Murphy

Gilles Barthe (u. A.) | Verification, Model Checking, And Abstract...

High Performance Embedded Architectures and Compilers, Fachbücher

Algorithms and Models for the Web Graph, Fachbücher von Pawel Pralat, Fan Chung Graham, Anthony Bonato

Advanced Intelligent Computing Theories and Applications, Fachbücher