Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings Steffen Bernhard Heftet / 2023 / Engelsk
Bridging the Gap Between AI and Reality Third International Conference on Bridging the Gap between AI and Reality, AISoLA 2025, Rhodes, Greece, November 1–5, 2025, Selected Papers Steffen Bernhard Heftet / 2025 / Engelsk
Bridging the Gap Between AI and Reality Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings Steffen Bernhard Heftet / 2024 / Engelsk
Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers Steffen Bernhard Heftet / 2024 / Engelsk
Bridging the Gap Between AI and Reality Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Selected Papers Steffen Bernhard Heftet / 2025 / Engelsk
Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday Hinchey Mike Heftet / 2024 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III Margaria Tiziana Heftet / 2022 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II Margaria Tiziana Heftet / 2022 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I Margaria Tiziana Heftet / 2022 / Engelsk
Computing and Software Science State of the Art and Perspectives Steffen Bernhard Heftet / 2019 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I Margaria Tiziana Heftet / 2024 / Engelsk
Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers Maragria Tiziana Heftet / 2006 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III Margaria Tiziana Heftet / 2024 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III Margaria Tiziana Heftet / 2018 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Practice 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV Margaria Tiziana Heftet / 2022 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV Margaria Tiziana Heftet / 2024 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings Margaria Tiziana Heftet / 2021 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV Margaria Tiziana Heftet / 2021 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV Margaria Tiziana Heftet / 2018 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I Margaria Tiziana Heftet / 2018 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I Margaria Tiziana Heftet / 2020 / Engelsk
Formal Methods for Industrial Critical Systems 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings Remke Anne Heftet / 2025 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V Margaria Tiziana Heftet / 2024 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II Margaria Tiziana Heftet / 2018 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II Margaria Tiziana Heftet / 2020 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation: Applications 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III Margaria Tiziana Heftet / 2020 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II Margaria Tiziana Heftet / 2024 / Engelsk
Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career Graf Susanne Heftet / 2024 / Engelsk
Model Checking, Synthesis, and Learning Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday Olderog, Ernst-Rüdiger Heftet / 2021 / Engelsk
Hofmanns und Ritschls Lehren Über die Heilsbedeutung des Todes Jesu: Inaugural-Dissertation (Classic Reprint) Steffen Bernhard Innbundet / 2018 / Tysk
Karten von Mykenai: Auf Veranlassung des Kaiserlich Deutschen Archäologischen Instituts Aufgenommen und mit Erläuterndem Text Herausgegeben (Classic Reprint) Steffen Bernhard Heftet / 2018 / Tysk
Hofmanns und Ritschls Lehren Über die Heilsbedeutung des Todes Jesu: Inaugural-Dissertation (Classic Reprint) Steffen Bernhard Heftet / 2018 / Tysk
Tools and Algorithms for the Construction and Analysis of Systems Steffen Bernhard Heftet / 2020 / Engelsk
Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches Steffen Bernhard Innbundet / 2018 / Engelsk
Tools and Algorithms for the Construction and Analysis of Systems Steffen Bernhard Innbundet / 2020 / Engelsk
Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches Steffen Bernhard Heftet / 2019 / Engelsk
