Katalog der Deutschen Nationalbibliothek

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=005*
im Bestand: Gesamter Bestand

19011 - 19020 von 19559

	19011	Advances in Information Systems Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
	19012	Advancing operating systems via aspect oriented programming Engel, Michael, 2005
	19013	Aesthetics and automatic layout of UML class diagrams Eichelberger, Holger, 2005
	19014	Aesthetics and automatic layout of UML class diagrams Eichelberger, Holger, 2005
	19015	An environment for compositional specification verification of complex embedded systems Wittke, Hartmut, 2005
	19016	An environment for compositional specification verification of complex embedded systems Wittke, Hartmut, 2005
	19017	An improved rule for while loops in deductive program verification Beckert, Bernhard. - Karlsruhe : Univ., Fak. für Informatik, Bibl., 2005
	19018	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
	19019	Analysis and verification of systems with dynamically evolving structure König, Barbara, [2005]
	19020	Analysis of compositional conflicts in component based systems Leicher, Andreas, 2005