Treffer 1 – 8 von 8 für Suche 'Schlingloff, Bernd-Holger 1959-', Suchdauer: 0,07s 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
    Zur temporalen Logik von Bäumen

    Zur temporalen Logik von Bäumen von Schlingloff, Bernd-Holger 1959-

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Zur temporalen Logik von Bäumen

    Zur temporalen Logik von Bäumen von Schlingloff, Bernd-Holger 1959-

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Zur temporalen Logik von Bäumen

    Zur temporalen Logik von Bäumen von Schlingloff, Bernd-Holger 1959-

    Veröffentlicht 1989
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Formal methods for software engineering Languages, methods, application domains

    Formal methods for software engineering Languages, methods, application domains von Roggenbach, Markus, Cerone, Antonio, Schlingloff, Bernd-Holger 1959-, Schneider, Gerardo, Shaikh, Siraj Ahmed

    Veröffentlicht 2022
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Formale Methoden in der Praxis Softwaredesign für Luft- und Raumfahrt ; Antrittsvorlesung 16. Mai 2002

    Formale Methoden in der Praxis Softwaredesign für Luft- und Raumfahrt ; Antrittsvorlesung 16. Mai 2002 von Schlingloff, Bernd-Holger 1959-

    Veröffentlicht 2005
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Zur temporalen Logik von Bäumen

    Zur temporalen Logik von Bäumen von Schlingloff, Bernd-Holger 1959-

    Veröffentlicht 1990
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Software engineering and formal methods 20th international conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, proceedings

    Software engineering and formal methods 20th international conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, proceedings

    Veröffentlicht 2022
    Weitere Verfasser: “… Schlingloff, Bernd-Holger 1959- …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  8. 8
    Software engineering and formal methods 20th international conference, SEFM 2022, Berlin, Germany, September 26-30, 2022 : proceedings

    Software engineering and formal methods 20th international conference, SEFM 2022, Berlin, Germany, September 26-30, 2022 : proceedings

    Veröffentlicht 2022
    Weitere Verfasser: “… Schlingloff, Bernd-Holger 1959- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: