Katalog der Deutschen Nationalbibliothek

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

2941 - 2950 von 2955

	2941	Multimedia-Delivery für personalisierbare E-Services Wagner, Matthias. - Norderstedt : Books on Demand GmbH, c 2002
	2942	Parallelism constraints in underspecified semantics Erk, Katrin. - Saarbrücken : German Research Center for Artificial Intelligence, 2002
	2943	Adaptive Suchverfahren Schulz, Frank. - Aachen : Shaker, 2000, Als Ms. gedr.
	2944	Analyzing demand in non-strict functional programming languages Schütz, Marko, 2000
	2945	Ein Berechnungsmodell für situatives Agieren Weiser, Thomas, 2000
	2946	Ein Berechnungsmodell für situatives Agieren Weiser, Thomas, 2000
	2947	Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic Choice Kutzner, Arne, 2000
	2948	Workflow- und Prozeßsynchronisation mit Interaktionsausdrücken und -graphen Heinlein, Christian, 2000, [Online-Ausg.]
	2949	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	2950	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999