Katalog der Deutschen Nationalbibliothek

Neuigkeiten Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.
 
Neuigkeiten Vom 10. September 2025, 13 Uhr, bis 11. September 2025, 22 Uhr, kann es zu Einschränkungen bei der Bereitstellung von Medienwerken kommen. Wir informieren Sie per E-Mail über den aktuellen Stand Ihrer Bestellungen. // From 13:00 on 10 September 2025 until 22:00 on 11 September 2025, there may be restrictions on the provision of media works. We will inform you by email about the current status of your orders.
 
 
 


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

9851 - 9860 von 9880
<< < > >>


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


9851 - 9860 von 9880
<< < > >>


E-Mail-IconAdministration