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

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

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

Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS, Fachbücher von Fernand...

Formal Concept Analysis, Fachbücher von Christian Sacarea, Manuel Ojeda-Aciego, Jaume Baixeries

Software Engineering and Formal Methods, Fachbücher

Big Data Analytics and Knowledge Discovery, Fachbücher

Parallel Computing Technologies, Fachbücher

Internet and Distributed Computing Systems, Fachbücher

Information Technology in Bio- and Medical Informatics, Fachbücher von Andreas Holzinger, M. Elena Renda, Miroslav Bursa...

Computer Analysis of Images and Patterns, Fachbücher von Nicolai Petkov, George Azzopardi

Logic Programming and Nonmonotonic Reasoning, Fachbücher von Miroslaw Truszczynski, Giovambattista Ianni, Francesco Cali...

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

Business Process Management, Fachbücher

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

Artificial Intelligence in Education, Fachbücher von Cristina Conati, Antonija Mitrovic, Neil Heffernan, M. Felisa Verde...