Formal Methods for Industrial Critical Systems, Fachbücher von Manuel Nunez, Matthias Güdemann

FM 2015: Formal Methods, Fachbücher von Frank de Boer, Nikolaj Bjørner

Descriptional Complexity of Formal Systems, Fachbücher von Jeffrey Shallit, Alexander Okhotin

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

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

Inter-Domain Management, Fachbücher von Mark Burgess, Arosha K. Bandara

Multiple Classifier Systems, Fachbücher von Friedhelm Schwenker, Josef Kittler, Fabio Roli

Mathematical Methods for Curves and Surfaces, Fachbücher

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

Natural Language Processing and Information Systems, Fachbücher von Chris Biemann, André Freitas, Elisabeth Métais, Sieg...

Hybrid Artificial Intelligent Systems, Fachbücher von Héctor Quintián, Emilio Corchado, Eneko Osaba, Igor Santos, Enriqu...

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

Software Engineering for Resilient Systems, Fachbücher von Alessandro Fantechi, Patrizio Pelliccione

Formal Methods for Multicore Programming, Fachbücher

Reachability Problems, Fachbücher von Igor Potapov, Mikolaj Bojanczyk, Slawomir Lasota

Intelligent Mechanisms for Network Configuration and Security, Fachbücher