Integrated Formal Methods, Fachbücher

Integrated Formal Methods, Fachbücher von Elvira Albert

Formal Methods in Macro-Biology, Fachbücher

Quantitative Evaluation of Systems, Fachbücher

Formal Methods for Industrial Critical Systems, Fachbücher von Francesco Flammini

Entertainment Computing - ICEC 2015, Fachbücher

Unconventional Computation and Natural Computation, Fachbücher

Evolving OpenMP for Evolving Architectures, Fachbücher

Electronic Government, Fachbücher

Information Security, Fachbücher

Advances in Web-Based Learning -- ICWL 2015, Fachbücher

Formal Modeling and Analysis of Timed Systems, Fachbücher

Software Process Improvement, Fachbücher

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

Integrated Formal Methods 16th International Conference, Ifm 2020,

Algebra and Coalgebra in Computer Science, Fachbücher