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

Nasa Formal Methods 13th International Symposium, Nfm 2021, Virtual

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

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

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

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

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

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...