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. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations.
 
 
 


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

10001 - 10010 von 10029
<< < > >>


Online Ressourcen 10001 Ein Berechnungsmodell für situatives Agieren
Weiser, Thomas, 2000
Online Ressource
Bücher 10002 Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic Choice
Kutzner, Arne, 2000
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 10003 Model generation for natural language interpretation and analysis
Konrad, Karsten, 2000
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 10004 Musik zwischen Komponist, Verlag und Publikum
Beer, Axel. - Tutzing : Schneider, 2000
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 10005 Optimierung rückgekoppelter Hyperpermutationsnetzwerke
Schwarz, Tilo, 2000
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 10006 Optimierung rückgekoppelter Hyperpermutationsnetzwerke
Schwarz, Tilo, 2000
Online Ressource
Online Ressourcen 10007 Workflow- und Prozeßsynchronisation mit Interaktionsausdrücken und -graphen
Heinlein, Christian, 2000, [Online-Ausg.]
Online Ressource
Bücher 10008 Analytische Maschinen
Chadzelek, Thomas. - München : Utz, Wiss., 1999
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 10009 Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme
Kauer, Stefan, 1999
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 10010 Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme
Kauer, Stefan, 1999
Online Ressource


10001 - 10010 von 10029
<< < > >>


E-Mail-IconAdministration