Verified Software: Theories, Tools and Experiments, Fachbücher

Knowledge Representation for Health Care, Fachbücher von Silvia Miksch, Annette ten Teije, David Riaño

Verified Software: Theorie, Tools, Experiments, Fachbücher von Andrey Rybalchenko, Ernie Cohen

Finite Difference Methods,Theory and Applications, Fachbücher von Lubin Vulkov, István Faragó, Ivan Dimov

Games and Learning Alliance, Fachbücher

Fundamentals of Software Engineering, Fachbücher von Marjan Sirjani, Mehdi Dastani

Rewriting and Typed Lambda Calculi, Fachbücher von Gilles Dowek

Applications of Declarative Programming and Knowledge Management, Fachbücher von Armin Wolf, Hans Tompits, Jörg Pührer, ...

Cryptography and Information Security in the Balkans, Fachbücher von Bart Preneel, Berna Ors

Interactive Theorem Proving, Fachbücher von Ruben Gamboa, Gerwin Klein

Swarm, Evolutionary, and Memetic Computing, Fachbücher von Ponnuthurai Nagaratnam Suganthan, Bijaya Ketan Panigrahi, Swa...

Curves and Surfaces, Fachbücher von Albert Cohen, Larry L. Schumaker, Marie-Laurence Mazure, Tom Lyche, Christian Gout, ...

Information and Communications Security, Fachbücher von S. H. Qing, S. M. Yiu, Lucas C. K. Hui, Elaine Shi

Performance Characterization and Benchmarking. Traditional to Big Data, Fachbücher von Meikel Poess, Raghunath Nambiar

Networked Systems, Fachbücher von Guevara Noubir, Michel Raynal

Mathematical Methods for Curves and Surfaces, Fachbücher