کتاب های Bernhard Steffen
Baukonstruktion im Klimawandel
Bernhard Weller, Marc-Steffen Fahrion, Sebastian Horn, Thomas Naumann, Johannes Nikolowski (auth.), 2016
Mathematical Foundations of Advanced Informatics. Volume 1 Inductive Approaches
Bernhard Steffen, Oliver Rüthing, Michael Huth, 2018
Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science)
Tiziana Margaria (editor), Bernhard Steffen (editor), 2021
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi, 2021
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi, 2021
