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

19371 - 19380 von 19578

	19371	Secure Data Management Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
	19372	Security protocols Berlin : Springer, 2004
	19373	Software Process Improvement Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
	19374	String Processing and Information Retrieval Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
	19375	Summaries for while programs with recursion Podelski, Andreas. - Saarbrücken : MPI Informatik, Bibliothek & Dokumentation, 2004
	19376	Teaching Formal Methods Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
	19377	The paradis-net API Malpohl, Guido. - Karlsruhe : Univ., Fak. für Informatik, Bibl., 2004
	19378	[Types for proofs and programs] [Berlin : [Springer], 2004
	19379	Überlegungen zum Dienst als Softwarebauelement Kuhrmann, Marco. - Potsdam : Inst. für Informatik, 2004
	19380	UML Eichenau, Roggensteiner Allee 60 : CEFE, 2004