Kontakt
A-Z
Träger / Förderer
Datenschutz
Impressum
Hilfe
Mein Konto
English
Katalog
Einfache Suche
Erweiterte Suche
Browsen (DDC)
Suchverlauf
Meine Auswahl
Hilfe
Datenshop
Mein Konto
Ablieferung von Netzpublikationen
Informationsvermittlung
Über die Deutsche
Nationalbibliothek
Katalog der Deutschen Nationalbibliothek
Gesamter Bestand
Musikarchiv
Exilsammlungen
Buchmuseum
Suchformular zurücksetzen
Expertensuche
?
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
Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online!
→ Zur Betaversion des neuen DNB-Katalogs
Ergebnis der Suche nach:
dcs=511*
im Bestand: Gesamter Bestand
151 - 160 von 734
Datum (neuestes zuerst)
Datum (ältestes zuerst)
Titel (A-Z)
Titel (Z-A)
Name (A-Z)
Name (Z-A)
Interne ID-Nr. aufsteigend
Interne ID-Nr. absteigend
151
Assertion level proof planning with compiled strategies
Dietrich, Dominik. - Göttingen : Optimus-Verl., 2012, New Ed.
152
Assertion level proof planning with compiled strategies
Dietrich, Dominik. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2012
153
Automorphism towers and definability in generalized Baire spaces
Lücke, Philipp Moritz, 2012
154
Balanced partitioning of grids and related graphs
Feldmann, Andreas Emil. - Göttingen : Cuvillier, 2012, 1. Aufl.
155
Categorical semantics of constructive set theory
Berg, Benno van den, 2012
156
Clusteranalyse für Netzwerke
Klages, Alexandra Rebecca. - Frankfurt, M. : Lang, 2012
157
Complexity classifications for nonmonotonic reasoning and enumeration
Schmidt, Johannes, 2012
158
Complexity classifications for nonmonotonic reasoning and enumeration
Schmidt, Johannes. - Hannover : Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB), 2012
159
Computational aspects of dependence logic
Lohmann, Peter, 2012
160
Computational aspects of dependence logic
Lohmann, Peter. - Hannover : Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB), 2012
151 - 160 von 734
Alle Materialarten
Bücher (413)
Online Ressourcen (321)
Alle Kataloge/Sammlungen
>
Hochschulschriften (734)
Alle Standorte
Frankfurt (731)
Leipzig (730)
Online (frei zugänglich) (297)
Aktionen
In meine Auswahl übernehmen
Druckansicht
Versenden
News-Feed
Administration