Computer Safety, Reliability, and Security, Fachbücher von Felicita Di Giandomenico, Andrea Bondavalli

Discrete Geometry for Computer Imagery, Fachbücher von Simone Rinaldi, Andrea Frosini, Elena Barcucci

Formal Modeling and Analysis of Timed Systems, Fachbücher von Axel Legay, Marius Bozga

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

Quantitative Evaluation of Systems, Fachbücher von Gethin Norman, William Sanders

Algebra and Coalgebra in Computer Science, Fachbücher von Alexander Kurz, Marina Lenisa, Andrzej Tarlecki

Intelligent Data Engineering and Automated Learning -- IDEAL 2014, Fachbücher von Jose A. Lozano, Hujun Yin, Emilio S. C...

Integrated Formal Methods, Fachbücher von Elvira Albert, Emil Sekerinski

Availability, Reliability, and Security in Information Systems, Fachbücher von A Min Tjoa, Ilsun You, Edgar Weippl, Step...

Swarm Intelligence, Fachbücher von Thomas Stützle, Simon Garnier, Christine Solnon, Marco Montes de Oca, Marco Dorigo, M...

Principles and Practice of Constraint Programming, Fachbücher von Barry O'Sullivan

Electronic Government and the Information Systems Perspective, Fachbücher von Enrico Francesconi, Andrea Kö

Trust, Privacy, and Security in Digital Business, Fachbücher von Claudia Eckert, Sokratis K. Katsikas, Günther Pernul

Communications and Multimedia Security, Fachbücher von Bart De Decker, André Zúquete

Medical Image Computing and Computer-Assisted Intervention - MICCAI 2014, Fachbücher von Christian Barillot, Joachim Hor...

Belief Functions: Theory and Applications, Fachbücher von Fabio Cuzzolin