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

Integrated Formal Methods, Fachbücher von Elvira Albert, Emil Sekerinski

Formal Methods for Industrial Critical Systems, Fachbücher von Francesco Flammini, Frédéric Lang

Software Engineering and Formal Methods, Fachbücher

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

Integrated Formal Methods, Fachbücher von Carlo A. Furia, Kirsten Winter

Formal Methods In Macro-biology First International Conference, Fmmb

Medical Image Computing and Computer-Assisted Intervention - MICCAI 2014, Fachbücher von Christian Barillot, Joachim Hor...

Cellular Automata, Fachbücher von Stefania Bandini, Jaroslaw Was, Georgios C. Sirakoulis

Informatics in SchoolsTeaching and Learning Perspectives, Fachbücher von Erinç Karatas, Yasemin Gülbahar

Human-Computer Interaction. Theories, Methods, and Tools, Fachbücher von Masaaki Kurosu

HCI in Business, Sachbücher von Fiona Fui-Hoon Nah

Belief Functions: Theory and Applications, Fachbücher von Fabio Cuzzolin

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

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

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