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

24. Dezember 2025 bis 1. Januar 2026: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations.

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

4601 - 4610 von 4625

	4601	Parallelism constraints in underspecified semantics Erk, Katrin. - Saarbrücken : German Research Center for Artificial Intelligence, 2002
	4602	Average-case complexity of shortest-paths problems Priebe, Volker, 2001
	4603	Efficient combination of ranked result sets in multi-feature applications Balke, Wolf-Tilo, 2001
	4604	A uniform constraint-based framework for the verification of infinite state systems Mukhopadhyay, Supratik, 2000
	4605	Adaptive Suchverfahren Schulz, Frank. - Aachen : Shaker, 2000, Als Ms. gedr.
	4606	Analyzing demand in non-strict functional programming languages Schütz, Marko, 2000
	4607	Beiträge zur statistischen Modellierung und effizienten Dekodierung in der automatischen Spracherkennung Willett, Daniel, 2000
	4608	Case retrieval nets as a model for building flexible information systems Lenz, Mario. - Berlin : Akad. Verl.-Ges. Aka, 2000
	4609	Ein Berechnungsmodell für situatives Agieren Weiser, Thomas, 2000
	4610	Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic Choice Kutzner, Arne, 2000