(1 - 6 von 6
)
EINBLICKE Nr. 23
www.presse.uni-oldenburg.de
Henning Reineke, Thema "Struktur und Verhalten von verteilten endlichen Automaten" Helge Behrends, Thema "Beschreibung ereignisgesteuerter Aktivitäten in datenbankgeschützten Informationssystemen" Peter Kelb, Thema "Abstraktionstechniken für automatische Verifikationsmethoden" Fachbereich 11. Gunter Nickel, Thema "Die Schaubühne - Die ...
sortiert nach Relevanz / Datum