Software Engineering and Formal Methods, Fachbücher

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

Logic Programming and Nonmonotonic Reasoning, Fachbücher von Miroslaw Truszczynski, Giovambattista Ianni, Francesco Cali...

Knowledge-Based and Intelligent Information and Engineering Systems, Fachbücher

Parallel Computing Technologies, Fachbücher

Image Analysis and Processing — ICIAP 2015, Fachbücher

Internet and Distributed Computing Systems, Fachbücher

Brain Informatics and Health, Fachbücher

Image Analysis and Processing — ICIAP 2015, Fachbücher von Enrico Puppo, Vittorio Murino

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

Software Engineering for Resilient Systems, Fachbücher

Integrated Formal Methods, Fachbücher von Carlo A. Furia, Kirsten Winter

Foundations of Software Science and Computation Structures, Fachbücher

Machines, Computations, and Universality, Fachbücher

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

Model and Data Engineering, Fachbücher von Ladjel Bellatreche, Yannis Manolopoulos