Model Checking Software, Fachbücher von Jaco Geldenhuys, Bernd Fischer

String Processing and Information Retrieval, Fachbücher von Costas Iliopoulos, Simon Puglisi, Emine Yilmaz

Static Analysis, Fachbücher von Sandrine Blazy, Thomas Jensen

Foundations of Intelligent Systems, Fachbücher von Floriana Esposito, Mohand-Said Hacid, Olivier Pivert, Zbigniew W. Rás

Advances in Spatial and Temporal Databases, Fachbücher von Markus Schneider, Li Xiong, Cyrus Shahabi, Woong-Kee Loh, Chr...

Search-Based Software Engineering, Fachbücher von Claire Le Goues, Shin Yoo

Mathematical Foundations of Computer Science 2015, Fachbücher von Giuseppe F Italiano, Donald T. Sannella, Giovanni Pigh...

FM 2015: Formal Methods, Fachbücher von Frank de Boer, Nikolaj Bjørner

Trust and Trustworthy Computing, Fachbücher von Matthias Schunter, Ioannis Askoxylakis, Mauro Conti

Mobile Web and Intelligent Information Systems, Fachbücher von Massimo Mecella, Irfan Awan, Muhammad Younas

Fundamentals of Computation Theory, Fachbücher von Igor Walukiewicz, Adrian Kosowski

Search-Based Software Engineering, Fachbücher

Model Checking Software 23rd International Symposium, Spin 2016,

Advanced Parallel Processing Technologies, Fachbücher von Yunji Chen, Qing Ji, Paolo Ienne

Component-Based Software Engineering, Fachbücher von Grace A. Lewis, Iman Poernomo, Christine Hofmeister

Rule Technologies: Foundations, Tools, and Applications, Fachbücher von Nick Bassiliades, Georg Gottlob, Fariba Sadri, D...