Bernhard Steffen
Identifiers
- Open LibraryOL3182265A
Top Subjects
- Machine learning (5)
- Robots, programming (5)
- Computer software, verification (4)
- Software engineering (2)
- Logic Design (1)
- Programming - Systems Analysis & Design (1)
- Congresses (1)
Books by Bernhard Steffen
Total count: 36
-
Eine Methode zur Behandlung von potentialtheoretischen Problemen mit freiem Rand mit Hilfe der nichtlinearen Optimierung1975-01-01
-
Abstrakte Interpretationen beim Optimieren von ProgrammlaufzeitenEin Optimalitätskonzept und seine Anwendung1987-01-01
-
Optimal Data Flow Analysis via Obserrational Equivalence.University of Edinburgh Laboratory forFoundations of Computer Science1989-01-01
-
Characteristic Formulae for CCS with Divergence.University of Edinburgh, Laboratory for Foundations of Computer Science1989-01-01
-
Finite constantsCharacterization of a new decidable set of constantsUniversity of Edinburgh, Laboratory for Foundations of Computer Science1989-01-01
Tools and Algorithms for the Construction and Analysis of Systems4th International Conference, TACAS'98, Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science)1 editionSpringer1998-03-18-
Correct System DesignRecent Insights and AdvancesSpringer London, Limited2003-01-01
-
Leveraging Applications of Formal MethodsFirst International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected PapersSpringer London, Limited2006-01-01
-
Leveraging Applications of Formal Methods, Verification and ValidationThird International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, ProceedingsSpringer London, Limited2008-01-01
-
Leveraging Applications of Formal Methods, Verification, and ValidationInternational Workshops, SARS 2011 and MLSC 2011, Held under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected PapersSpringer2012-01-01
-
Grundlagen der Höheren InformatikInduktives VorgehenSpringer Vieweg. in Springer Fachmedien Wiesbaden GmbH2013-01-01
-
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part ISpringer Berlin / Heidelberg2014-01-01
-
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part IISpringer Berlin / Heidelberg2014-01-01
-
Leveraging Applications of Formal Methods, Verification and Validation : Discussion, Dissemination, Applications7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part IISpringer2016-01-01
-
Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part ISpringer2016-01-01
Transactions on Foundations for Mastering Change ISpringer2016-09-30
SOFSEM 2017 : Theory and Practice of Computer Science43rd International Conference on Current Trends in Theory and Practice of Computer Science, ...Springer2017-01-11-
Leveraging Applications of Formal Methods, Verification and Validation. Verification8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IISpringer International Publishing AG2018-01-01
-
Karten Von MykenaiAuf Veranlassung des Deutschen Archäologischen Instituts Aufgenommen und Mit Erläuterndem TextCreative Media Partners, LLC2018-01-01
Mathematical Foundations of Advanced Informatics : Volume 1Inductive ApproachesSpringer2018-03-21
Leveraging Applications of Formal Methods, Verification and Validation. Modeling8th International Symposium, ISoLA 2018, Limassol, Cyprus, November ... ISpringer2018-10-29
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice8th International Symposium, ISoLA 2018, Limassol, ...Springer2018-10-30
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems8th International Symposium, ISoLA 2018, Limassol, ...Springer2018-10-31
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACASTOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ...Springer2019-04-04
Computing and Software ScienceState of the Art and PerspectivesSpringer2019-11-15-
Leveraging Applications of Formal Methods, Verification and Validation : Engineering Principles9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IISpringer International Publishing AG2020-01-01
-
Leveraging Applications of Formal Methods, Verification and Validation : Applications9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IIISpringer International Publishing AG2020-01-01
-
Leveraging Applications of Formal Methods, Verification and Validation : Verification Principles9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part ISpringer International Publishing AG2020-01-01
-
Leveraging Applications of Formal Methods, Verification and Validation : Tools and Trends9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IVSpringer International Publishing AG2021-01-01
-
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering11th International Symposium, ISoLA 2022, Rhodes, Greece, October 24-November 3, 2022, Proceedings, Part IISpringer2022-01-01
-
Leveraging Applications of Formal Methods, Verification and Validation. Practice11th International Symposium, ISoLA 2022, Rhodes, Greece, October 24-November 3, 2022, Proceedings, Part IVSpringer2022-01-01
-
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning11th International Symposium, ISoLA 2022, Rhodes, Greece, October 24-November 3, 2022, Proceedings, Part IIISpringer2022-01-01
-
Bridging the Gap Between AI and RealityFirst International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, ProceedingsSpringer2023-01-01
-
Combined Power of Research, Education, and DisseminationEssays Dedicated to Tiziana Margaria on the Occasion of Her 60th BirthdaySpringer2024-01-01
-
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. ReoCAS Colloquium12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part ISpringer2024-01-01
-
Real Time and SuchEssays Dedicated to Wang Yi to Celebrate His Scientific CareerSpringer2024-01-01