Releases von Bernhard Steffen

Cover for Bernhard Steffen · Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings - Lecture Notes in Computer Science (Taschenbuch) [1st ed. 2024 edition] (2023)
Taschenbuch
1st ed. 2024 edition
Bridging the Gap Between AI and ...
Bernhard Steffen
Cover for Bernhard Steffen · Tools and Algorithms for the Construction and Analysis of Systems (Taschenbuch) (2020)
Taschenbuch
Tools and Algorithms for the Con...
Bernhard Steffen
Cover for Bernhard Steffen · Tools and Algorithms for the Construction and Analysis of Systems (Gebundenes Buch) (2020)
Gebundenes Buch
Tools and Algorithms for the Con...
Bernhard Steffen
Cover for Bernhard Steffen · Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches (Taschenbuch) [Softcover Reprint of the Original 1st 2018 edition] (2019)
Taschenbuch
Softcover Reprint of the Original 1st 2018 edition
Mathematical Foundations of Adva...
Bernhard Steffen
Cover for Bernhard Steffen · Grundlagen Der Hoheren Informatik: Induktives Vorgehen - Examen.press (Gebundenes Buch) (2013)
Gebundenes Buch
Grundlagen Der Hoheren Informati...
Bernhard Steffen
Cover for Bernhard Steffen · Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings - Lecture Notes in Computer Science (Taschenbuch) (2004)
Taschenbuch
Verification, Model Checking, an...
Bernhard Steffen