Katalog der Deutschen Nationalbibliothek

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

9801 - 9810 von 9836

	9801	A uniform constraint-based framework for the verification of infinite state systems Mukhopadhyay, Supratik, 2000
	9802	Adaptive Suchverfahren Schulz, Frank. - Aachen : Shaker, 2000, Als Ms. gedr.
	9803	Analyzing demand in non-strict functional programming languages Schütz, Marko, 2000
	9804	Beiträge zur statistischen Modellierung und effizienten Dekodierung in der automatischen Spracherkennung Willett, Daniel, 2000
	9805	Beiträge zur statistischen Modellierung und effizienten Dekodierung in der automatischen Spracherkennung Willett, Daniel, 2000
	9806	Case retrieval nets as a model for building flexible information systems Lenz, Mario. - Berlin : Akad. Verl.-Ges. Aka, 2000
	9807	Ein Berechnungsmodell für situatives Agieren Weiser, Thomas, 2000
	9808	Ein Berechnungsmodell für situatives Agieren Weiser, Thomas, 2000
	9809	Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic Choice Kutzner, Arne, 2000
	9810	Model generation for natural language interpretation and analysis Konrad, Karsten, 2000