FM 2014: Formal Methods, Fachbücher von Jun Sun

NASA Formal Methods, Fachbücher

Formal Methods for Industrial Critical Systems, Fachbücher von Francesco Flammini

Reconfigurable Computing: Architectures, Tools, and Applications, Fachbücher

Privacy Enhancing Technologies, Fachbücher

Formal Methods in Macro-Biology, Fachbücher

Integrated Formal Methods, Fachbücher von Elvira Albert

Formal Aspects of Component Software, Fachbücher

Advances in Neural Networks – ISNN 2014, Fachbücher von Irwin King

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

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

Static Analysis, Fachbücher von Helmut Seidl

Search-Based Software Engineering, Fachbücher

Database Systems for Advanced Applications, Fachbücher

Foundations of Intelligent Systems, Fachbücher von Henning Christiansen

Foundations of Information and Knowledge Systems, Fachbücher von Carlo Meghini