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

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

Integrated Formal Methods, Fachbücher von Carlo A. Furia, Kirsten Winter

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 in Macro-Biology, Fachbücher von François Fages, Carla Piazza

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

Formal Aspects of Component Software, Fachbücher

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

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

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

Image Analysis and Processing — ICIAP 2015, Fachbücher von Enrico Puppo, Vittorio Murino

Business Process Management, Fachbücher von Pnina Soffer, Shazia Sadiq, Hagen Völzer

Information Security, Fachbücher von Javier López, Chris J. Mitchell

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