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.

Vom 10. September 2025, 13 Uhr, bis 11. September 2025, 22 Uhr, kann es zu Einschränkungen bei der Bereitstellung von Medienwerken kommen. Wir informieren Sie per E-Mail über den aktuellen Stand Ihrer Bestellungen. // From 13:00 on 10 September 2025 until 22:00 on 11 September 2025, there may be restrictions on the provision of media works. We will inform you by email about the current status of your orders.

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

37181 - 37190 von 38448

	37181	Algorithmic learning theory Berlin : Springer, 2005
	37182	An empirical model for heterogeneous translucent objects Saarbrücken : MPI Informatik, Bibliothek & Dokumentation, 2005
	37183	An environment for compositional specification verification of complex embedded systems Wittke, Hartmut, 2005
	37184	An environment for compositional specification verification of complex embedded systems Wittke, Hartmut, 2005
	37185	An improved rule for while loops in deductive program verification Beckert, Bernhard. - Karlsruhe : Univ., Fak. für Informatik, Bibl., 2005
	37186	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
	37187	Analyse und Bewertung von Erstellungssystemen für Augmented Reality-Anwendungen Abawi, Daniel F.. - Frankfurt am Main : Inst. für Informatik, 2005
	37188	Analysis and verification of systems with dynamically evolving structure König, Barbara, [2005]
	37189	Analysis of a simple (1+1) ES for the class of positive definite quadratic forms with bounded condition number Jägersküpper, Jens. - Dortmund : Sekretariat des SFB 531, 2005
	37190	Analysis of compositional conflicts in component based systems Leicher, Andreas, 2005