Formal Modeling and Analysis of Timed Systems, Fachbücher

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

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

Integrated Formal Methods, Fachbücher von Elvira Albert

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

Mobile Web and Intelligent Information Systems, Fachbücher

Discrete Geometry for Computer Imagery, Fachbücher

Intelligent Tutoring Systems, Fachbücher

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

Advances in Practical Applications of Heterogeneous Multi-Agent Systems - The PAAMS Colle, Fachbücher

Formal Methods in Macro-Biology, Fachbücher

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

Algebra and Coalgebra in Computer Science, Fachbücher

Simulation, Modeling, and Programming for Autonomous Robots, Fachbücher von Bruce Macdonald

Principles of Distributed Systems, Fachbücher von Marc Shapiro

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