Katalog der Deutschen Nationalbibliothek

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

1231 - 1235 von 1235

	1231	Methoden- und Werkzeugunterstützung für evolutionäre, objektorientierte Software-Projekte Sarferaz, Siar, 2003
	1232	Ein Berechnungsmodell für situatives Agieren Weiser, Thomas, 2000
	1233	Workflow- und Prozeßsynchronisation mit Interaktionsausdrücken und -graphen Heinlein, Christian, 2000, [Online-Ausg.]
	1234	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	1235	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999