Katalog der Deutschen Nationalbibliothek

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

37311 - 37320 von 37545

	37311	Analytische Maschinen Chadzelek, Thomas. - München : Utz, Wiss., 1999
	37312	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	37313	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	37314	Case retrieval nets as a model for building flexible information systems Lenz, Mario, 1999
	37315	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
	37316	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
	37317	Computer Science Logic Berlin, Heidelberg : Springer Berlin Heidelberg, 1999
	37318	Das PC-Anwender-Handbuch [Bonn] : Fachverl. für Computerwissen
	37319	Einführung in die Kryptographie Berlin, Heidelberg : Springer Berlin Heidelberg, 1999
	37320	Embedded design Poing : WEKA-Fachmedien