Katalog der Deutschen Nationalbibliothek

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

3271 - 3275 von 3275

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