99 results
Type of media (2)
Availability (2)
Language (2)
Classification (7)
Year
Persons
Publishers
Sort by
Results per page
Filter
99 results

Your search for Bernhard Steffen

  1. Cover: Formal Methods for Industrial Critical Systems - Springer
    Anne Remke | Bernhard Steffen
    Formal Methods for Industrial Critical Systems
    30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings
    08/2025
    Springer
    9783032009425 (ISBN)
    E-Book
    PDF
    Other editions
    €60.98
    Available for download
  2. Cover: Computing and Software Science - Springer
    Bernhard Steffen | Gerhard Woeginger
    Computing and Software Science
    State of the Art and Perspectives
    10/2019
    Springer
    9783319919089 (ISBN)
    E-Book
    PDF
    Other editions
    €32.09
    Available for download
  3. Cover: Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - Springer
    Tiziana Margaria | Bernhard Steffen
    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
    08/2021
    Springer
    9783030837235 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Leveraging Applications of Formal Methods, Verification and Validation - Springer
    Tiziana Margaria | Bernhard Steffen
    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
    10/2021
    Springer
    9783030891596 (ISBN)
    E-Book
    PDF
    Other editions
    €74.89
    Available for download
  5. Cover: Model Checking, Synthesis, and Learning - Springer
    Ernst-Rüdiger Olderog | Bernhard Steffen | Wang Yi
    Model Checking, Synthesis, and Learning
    Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
    12/2021
    Springer
    9783030913847 (ISBN)
    E-Book
    PDF
    Other editions
    €69.54
    Available for download
  6. Cover: Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems - Springer
    Tiziana Margaria | Bernhard Steffen
    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
    10/2024
    Springer
    9783031751073 (ISBN)
    E-Book
    PDF
    Other editions
    €80.24
    Available for download
  7. Cover: Leveraging Applications of Formal Methods, Verification and Validation. Application Areas - Springer
    Tiziana Margaria | Bernhard Steffen
    Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
    12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
    10/2024
    Springer
    9783031753909 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  8. Cover: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies - Springer
    Tiziana Margaria | Bernhard Steffen
    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
    10/2024
    Springer
    9783031753879 (ISBN)
    E-Book
    PDF
    Other editions
    €69.54
    Available for download
  9. Cover: Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - Springer
    Tiziana Margaria | Bernhard Steffen
    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
    10/2024
    Springer
    9783031753800 (ISBN)
    E-Book
    PDF
    Other editions
    €85.59
    Available for download
  10. Cover: Bridging the Gap Between AI and Reality - Springer
    Bernhard Steffen
    Bridging the Gap Between AI and Reality
    Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings
    12/2024
    Springer
    9783031754340 (ISBN)
    E-Book
    PDF
    Other editions
    €74.89
    Available for download
  11. Cover: Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola - Springer
    Tiziana Margaria | Bernhard Steffen
    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
    10/2024
    Springer
    9783031737091 (ISBN)
    E-Book
    PDF
    Other editions
    €85.59
    Available for download
  12. Cover: Real Time and Such - Springer
    Susanne Graf | Paul Pettersson | Bernhard Steffen
    Real Time and Such
    Essays Dedicated to Wang Yi to Celebrate His Scientific Career
    10/2024
    Springer
    9783031737510 (ISBN)
    E-Book
    PDF
    Other editions
    €58.84
    Available for download
  13. Cover: The Combined Power of Research, Education, and Dissemination - Springer
    Mike Hinchey | Bernhard Steffen
    The Combined Power of Research, Education, and Dissemination
    Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday
    10/2024
    Springer
    9783031738876 (ISBN)
    E-Book
    PDF
    Other editions
    €80.24
    Available for download
  14. Cover: Leveraging Applications of Formal Methods, Verification and Validation: Applications - Springer
    Tiziana Margaria | Bernhard Steffen
    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
    10/2020
    Springer
    9783030614676 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  15. Cover: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - Springer
    Tiziana Margaria | Bernhard Steffen
    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
    10/2020
    Springer
    9783030614706 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  16. Cover: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - Springer
    Tiziana Margaria | Bernhard Steffen
    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
    10/2020
    Springer
    9783030613624 (ISBN)
    E-Book
    PDF
    Other editions
    €90.94
    Available for download
  17. Cover: Bridging the Gap Between AI and Reality - Springer
    Bernhard Steffen
    Bridging the Gap Between AI and Reality
    First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings
    12/2023
    Springer
    9783031460029 (ISBN)
    E-Book
    PDF
    Other editions
    €74.89
    Available for download
  18. Cover: Grundlagen der höheren Informatik - Springer Vieweg
    Bernhard Steffen | Oliver Rüthing | Malte Isberner
    Grundlagen der höheren Informatik
    Induktives Vorgehen
    10/2013
    Springer Vieweg
    9783642401466 (ISBN)
    E-Book
    PDF
    Other editions
    €29.99
    Available for download
  19. Cover: Transactions on Foundations for Mastering Change I - Springer
    Bernhard Steffen
    Transactions on Foundations for Mastering Change I
    10/2016
    Springer
    9783319465081 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  20. Cover: SOFSEM 2017: Theory and Practice of Computer Science - Springer
    Bernhard Steffen | Christel Baier | Mark van den Brand
    SOFSEM 2017: Theory and Practice of Computer Science
    43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
    01/2017
    Springer
    9783319519630 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
    2. of 5