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
 
 
 


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

191 - 200 von 734
<< < > >>


Bücher 191 Proof mining and combinatorics
Kreuzer, Alexander P., 2012
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 192 Proof mining and combinatorics
Kreuzer, Alexander P.. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2012
Online Ressource
Bücher 193 Proving theorems of higher-order logic with SMT solvers
Böhme, Sascha, 2012
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 194 Proving Theorems of Higher-Order Logic with SMT Solvers
Böhme, Sascha. - München : Universitätsbibliothek der TU München, 2012
Online Ressource
Bücher 195 Quantengraphen mit zufälligem Potential
Schubert, Carsten. - Chemnitz : Univ.-Verl., 2012
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 196 Quantengraphen mit zufälligem Potential
Schubert, Carsten. - Chemnitz : Universitätsbibliothek Chemnitz, 2012
Online Ressource
Bücher 197 Regular antichains
Böhm, Matthias, 2012
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 198 Symmetric Models, Singular Cardinal Patterns, and Indiscernibles
Dimitriou, Ioanna Matilde. - Bonn : Universitäts- und Landesbibliothek Bonn, 2012
Online Ressource
Bücher 199 Symmetries and bifurcations in timed continuous Petri nets
Meyer, Anna-Lena, 2012
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 200 Symmetries and bifurcations in timed continuous Petri nets
Meyer, Anna-Lena. - Paderborn : Universitätsbibliothek, 2012
Online Ressource


191 - 200 von 734
<< < > >>


E-Mail-IconAdministration