Katalog der Deutschen Nationalbibliothek

Neuigkeiten Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind von 10 bis 18 Uhr geöffnet. Die Ausstellungen des Deutschen Exilarchivs 1933-1945 sind von 9 bis 21:30 Uhr geöffnet. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations. The exhibitions of the German Museum of Books and Writing will open from 10:00 to 18:00. The exhibitions of the German Exile Archive 1933–1945 will be open from 9:00 to 21:30.
 
 
 


Ergebnis der Suche nach: dcs=005*
im Bestand: Gesamter Bestand

1011 - 1020 von 1700
<< < > >>


Bücher 1011 An evaluation framework for software test processes
Farooq, Ayaz, 2009
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1012 Analyzing metadata performance in distributed file systems
Biardzki, Christoph, 2009
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1013 Anwendungsdomänen für mobile Agenten
Friedrich, Michael, 2009
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1014 Architektur komponenten-basierter Systeme mit Loom: Aspekte, Muster, Werkzeuge
Schult, Wolfgang. - Göttingen : Cuvillier, 2009, 1. Aufl.
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1015 Auswirkungen von Seitenkanalangriffen auf das Design kryptographischer Algorithmen
Rüdinger, Jens. - Dresden : Vogt, 2009
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1016 Automated assertion transformation across multiple abstraction levels
Steininger, Thomas, 2009
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1017 Axiomatic Design
Fiege, René. - Wiesbaden : Gabler, 2009, 1. Aufl.
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1018 Causal weak consistency replication
Hupfeld, Felix, 2009
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1019 Certifying system translations using higher order theorem provers
Blech, Jan Olaf. - Berlin : Logos-Verl., 2009
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1020 Code generation from specifications in higher-order logic
Haftmann, Florian, 2009
Vorhanden in Leipzig Vorhanden in Frankfurt


1011 - 1020 von 1700
<< < > >>




Materialarten

Alle MaterialartenBücher (1700)

Kataloge/Sammlungen

Alle Kataloge/SammlungenHochschulschriften (1700)

Standorte

Alle StandorteFrankfurt (1700)

E-Mail-IconAdministration