Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Der Multimedia-Zeitschriftenlesesaal und der Kartenlesesaal in Leipzig sind vom 30.10. bis 03.11. geschlossen. // The multimedia/periodical reading room and the map reading room in Leipzig are closed from 30.10 to 03.11.

Leipzig: Freitag, 31. Oktober 2025: Die Deutsche Nationalbibliothek in Leipzig ist geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind von 10 bis 18 Uhr geöffnet. // Friday, 31 October 2025: The German National Library in Leipzig will be closed. The exhibitions of the German Museum of Books and Writing will open from 10:00 to 18:00.

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

8031 - 8040 von 8064

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