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

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

Computational Collective Intelligence, Fachbücher

Quantitative Evaluation of Systems, Fachbücher von Annabelle McIver, Andras Horvath

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

Entertainment Computing - ICEC 2015, Fachbücher von Jannicke Baalsrud Hauge, Rainer Malaka, Monica Divitini, Letizia Jac...

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

Unconventional Computation and Natural Computation, Fachbücher von Cristian S. Calude, Michael J. Dinneen

Electronic Government, Fachbücher von Mila Gascó, Konstantinos Tarabanis, Marijn Janssen, Hans Jochen Scholl, Bram Kliev...

Electronic Government, Fachbücher von Marijn Janssen, Maria A. Wimmer, Frank Edward Bannister, Hans Jochen Scholl

Evolving OpenMP for Evolving Architectures, Fachbücher von Sergi Mateo Bellido, Pedro Valero-Lara, Bronis R. de Supinski...

Case-Based Reasoning Research and Development, Fachbücher

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

Information Security, Fachbücher von Liqun Chen, Mark Manulis, Steve Schneider

Medical Image Computing and Computer Assisted Intervention – MICCAI 2018, Fachbücher von Julia A. Schnabel, Christos Dav...

Progress in Cryptology - INDOCRYPT 2013, Fachbücher von Paul Vaudenay, Goutam Paul