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 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

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

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...

Mobile Web and Intelligent Information Systems, Fachbücher von Massimo Mecella, Irfan Awan, Muhammad Younas

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

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

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