Katalog der Deutschen Nationalbibliothek

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

7661 - 7670 von 7711

	7661	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	7662	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
	7663	Computer Science Logic Berlin, Heidelberg : Springer Berlin Heidelberg, 1999
	7664	Einführung in die Kryptographie Berlin, Heidelberg : Springer Berlin Heidelberg, 1999
	7665	Programmieren spielend gelernt mit dem Java-Hamster-Modell Wiesbaden : Vieweg+Teubner Verlag, 1999
	7666	Requirements-Engineering systematisch Berlin, Heidelberg : Springer Berlin Heidelberg, 1998
	7667	Selected Areas in Cryptography Boston, MA : Springer US, 1998
	7668	Visual Basic 6 Kofler, Michael. - München : Pearson Deutschland, 1998
	7669	Flexible Query Answering Systems Boston, MA : Springer US, 1997
	7670	Advances in Databases and Information Systems London : Springer London, 1996