Katalog der Deutschen Nationalbibliothek

Expertensuche ?

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

19011 - 19020 von 19555

	19011	An environment for compositional specification verification of complex embedded systems Wittke, Hartmut, 2005
	19012	An environment for compositional specification verification of complex embedded systems Wittke, Hartmut, 2005
	19013	An improved rule for while loops in deductive program verification Beckert, Bernhard. - Karlsruhe : Univ., Fak. für Informatik, Bibl., 2005
	19014	An introduction to (co)algebras and (co)induction and their application to the semantics of programming languages Glesner, Sabine. - Karlsruhe : Univ., Fak. für Informatik, Bibl., 2005
	19015	Analysis and verification of systems with dynamically evolving structure König, Barbara, [2005]
	19016	Analysis of compositional conflicts in component based systems Leicher, Andreas, 2005
	19017	Applications of Declarative Programming and Knowledge Management Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
	19018	Arithmetik nicht-hyperelliptischer Kurven des Geschlechts 3 und ihre Anwendung in der Kryptographie Oyono, Roger, 2005
	19019	Aspectual mixin layers Apel, Sven. - Magdeburg : Univ., Fak. für Informatik, 2005
	19020	Aspektorientierte Programmierung Dornberger, Rolf. - Olten : Fachhochsch. Solothurn Nordwestschweiz, 2005