Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

201 - 210 von 410
<< < > >>


Bücher 201 Automating recursive definitions and termination proofs in higher-order logic
Krauss, Alexander, 2009
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 202 Cardinals as ultrapowers
Bold, Stefan, 2009
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 203 Das Problem der Kurvenanpassung
Paulßen, Jens, 2009
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 204 Das Wurstproblem für Fläche-an-Fläche-Packungen von Platonischen Körpern
Dornieden, Detlef, 2009
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 205 Dynamics of Boolean networks
Greil, Florian, 2009
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 206 Edge colourings of multigraphs
Scheide, Diego, 2009
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 207 Embedding large graphs
Böttcher, Julia, 2009
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 208 Exakte kleinste Quadrate-Interpolierende
Nowak, Oliver, 2009
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 209 Fully realistic multi-criteria timetable information systems
Schnee, Mathias, 2009
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 210 Fuzzy filtering
Kumar, Mohit, 2009
Vorhanden in Leipzig Vorhanden in Frankfurt


201 - 210 von 410
<< < > >>




Materialarten

Alle MaterialartenBücher (410)

Kataloge/Sammlungen

Alle Kataloge/SammlungenHochschulschriften (410)

Standorte

Alle StandorteFrankfurt (410)

E-Mail-IconAdministration