Treffer 1 – 3 von 3 für Suche 'Nitsche, Ulrich 1965-', 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.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
Appromaximately satisfied properties of systems and simple language homomorphisms von Nitsche, Ulrich 1965-
Veröffentlicht 1995Signatur: Wird geladen …
Standort: Wird geladen … -
2
Simple homomorphisms and linear temporal logic von Nitsche, Ulrich 1965-
Veröffentlicht 1994Signatur: Wird geladen …
Standort: Wird geladen …
Volltext öffnenWird geladen …Buch Fernleihe Bestellen -
3
The SH-verrification tool von Nitsche, Ulrich 1965-, Ochsenschläger, Peter, Repp, Jürgen
Veröffentlicht 1996Signatur: Wird geladen …
Standort: Wird geladen …
Volltext öffnenWird geladen …Buch Fernleihe Bestellen