Katalog der Deutschen Nationalbibliothek

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

19261 - 19270 von 19340

	19261	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	19262	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	19263	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
	19264	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
	19265	Computer Science Logic Berlin, Heidelberg : Springer Berlin Heidelberg, 1999
	19266	Einführung in die Kryptographie Berlin, Heidelberg : Springer Berlin Heidelberg, 1999
	19267	Groupware-Magazin / Schweiz München : H-und-T-Verl.
	19268	Microsoft-Excel-2000-Trainer Kaarst : Topos, c 1999
	19269	Microsoft-Office-2000-Trainer Kaarst : Topos, c 1999
	19270	Microsoft-Word-2000-Trainer Kaarst : Topos, c 1999