FM 2014: Formal Methods, Fachbücher von Jun Sun, Cliff Jones, Pekka Pihlajasaari

Formal Methods for Industrial Critical Systems, Fachbücher von Francesco Flammini, Frédéric Lang

FM 2015: Formal Methods, Fachbücher von Frank de Boer, Nikolaj Bjørner

Reconfigurable Computing: Architectures, Tools, and Applications, Fachbücher von João M.P. Cardoso, Koen Bertels, Diana ...

Privacy Enhancing Technologies, Fachbücher von Steven J. Murdoch, Emiliano De Cristofaro

NASA Formal Methods, Fachbücher von Klaus Havelund, Rajeev Joshi, Gerard Holzmann

Cliff Jones (u. A.) | Fm 2014: Formal Methods | Taschenbuch | Englisch

Integrated Formal Methods, Fachbücher von Elvira Albert, Emil Sekerinski

Mathematical Foundations of Computer Science 2014, Fachbücher von Martin Dietzfelbinger, Zoltan Esik, Ersébet Csuhaj-Var...

Formal Methods in Macro-Biology, Fachbücher von François Fages, Carla Piazza

Formal Aspects of Component Software, Fachbücher von Eric Madelaine, Ivan Lanese

Technologies and Applications of Artificial Intelligence, Fachbücher von Min-Yuh Day, Shin-Ming Cheng

Relational and Algebraic Methods in Computer Science, Fachbücher von Wolfram Kahl, Peter Jipsen, Peter Höfner, Martin Er...

Advances in Neural Networks – ISNN 2014, Fachbücher von Zhigang Zeng, Yangmin Li, Irwin King

Progress in Cryptology – AFRICACRYPT 2014, Fachbücher von David Pointcheval, Damien Vergnaud

Database Systems for Advanced Applications, Fachbücher