Suchergebnisse - Steffen, Bernhard 1958-

Treffer filtern
  1. 1
    Buchumschlag

    Mathematical foundations of advanced informatics
    von Steffen, Bernhard 1958-, Rüthing, Oliver, Huth, Michael 1962-

    Veröffentlicht 2018
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Mathematical foundations of advanced informatics
    Volume 1 - Inductive approaches
    von Steffen, Bernhard 1958-, Rüthing, Oliver, Huth, Michael 1962-

    Veröffentlicht 2018
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Composition, decomposition and model checking of pushdown processes
    von Burkart, Olaf 1964-, Steffen, Bernhard 1958-

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Transactions on foundations for mastering change I

    Veröffentlicht 2016
    Weitere beteiligte Personen: “… Steffen, Bernhard 1958- …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    Bridging the gap between AI and reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023 : proceedings

    Veröffentlicht 2024
    Weitere beteiligte Personen: “… Steffen, Bernhard 1958- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    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

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Steffen, Bernhard 1958- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

    Bridging the gap between AI and reality: first international conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, selected papers

    Veröffentlicht 2025
    Weitere beteiligte Personen: “… Steffen, Bernhard 1958- …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  8. 8
    Buchumschlag

    Bridging the gap between AI and reality: second international conference, AISoLA 2024, Crete, Greece, October 30-November 3, 2024, proceedings

    Veröffentlicht 2025
    Weitere beteiligte Personen: “… Steffen, Bernhard 1958- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  9. 9
    Buchumschlag

    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

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Steffen, Bernhard 1958- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  10. 10
    Buchumschlag

    Leveraging applications of formal methods, verification and validation: verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings, part II

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Steffen, Bernhard 1958- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  11. 11
    Buchumschlag

    Leveraging applications of formal methods, verification and validation: modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings, part I

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Steffen, Bernhard 1958- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  12. 12
    Buchumschlag

    Leveraging applications of formal methods, verification and validation: industrial practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings, part IV

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Steffen, Bernhard 1958- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  13. 13
    Buchumschlag

    Leveraging applications of formal methods, verification and validation: distributed systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings, part III

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Steffen, Bernhard 1958- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  14. 14
    Buchumschlag

    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

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Steffen, Bernhard 1958- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  15. 15
    Buchumschlag

    Computing and software science: state of the art and perspectives

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Steffen, Bernhard 1958- …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  16. 16
    Buchumschlag

    Model checking, synthesis, and learning: essays dedicated to Bengt Jonsson on The occasion of his 60th birthday

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Steffen, Bernhard 1958- …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  17. 17
    Buchumschlag

    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 6–11, 2019 : proceedings, part III

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Steffen, Bernhard 1958- …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  18. 18
    Buchumschlag

    SOFSEM 2017: theory and practice of computer science: 43nd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017 : proceedings

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Steffen, Bernhard 1958- …”
    Tagungsbericht Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    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

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Steffen, Bernhard 1958- …”
    Tagungsbericht Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    Computing and software science: state of the art and perspectives

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Steffen, Bernhard 1958- …”
    Buch


    Gespeichert in:

Suchwerkzeuge: