Search-Based Software Engineering, Fachbücher

NASA Formal Methods, Fachbücher

Model Checking Software, Fachbücher von Bernd Fischer

Software Language Engineering, Fachbücher von Martin Erwig

String Processing and Information Retrieval, Fachbücher von Maxime Crochemore

Social Robotics, Fachbücher von Michael Beetz, Benjamin Johnston

Software Composition, Fachbücher von Cesare Pautasso

Advances in Spatial and Temporal Databases, Fachbücher von Markus Schneider

Mathematical Software -- ICMS 2014, Fachbücher

Algorithmic Game Theory, Fachbücher

Internet of Things, Smart Spaces, and Next Generation Networks and Systems, Fachbücher

Interactive Theorem Proving, Fachbücher

Search Based Software Engineering 9th International Symposium, Ssbse

Database Programming Languages, Fachbücher

Proceedings Of 6th International Conference In Software Engineering

Human-Centered Software Engineering, Fachbücher von Stefan Sauer, Peter Forbrig