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 9943
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
Verification of sequential imperative programs in Isabelle-HOL
Schirmer, Norbert, 2006
9332
Verification of sequential imperative programs in Isabelle-HOL
Schirmer, Norbert, 2006
9333
Verified proof carrying code
Wildmoser, Martin, 2006
9334
Verified proof carrying code
Wildmoser, Martin, 2006
9335
Verifikation von Komponenten-basierten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens
Pulvermüller, Elke, 2006
9336
Verifying concurrent systems with symbolic execution
Balser, Michael, [2006]
9337
Verifying concurrent systems with symbolic execution
Balser, Michael. - Aachen : Shaker, 2006
9338
Verifying Concurrent Systems with Symbolic Execution
Balser, Michael. - Aachen : Shaker, 2006, 1. Auflage
9339
Verlässlichkeit in Campusnetzen
Reinecke, Christoph S.. - Berlin : Logos-Verl., 2006
9340
Verlagsstrategien bei Wissenszeitschriften
Heinemann, Pia, 2006
9331 - 9340 von 9943
Alle Materialarten
Bücher (6080)
Online Ressourcen (3814)
Elektronische Datenträger (33)
Ausgaben/Hefte (2)
Mikroformen (16)
Alle Kataloge/Sammlungen
>
Hochschulschriften (9943)
Alle Standorte
>
Leipzig (9943)
Aktionen
In meine Auswahl übernehmen
Druckansicht
Versenden
News-Feed
Administration