Katalog der Deutschen Nationalbibliothek

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

9901 - 9910 von 9922

	9901	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	9902	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	9903	Case retrieval nets as a model for building flexible information systems Lenz, Mario, 1999
	9904	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
	9905	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
	9906	Die Geschichte der Simulation Reifenrath, Andre, 1999
	9907	Empirische Diskursanalyse nach Foucault Fricke, Matthias, 1999
	9908	Empirische Diskursanalyse nach Foucault Fricke, Matthias, 1999
	9909	Entwicklung eines impulskodierenden neuronalen Netzes für die Segmentierung bewegter Szenen Schott, Ulrich, 1999
	9910	On the design of IEEE compliant floating point units and their quantitative analysis Seidel, Peter-Michael, 1999