Katalog der Deutschen Nationalbibliothek

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

8311 - 8320 von 8343

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