Treffer 1 – 3 von 3 für Suche 'Schlingloff, Holger', Suchdauer: 0,04s 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
    Transforming temporal logic specifications

    Transforming temporal logic specifications von Schlingloff, Holger, Kröger, Fred

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    4th Workshop "Methods for Modalities" (M4M) Berlin, December 1 - 2, 2005, Fraunhofer Institute FIRST ; Proceedings

    4th Workshop "Methods for Modalities" (M4M) Berlin, December 1 - 2, 2005, Fraunhofer Institute FIRST ; Proceedings

    Veröffentlicht 2005
    Weitere Verfasser: “… Schlingloff, Holger …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  3. 3
    4th Workshop "Methods for Modalities" (M4M) Berlin, December 1 - 2, 2005, Fraunhofer Institute FIRST ; Proceedings

    4th Workshop "Methods for Modalities" (M4M) Berlin, December 1 - 2, 2005, Fraunhofer Institute FIRST ; Proceedings

    Veröffentlicht 2005
    Weitere Verfasser: “… Schlingloff, Holger …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: