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 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
<< < > >>


Bücher 911 Computability theory of real numbers
Zheng, Xizhong. - Cottbus : BTU, Inst. of Computer Science, 2005
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 912 Configurations with few crossings in topological graphs
Karlsruhe : Univ., Fak. für Informatik, Bibl., 2005
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 913 Constrained ordering
Guttmann, Walter. - Ulm : Univ., Fak. für Informatik, 2005
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 914 Constructions for normal graphs and some consequences
Wagler, Annegret. - Magdeburg : Univ., Fak. für Mathemathik, 2005
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 915 Designing a GUI for proofs
Homik, Martin. - Saarbrücken : Univ., Fachrichtung Informatik, 2005
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 916 Discrepancy of arithmetic structures
Hebbinghaus, Nils, 2005
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 917 Effiziente Algorithmen zur Bestimmung der Unabhängigkeitszahl in Graphen
Mahfud, Suhail, 2005
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 918 Embedded in the shadow of the separator
Göring, Frank. - Chemnitz : Techn. Univ., Fakultät für Mathematik, 2005
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 919 Flexible heuristic control for combining automation and user-interaction in inductive theorem proving
Schmidt-Samoa, Tobias, 2005
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 920 Higher gap morasses
Cárdenas, Franqui, 2005
Vorhanden in Leipzig Vorhanden in Frankfurt


911 - 920 von 966
<< < > >>


E-Mail-IconAdministration