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

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

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

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

Quantitative Evaluation of Systems, Fachbücher von Annabelle McIver, Andras Horvath

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

Quantitative Evaluation of Systems, Fachbücher von Javier Campos, Boudewijn R. Haverkort

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

Cellular Automata, Fachbücher von Stefania Bandini, Jaroslaw Was, Georgios C. Sirakoulis

Formal Aspects of Component Software, Fachbücher von Eric Madelaine, Ivan Lanese

Theory of Cryptography, Fachbücher von Yehuda Lindell

Integration of AI and OR Techniques in Constraint Programming, Fachbücher von Helmut Simonis

Principles of Distributed Systems, Fachbücher von Marc Shapiro, Marcos K. Aguilera, Leonardo Querzoni

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

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