Katalog der Deutschen Nationalbibliothek

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

3791 - 3795 von 3795

	3791	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	3792	Case retrieval nets as a model for building flexible information systems Lenz, Mario, 1999
	3793	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
	3794	Empirische Diskursanalyse nach Foucault Fricke, Matthias, 1999
	3795	On some promise classes in structural complexity theory Rothe, Jörg, 1995