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

19481 - 19490 von 19561

	19481	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	19482	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	19483	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
	19484	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
	19485	Computer Science Logic Berlin, Heidelberg : Springer Berlin Heidelberg, 1999
	19486	Einführung in die Kryptographie Berlin, Heidelberg : Springer Berlin Heidelberg, 1999
	19487	Groupware-Magazin / Schweiz München : H-und-T-Verl.
	19488	Microsoft-Excel-2000-Trainer Kaarst : Topos, c 1999
	19489	Microsoft-Office-2000-Trainer Kaarst : Topos, c 1999
	19490	Microsoft-Word-2000-Trainer Kaarst : Topos, c 1999