Treffer 1 – 5 von 5 für Suche 'Melzer, Stephan', Suchdauer: 0,06s 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
    Model checking LTL using constraint programming

    Model checking LTL using constraint programming von Esparza, Javier 1964-, Melzer, Stephan

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Verifikation verteilter Systeme mittels linearer und Constraint-Programmierung

    Verifikation verteilter Systeme mittels linearer und Constraint-Programmierung von Melzer, Stephan

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Wartenfels zwischen ATS, Burg und Gaaßleitn

    Wartenfels zwischen ATS, Burg und Gaaßleitn von Weber, André, Bauerfeind, Reinhard, Stöcker, Birgit, Leipold, Helmut, Melzer, Stephan, Sesselmann, Siegfried

    Veröffentlicht 2020
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Verifikation verteilter Systeme mittels linearer- und Constraint-Programmierung

    Verifikation verteilter Systeme mittels linearer- und Constraint-Programmierung von Melzer, Stephan

    Veröffentlicht 1998
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    150 Jahre Sankt Bartholomäus Wartenfels 1867-2017

    150 Jahre Sankt Bartholomäus Wartenfels 1867-2017

    Veröffentlicht 2017
    Weitere Verfasser: “… Melzer, Stephan …”
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: