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

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

Formal Modeling and Analysis of Timed Systems, Fachbücher von Enrico Vicario, Sriram Sankaranarayanan

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

Detection of Intrusions and Malware, and Vulnerability Assessment, Fachbücher

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

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

System Analysis and Modeling: Models and Reusability, Fachbücher von Gunter Mussbacher, Pau Fonseca i Casas, Daniel Amyo...

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

Advances in Practical Applications of Heterogeneous Multi-Agent Systems - The PAAMS Colle, Fachbücher von Juan M. Corcha...

Intelligent Tutoring Systems, Fachbücher von Martha Crosby, Kristy Boyer, Stefan Trausan-Matu, Kitty Panourgia

Formal Methods in Macro-Biology, Fachbücher von François Fages, Carla Piazza

LCD Displayschutzfolie 5D Full Glue Samsung G998 S21 Ultra 5G gebogen ohne Ausschnitt, Fachbücher von Cynthia Vera Glode...