Software Engineering and Formal Methods, Fachbücher

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

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

Parallel Computing Technologies, Fachbücher

Business Process Management, Fachbücher

Fundamental Approaches to Software Engineering, Fachbücher von Ina Schaefer, Alexander Egyed

Internet and Distributed Computing Systems, 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

Search-Based Software Engineering, Fachbücher

Knowledge-Based and Intelligent Information and Engineering Systems, Fachbücher von Sebastián A. Ríos, Juan D. Velásquez

Formal Concept Analysis, Fachbücher von Christian Sacarea, Manuel Ojeda-Aciego, Jaume Baixeries

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

Brain Informatics and Health, Fachbücher von Sean Hill, Hanchuan Peng, Yike Guo, Faisal Aldo, Karl Friston

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