Katalog der Deutschen Nationalbibliothek

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

19451 - 19460 von 19531

	19451	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	19452	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	19453	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
	19454	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
	19455	Computer Science Logic Berlin, Heidelberg : Springer Berlin Heidelberg, 1999
	19456	Einführung in die Kryptographie Berlin, Heidelberg : Springer Berlin Heidelberg, 1999
	19457	Groupware-Magazin / Schweiz München : H-und-T-Verl.
	19458	Microsoft-Excel-2000-Trainer Kaarst : Topos, c 1999
	19459	Microsoft-Office-2000-Trainer Kaarst : Topos, c 1999
	19460	Microsoft-Word-2000-Trainer Kaarst : Topos, c 1999