Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Exilsammlungen

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

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

401 - 410 von 1071

	401	Speicherverwaltung für einen verteilten Speicher mit multikonsistenten Objektstrukturen Kämmer, Nico. - Ulm : Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2011
	402	Supporting IT Service Fault Recovery with an Automated Planning Method Liu, Feng. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2011
	403	Systematic development of model-based software engineering methods Sauer, Stefan. - Paderborn : Universitätsbibliothek, 2011
	404	Temporale Prüfung von Software-Funktionen Schulze, Andreas. - Braunschweig : Technische Universität Braunschweig, 2011
	405	Timing Constraints in Distributed Development of Automotive Real-time Systems Scheickl, Oliver. - München : Universitätsbibliothek der TU München, 2011
	406	Towards efficient lattice-based cryptography Lindner, Richard, 2011
	407	Towards full virtualization of embedded real-time systems Kerstan, Timo. - Paderborn : Universitätsbibliothek, 2011
	408	Unique identification of elements in evolving models Wenzel, Sven. - Siegen : Universitätsbibliothek der Universität Siegen, 2011
	409	Verification-based software-fault detection Gladisch, Christoph. - Karlsruhe : KIT Scientific Publishing, 2011
	410	Verification-based software-fault detection Gladisch, Christoph, 2011