Katalog der Deutschen Nationalbibliothek

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

7671 - 7680 von 7721

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