Bernhard Steffen의 책들 - BookPine

Bridging the Gap Between AI and Reality: Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings

Bridging the Gap Between AI and Reality: Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings

Bernhard Steffen

Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career

Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career

Susanne Graf

Leveraging Applications of Formal Methods, Verification and Validation: 11th International Symposium (ISoLA 2022)

Leveraging Applications of Formal Methods, Verification and Validation: 11th International Symposium (ISoLA 2022)

Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation (Verification Principles): 11th International Symposium, ISoLA 2022

Leveraging Applications of Formal Methods, Verification and Validation (Verification Principles): 11th International Symposium, ISoLA 2022

Tiziana Margaria

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on the Occasion of His 60th Birthday

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on the Occasion of His 60th Birthday

Ernst-Rüdiger Olderog

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium (ISoLA)

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium (ISoLA)

Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications ... Notes in Computer Science Book 12476)

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications ... Notes in Computer Science Book 12476)

Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles (9th International Symposium on Leveraging Applications ... Notes in Computer Science Book 12477)

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles (9th International Symposium on Leveraging Applications ... Notes in Computer Science Book 12477)

Tiziana Margaria

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April ... Notes in Computer Science Book 11429)

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April ... Notes in Computer Science Book 11429)

Dirk Beyer

Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, ... Notes in Computer Science Book 11244

Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, ... Notes in Computer Science Book 11244

Tiziana Margaria

Sofsem 2017: Theory and Practice of Computer Science (43rd International Conference on Current Trends in Theory and Practice of Computer Science)

Sofsem 2017: Theory and Practice of Computer Science (43rd International Conference on Current Trends in Theory and Practice of Computer Science)

Bernhard Steffen

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, ... Notes in Computer Science Book 10139)

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, ... Notes in Computer Science Book 10139)

Bernhard Steffen

Transactions on Foundations for Mastering Change I

Transactions on Foundations for Mastering Change I

Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation: 6th International Symposium (ISoLA)

Leveraging Applications of Formal Methods, Verification and Validation: 6th International Symposium (ISoLA)

Tiziana Margaria

Grundlagen der höheren Informatik: Induktives Vorgehen (eXamen.press)

Grundlagen der höheren Informatik: Induktives Vorgehen (eXamen.press)

Bernhard Steffen

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops (SARS 2011 and MLSC 2011) Held Under the Auspices of Computer and Information Science (336)

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops (SARS 2011 and MLSC 2011) Held Under the Auspices of Computer and Information Science (336)

Reiner Hahnle

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Computer Science and General Issues)

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Computer Science and General Issues)

Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October (Part I)

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October (Part I)

Tiziana Margaria