Treffer 1 – 3 von 3 für Suche 'Tobies, Stephan 1972-', Suchdauer: 0,05s 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
    Truth - a platform for verification of distributed systems

    Truth - a platform for verification of distributed systems von Leucker, Martin 1971-, Tobies, Stephan 1972-

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Complexity results and practical algorithms for logics in knowledge representation

    Complexity results and practical algorithms for logics in knowledge representation von Tobies, Stephan 1972-

    Veröffentlicht 2001
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Implementing context patterns in the glasgow haskell compiler

    Implementing context patterns in the glasgow haskell compiler von Mohnen, Markus 1967-, Tobies, Stephan 1972-

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: