zum Hauptmenü
zum Inhalt
mehr
Schnellsuche:
OK
Suchergebnis
Suche verändern
Die Universität
Universitäts- und Landesbibliothek (ULB)
Alle Bibliotheken
Digitale Sammlungen
Archiv für Kindertexte
Elektronische Pflichtexemplare
Historische Zeitungen
Inhouse-Digitalisierung
Kartensammlung
Lepsius Digital
Inhalt
Inhalt
Listen
Neuzugänge
Titel
Autor / Beteiligte
Verlagsort
Drucker / Verleger
Erscheinungsjahr
Clouds
Keywords
Verlagsorte
Autoren / Beteiligte
Verlage
Erscheinungsjahre
Autoren / Beteiligte
3
Einträge für
Hanisch, Hans-Michael
3
Einträge für
Preuße, Sebastian
3 Treffer
zu den Filteroptionen
Suche nach:
Autor / Beteiligte = "Hanisch, Hans-Michael" und Sammlung = Elektronische Pflichtexemplare
Vergleich von Verfahren zur Spezifikation von Anlagenverhalten
Preuße, Sebastian
;
Hanisch, Hans-Michael
Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2008 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2008
Verhaltensspezifikation mit der Sicherheitsfachsprache
Preuße, Sebastian
;
Hanisch, Hans-Michael
Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2008 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2008
Verhaltensspezifikation mit Symbolic Timing Diagrams
Preuße, Sebastian
;
Hanisch, Hans-Michael
Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2008 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2008