Formal Methods for Industrial Critical Systems, Fachbücher

FM 2015: Formal Methods, Fachbücher

Descriptional Complexity of Formal Systems, Fachbücher

Formal Concept Analysis, Fachbücher

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

Inter-Domain Management, Fachbücher von Mark Burgess

Fm 2015: Formal Methods 20th International Symposium, Oslo, Norway,

Mathematical Methods for Curves and Surfaces, Fachbücher

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Susanne Graf

Software Engineering for Resilient Systems, Fachbücher

Formal Methods for Dynamical Systems, Fachbücher

NASA Formal Methods, Fachbücher

Artificial Intelligence in Education, Fachbücher

Formal Methods for Multicore Programming, Fachbücher

Advanced Information Systems Engineering, Fachbücher von Jelena Zdravkovic

Engineering the Web in the Big Data Era, Fachbücher