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

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

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

Cooperative Design, Visualization, and Engineering, Fachbücher von Yuhua Luo

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

Formal Aspects of Component Software, Fachbücher

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

Theory of Cryptography, Fachbücher von Yehuda Lindell

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

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

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