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=511*
im Bestand: Gesamter Bestand

261 - 270 von 749
<< < > >>


Online Ressourcen 261 Computational aspects of dependence logic
Lohmann, Peter. - Hannover : Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB), 2012
Online Ressource
Online Ressourcen 262 Computer Arithmetic and Validity
Kulisch, Ulrich. - Berlin/Boston : De Gruyter, 2012
Online Ressource
Online Ressourcen 263 Concept Approximations
Meschke, Christian. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
Online Ressource
Online Ressourcen 264 Counting Graphs
Cieslik, Dietmar. - Aachen : Shaker, 2012, 1. Aufl., neue Ausg.
Online Ressource
Online Ressourcen 265 Das Erfüllbarkeitsproblem SAT
Schöning, Uwe. - Berlin : Lehmanns, 2012, 1. Aufl.
Online Ressource
Online Ressourcen 266 Das Problem der Kurvenanpassung
Paulßen, Jens. - Frankfurt : Peter Lang GmbH, Internationaler Verlag der Wissenschaften, 2012
Online Ressource
Online Ressourcen 267 Definability and model checking
Ganzow, Tobias. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2012
Online Ressource
Online Ressourcen 268 Der Graf der Graphen
Wiesbaden : Vieweg+Teubner Verlag, 2012
Online Ressource
Online Ressourcen 269 Der Logikverführer
Drösser, Christoph. - Reinbek : Rowohlt Digitalbuch, 2012, 1. Aufl.
Online Ressource
Online Ressourcen 270 Discrete Time Analysis of Consolidated Transport Processes
Özden, Eda. - Karlsruhe : KIT Scientific Publishing, 2012
Online Ressource


261 - 270 von 749
<< < > >>




Materialarten

Alle MaterialartenOnline Ressourcen (749)

Kataloge/Sammlungen

Alle Kataloge/Sammlungen

Standorte

Alle StandorteFrankfurt (749)

E-Mail-IconAdministration