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

10501 - 10510 von 10717

	10501	Advancing operating systems via aspect oriented programming Engel, Michael, 2005
	10502	Aesthetics and automatic layout of UML class diagrams Eichelberger, Holger, 2005
	10503	An environment for compositional specification verification of complex embedded systems Wittke, Hartmut, 2005
	10504	An improved rule for while loops in deductive program verification Beckert, Bernhard. - Karlsruhe : Univ., Fak. für Informatik, Bibl., 2005
	10505	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
	10506	Aspectual mixin layers Apel, Sven. - Magdeburg : Univ., Fak. für Informatik, 2005
	10507	Aspektorientierte Programmierung Dornberger, Rolf. - Olten : Fachhochsch. Solothurn Nordwestschweiz, 2005
	10508	Assoziationen in Softwarearchitekturen Häger, Sebastian. - Potsdam : Inst. für Informatik, 2005
	10509	Automatically generating instances of meta models Berlin : TU, Professoren der Fak. IV, 2005
	10510	Bounded model checking of pointer programs Charatonik, Witold. - Saarbrücken : MPI Informatik, Bibliothek & Dokumentation, 2005

10501 - 10510 von 10717

Alle Materialarten > Bücher (10717)

Alle Kataloge/Sammlungen

Alle Standorte > Leipzig (10717)

Aktionen

Administration