zum Hauptmenü
zum Inhalt
mehr
Schnellsuche:
OK
Inhalt
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
2
Titel
Autoren / Beteiligte
2
Einträge für
Molitor, Paul
1
Einträge für
Hoffmann, Roberto
1
Einträge für
Wefel, Sandro
Inhalt
→
Informatik, Informations- wissenschaft, allgemeine Werke
→
Informatik, Wissen, Systeme
→
Datenverarbeitung; Informatik
zu den Filteroptionen
Integration of SAT-based Coverage Measures into a NuSMV-based Verification Workflow
Hoffmann, Roberto
;
Molitor, Paul
Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2008 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2008
Using Hardware Tokens for Authentication of Multiple Client Application Making Single Sign-On Possible
Wefel, Sandro
;
Molitor, Paul
Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2008 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2008