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

Formal Modeling and Analysis of Timed Systems, Fachbücher

Integrated Formal Methods, Fachbücher von Elvira Albert

Discrete Geometry for Computer Imagery, Fachbücher

Formal Methods in Macro-Biology, Fachbücher

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

Database Systems for Advanced Applications, Fachbücher

Formal Methods for Industrial Critical Systems, Fachbücher

Integrated Formal Methods, Fachbücher

Advances in Databases and Information Systems, Fachbücher von Ladjel Bellatreche

Data Management in Cloud, Grid and P2P Systems, Fachbücher

Swarm Intelligence, Fachbücher von Mauro Birattari, Heiko Hamann

Principles of Distributed Systems, Fachbücher von Marc Shapiro

Principles and Practice of Constraint Programming, Fachbücher von Barry O'Sullivan

Intelligent Data Engineering and Automated Learning -- IDEAL 2014, Fachbücher

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