Katalog der Deutschen Nationalbibliothek

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

8331 - 8340 von 8362

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