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
2
Einträge für
Both, Andreas
2
Einträge für
Zimmermann, Wolf
Verlagsorte
2
Einträge für
Halle Saale
1
Einträge für
Halle
Verlage
1
Einträge für
Martin-Luther-University Halle-Wittenberg, Institute Computer Science
1
Einträge für
Universitäts- Landesbibliothek Sachsen-Anhalt
Zeiträume
2
Einträge für
2001-2010
2 Treffer
zu den Filteroptionen
Suche nach:
Körperschaft = "Deutschland / Bundesministerium für Umwelt, Naturschutz und Reaktorsicherheit" und Sammlung = Elektronische Pflichtexemplare
Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems
Both, Andreas
;
Zimmermann, Wolf
Halle,S., 2008 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2008
Supporting the Development Process of Reliable Software During the Composition Process Using Interaction Protocols
Both, Andreas
;
Zimmermann, Wolf
Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2009 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2009