Katalog der Deutschen Nationalbibliothek

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

37321 - 37330 von 37555

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