Katalog der Deutschen Nationalbibliothek

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

19261 - 19270 von 19339

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