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 Die Lesesäle für Geisteswissenschaften, Naturwissenschaften, der Alte Lesesaal Technik und der Anne-Frank-Shoah-Lesesaal in Leipzig schließen am 04.02.2026 wegen einer Veranstaltung bereits um 15 Uhr. Die weiteren Lesesäle sowie die Servicetheke sind zu den regulären Zeiten geöffnet. //
The humanities reading room, the natural science reading room, the old technology reading room and the reading room of the Anne-Frank-Shoah-Library will close at 15:00 on 4 February 2026 due to an event. The other reading rooms and the service desk will be open during regular hours.
 
 
 


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

1561 - 1570 von 1791
<< < > >>


Online Ressourcen 1561 Efficient visual navigation of hierarchically structured graphs
Raitner, Marcus, 2006
Online Ressource
Online Ressourcen 1562 Effiziente Methoden zum verifizierten Lösen von Optimierungsaufgaben und nichtlinearen Gleichungssystemen
Beelitz, Thomas, 2006
Online Ressource
Bücher 1563 Elementare Wege zur mathematischen Modellbildung
Gotzen, Bernd, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 1564 Elementare Wege zur mathematischen Modellbildung
Gotzen, Bernd, 2006
Online Ressource
Bücher 1565 Exakte Zahlen genügen nicht: Mathematik und Ungewissheit
Pofahl, Ulrich. - Wien : TU, 2006
Vorhanden in Leipzig
Bücher 1566 Experimental study of energy minimizing point configurations on spheres
Magdeburg : Univ., Fak. für Mathematik, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1567 Finite-state genericity
Busse, Edgar, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 1568 Finite-state genericity
Busse, Edgar, 2006
Online Ressource
Online Ressourcen 1569 Flexible heuristic control for combining automation and user-interaction in inductive theorem proving
Schmidt-Samoa, Tobias, 2006
Online Ressource
Bücher 1570 Formalizing plane graph theory
Bauer, Gertrud Josefine, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt


1561 - 1570 von 1791
<< < > >>


E-Mail-IconAdministration