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
Dienstag 9. Dezember 2025: Die Lesesäle der Deutschen Nationalbibliothek in Leipzig öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 9 December 2025: The reading rooms of the German National Library in Leipzig will open at 13:00 due to a staff assembly.
Ergebnis der Suche nach:
dcs=511*
im Bestand: Gesamter Bestand
911 - 920 von 966
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
911
Computability theory of real numbers
Zheng, Xizhong. - Cottbus : BTU, Inst. of Computer Science, 2005
912
Configurations with few crossings in topological graphs
Karlsruhe : Univ., Fak. für Informatik, Bibl., 2005
913
Constrained ordering
Guttmann, Walter. - Ulm : Univ., Fak. für Informatik, 2005
914
Constructions for normal graphs and some consequences
Wagler, Annegret. - Magdeburg : Univ., Fak. für Mathemathik, 2005
915
Designing a GUI for proofs
Homik, Martin. - Saarbrücken : Univ., Fachrichtung Informatik, 2005
916
Discrepancy of arithmetic structures
Hebbinghaus, Nils, 2005
917
Effiziente Algorithmen zur Bestimmung der Unabhängigkeitszahl in Graphen
Mahfud, Suhail, 2005
918
Embedded in the shadow of the separator
Göring, Frank. - Chemnitz : Techn. Univ., Fakultät für Mathematik, 2005
919
Flexible heuristic control for combining automation and user-interaction in inductive theorem proving
Schmidt-Samoa, Tobias, 2005
920
Higher gap morasses
Cárdenas, Franqui, 2005
911 - 920 von 966
Alle Materialarten
>
Bücher (966)
Alle Kataloge/Sammlungen
Teilbestand nach VGG (1)
Hochschulschriften (410)
Alle Standorte
>
Frankfurt (966)
Aktionen
In meine Auswahl übernehmen
Druckansicht
Versenden
News-Feed
Administration