Katalog der Deutschen Nationalbibliothek

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

7921 - 7930 von 7952

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