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

Knowledge Representation for Health Care, Fachbücher von Silvia Miksch

Finite Difference Methods,Theory and Applications, Fachbücher

Augmented and Virtual Reality, Fachbücher

Cryptography and Information Security in the Balkans, Fachbücher

Rewriting and Typed Lambda Calculi, Fachbücher

Curves and Surfaces, Fachbücher von Albert Cohen

Applications of Declarative Programming and Knowledge Management, Fachbücher von Armin Wolf

Interactive Theorem Proving, Fachbücher von Ruben Gamboa

Mathematical Methods for Curves and Surfaces, Fachbücher

Cellular Automata and Discrete Complex Systems, Fachbücher

Energy Efficiency in Large Scale Distributed Systems, Fachbücher

Solving Software Challenges for Exascale, Fachbücher

Fundamentals of Software Engineering, Fachbücher

Enterprise Information Systems, Fachbücher von José Cordeiro

Radio Frequency Identification: Security and Privacy Issues, Fachbücher von Michael Hutter