Treffer 1 – 20 von 20 für Suche 'Steffen, Bernhard 1958-', Suchdauer: 0,13s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Mathematical foundations of advanced informatics

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

    Veröffentlicht 2018
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Mathematical foundations of advanced informatics

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

    Veröffentlicht 2018
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Composition, decomposition and model checking of pushdown processes

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

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 2024
    Weitere Verfasser: “… Steffen, Bernhard 1958- …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    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

    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, 2...

    Veröffentlicht 2017
    Weitere Verfasser: “… Steffen, Bernhard 1958- …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Bridging the gap between AI and reality First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023 : selected papers

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

    Veröffentlicht 2025
    Weitere Verfasser: “… Steffen, Bernhard 1958- …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  7. 7
    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

    Leveraging applications of formal methods, verification and validation 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, Octobe...

    Veröffentlicht 2021
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


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

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

    Veröffentlicht 2019
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


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

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

    Veröffentlicht 2018
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


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

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

    Veröffentlicht 2018
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


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

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

    Veröffentlicht 2018
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  12. 12
    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

    Leveraging applications of formal methods, verification and validation tools and trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhod...

    Veröffentlicht 2021
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  13. 13
    Computing and software science state of the art and perspectives

    Computing and software science state of the art and perspectives

    Veröffentlicht 2019
    Weitere Verfasser: “… Steffen, Bernhard 1958- …”
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  14. 14
    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

    Veröffentlicht 2021
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  15. 15
    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

    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 : proceeding...

    Veröffentlicht 2019
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  16. 16
    Transactions on foundations for mastering change I

    Transactions on foundations for mastering change I

    Veröffentlicht 2016
    Weitere Verfasser: “… Steffen, Bernhard 1958- …”

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  17. 17
    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

    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, 2...

    Veröffentlicht 2017
    Weitere Verfasser: “… Steffen, Bernhard 1958- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    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

    Leveraging applications of formal methods, verification and validation 10th international symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, octobe...

    Veröffentlicht 2021
    Weitere Verfasser:
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    Computing and software science state of the art and perspectives

    Computing and software science state of the art and perspectives

    Veröffentlicht 2019
    Weitere Verfasser: “… Steffen, Bernhard 1958- …”
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    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

    Veröffentlicht 2021
    Weitere Verfasser:
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: