Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

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

8521 - 8530 von 8553

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