NASA Formal Methods, Fachbücher von Kristin Yvonne Rozier, Julia M. Badger

NASA Formal Methods, Fachbücher von Klaus Havelund, Rajeev Joshi, Gerard Holzmann

FM 2014: Formal Methods, Fachbücher von Jun Sun, Cliff Jones, Pekka Pihlajasaari

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

Relational and Algebraic Methods in Computer Science, Fachbücher von Wolfram Kahl, Peter Jipsen, Peter Höfner, Martin Er...

Engineering Secure Software and Systems, Fachbücher von Nataliia Bielova, Jan Jürjens, Frank Piessens

Traffic Monitoring and Analysis, Fachbücher von Steve Uhlig, Alberto Dainotti, Anirban Mahanti

Advances in Intelligent Data Analysis IX, Fachbücher von Michael R. Berthold, Paul R. Cohen, Niall, M. Adams

Communication Technologies for Vehicles, Fachbücher von Alexey Vinel, Marion Berbineau, Axel Sikora

Reconfigurable Computing: Architectures, Tools, and Applications, Fachbücher von João M.P. Cardoso, Koen Bertels, Diana ...

Intelligent Technologies for Interactive Entertainment, Fachbücher von Dennis Reidsma

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

Social Computing, Behavioral-Cultural Modeling and Prediction, Fachbücher von William G. Kennedy, Shanchieh Jay Yang, Ni...

Social Robotics, Fachbücher von Mary-Anne Williams, Benjamin Johnston, Michael Beetz

NASA Formal Methods, Fachbücher von Aaron Dutle, Anthony Narkawicz, César Muñoz

Mathematical Morphology and Its Applications to Signal and Image Processing, Fachbücher von Hugues Talbot, Laurent Najma...