Kontakt
A-Z
Träger / Förderer
Datenschutz
Impressum
Hilfe
Mein Konto
English
Katalog
Einfache Suche
Erweiterte Suche
Browsen (DDC)
Suchverlauf
Meine Auswahl
Hilfe
Datenshop
Mein Konto
Ablieferung von Netzpublikationen
Informationsvermittlung
Über die Deutsche
Nationalbibliothek
Katalog der Deutschen Nationalbibliothek
Gesamter Bestand
Musikarchiv
Exilsammlungen
Buchmuseum
Suchformular zurücksetzen
Expertensuche
?
Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.
Ergebnis der Suche nach:
dcs=0*
im Bestand: Gesamter Bestand
9331 - 9340 von 9944
Datum (neuestes zuerst)
Datum (ältestes zuerst)
Titel (A-Z)
Titel (Z-A)
Name (A-Z)
Name (Z-A)
Interne ID-Nr. aufsteigend
Interne ID-Nr. absteigend
9331
Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme
Wißpeintner, Alexander Karl, 2006
9332
Verification of sequential imperative programs in Isabelle-HOL
Schirmer, Norbert, 2006
9333
Verification of sequential imperative programs in Isabelle-HOL
Schirmer, Norbert, 2006
9334
Verified proof carrying code
Wildmoser, Martin, 2006
9335
Verified proof carrying code
Wildmoser, Martin, 2006
9336
Verifikation von Komponenten-basierten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens
Pulvermüller, Elke, 2006
9337
Verifying concurrent systems with symbolic execution
Balser, Michael, [2006]
9338
Verifying concurrent systems with symbolic execution
Balser, Michael. - Aachen : Shaker, 2006
9339
Verifying Concurrent Systems with Symbolic Execution
Balser, Michael. - Aachen : Shaker, 2006, 1. Auflage
9340
Verlässlichkeit in Campusnetzen
Reinecke, Christoph S.. - Berlin : Logos-Verl., 2006
9331 - 9340 von 9944
Alle Materialarten
Bücher (6080)
Online Ressourcen (3815)
Elektronische Datenträger (33)
Ausgaben/Hefte (2)
Mikroformen (16)
Alle Kataloge/Sammlungen
>
Hochschulschriften (9944)
Alle Standorte
>
Leipzig (9944)
Aktionen
In meine Auswahl übernehmen
Druckansicht
Versenden
News-Feed
Administration