Katalog der Deutschen Nationalbibliothek

Neuigkeiten 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
 
Neuigkeiten

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

 
Neuigkeiten 24. Dezember 2025 bis 1. Januar 2026: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. Bestellte Medien werden am 2. Januar 2026 bereitgestellt. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations. Ordered media will be made available on 2 January 2026.
 
 
 


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

8561 - 8570 von 8599
<< < > >>


Online Ressourcen 8561 Werkzeug Objekt
Runge, Wolfgang. - Flensburg : Zentrale Hochschulbibliothek Flensburg, 2001
Online Ressource
Bücher 8562 A uniform constraint-based framework for the verification of infinite state systems
Mukhopadhyay, Supratik, 2000
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 8563 Adaptive Suchverfahren
Schulz, Frank. - Aachen : Shaker, 2000, Als Ms. gedr.
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 8564 Analyzing demand in non-strict functional programming languages
Schütz, Marko, 2000
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 8565 Beiträge zur statistischen Modellierung und effizienten Dekodierung in der automatischen Spracherkennung
Willett, Daniel, 2000
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 8566 Beiträge zur statistischen Modellierung und effizienten Dekodierung in der automatischen Spracherkennung
Willett, Daniel, 2000
Online Ressource
Bücher 8567 Case retrieval nets as a model for building flexible information systems
Lenz, Mario. - Berlin : Akad. Verl.-Ges. Aka, 2000
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 8568 Ein Berechnungsmodell für situatives Agieren
Weiser, Thomas, 2000
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 8569 Ein Berechnungsmodell für situatives Agieren
Weiser, Thomas, 2000
Online Ressource
Bücher 8570 Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic Choice
Kutzner, Arne, 2000
Vorhanden in Leipzig Vorhanden in Frankfurt


8561 - 8570 von 8599
<< < > >>


E-Mail-IconAdministration