Treffer 1 – 6 von 6 für Suche 'Fränzle, Martin', Suchdauer: 0,02s 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
    Controller design from temporal logic: undecidability need not matter

    Controller design from temporal logic: undecidability need not matter von Fränzle, Martin

    Veröffentlicht 1997
    Inhaltsverzeichnis
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Controller design from temporal logic undecidability need not matter

    Controller design from temporal logic undecidability need not matter von Fränzle, Martin

    Veröffentlicht 1997
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Dependable software engineering theories, tools, and applications : second international symposium, SETTA 2016, Beijing, China, November 9-11, 2016 : proceedings

    Dependable software engineering theories, tools, and applications : second international symposium, SETTA 2016, Beijing, China, November 9-11, 2016 : proceedings

    Veröffentlicht 2016
    Weitere Verfasser: “… Fränzle, Martin …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Dependable software engineering: theories, tools, and applications second international symposium, SETTA 2016, Beijing, China, November 9-11, 2016 : proceedings

    Dependable software engineering: theories, tools, and applications second international symposium, SETTA 2016, Beijing, China, November 9-11, 2016 : proceedings

    Veröffentlicht 2016
    Weitere Verfasser: “… Fränzle, Martin …”

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


    Gespeichert in:
  5. 5
    Formal modeling and analysis of timed systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings

    Formal modeling and analysis of timed systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings

    Veröffentlicht 2016
    Weitere Verfasser: “… Fränzle, Martin …”

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


    Gespeichert in:
  6. 6
    Formal modeling and analysis of timed systems 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings

    Formal modeling and analysis of timed systems 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings

    Veröffentlicht 2016
    Weitere Verfasser: “… Fränzle, Martin …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: