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

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

Modeling Decisions for Artificial Intelligence, Fachbücher von Yasuo Narukawa, Vicenç Torra

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

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

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