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

Stabilization, Safety, and Security of Distributed Systems, Fachbücher von Alexander A. Schwarzmann, Andrzej Pelc

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

Integer Programming and Combinatorial Optimization, Fachbücher von Jochen Koenemann, Friedrich Eisenbrand

Cryptographic Hardware and Embedded Systems -- CHES 2015, Fachbücher

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

Computer Algebra in Scientific Computing, Fachbücher

Artificial Intelligence in Education, Fachbücher von Cristina Conati, Antonija Mitrovic, Neil Heffernan, M. Felisa Verde...

Coordination Models and Languages, Fachbücher von Tom Holvoet, Mirko Viroli

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

Integer Programming and Combinatorial Optimization, Fachbücher von Jon Lee, Jens Vygen

Foundations of Intelligent Systems, Fachbücher von Juan-Carlos Cubero, Zbigniew W. Rás, Troels Andreasen, Henning Christ...

Advances in Artificial Intelligence, Fachbücher von Denilson Barbosa, Evangelos Milios

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

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

Intelligent Mechanisms for Network Configuration and Security, Fachbücher