NASA Formal Methods, Fachbücher

FM 2014: Formal Methods, Fachbücher von Jun Sun

Search-Based Software Engineering, Fachbücher

Reconfigurable Computing: Architectures, Tools, and Applications, Fachbücher

Communication Technologies for Vehicles, Fachbücher von Axel Sikora

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

Algorithms for Computational Biology, Fachbücher von Holmes, Ian Martn-Vide, Carlos Vega-Rodrguez, Miguel A.

Advances in Intelligent Data Analysis IX, Fachbücher von Michael R. Berthold

Mathematical Morphology and Its Applications to Signal and Image Processing, Fachbücher

Research in Computational Molecular Biology, Fachbücher

Formal Methods in Macro-Biology, Fachbücher

Passive and Active Network Measurement, Fachbücher

Integrated Formal Methods, Fachbücher von Elvira Albert

Algorithmic Game Theory, Fachbücher

Advancing the Impact of Design Science: Moving from Theory to Practice, Fachbücher von Ashish Gupta

The Semantic Web: Trends and Challenges, Fachbücher von Fabien Gandon, Valentina Presutti