Katalog der Deutschen Nationalbibliothek

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

2931 - 2940 von 2942

	2931	Analyzing demand in non-strict functional programming languages Schütz, Marko, 2000
	2932	Ein Berechnungsmodell für situatives Agieren Weiser, Thomas, 2000
	2933	Ein Berechnungsmodell für situatives Agieren Weiser, Thomas, 2000
	2934	Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic Choice Kutzner, Arne, 2000
	2935	Workflow- und Prozeßsynchronisation mit Interaktionsausdrücken und -graphen Heinlein, Christian, 2000, [Online-Ausg.]
	2936	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	2937	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	2938	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
	2939	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
	2940	Design and implementation of the parallel functional language Eden Breitinger, Silvia, 1998