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

1511 - 1520 von 1734
<< < > >>


Online Ressourcen 1511 Effiziente Methoden zum verifizierten Lösen von Optimierungsaufgaben und nichtlinearen Gleichungssystemen
Beelitz, Thomas, 2006
Online Ressource
Online Ressourcen 1512 Elementare Wege zur mathematischen Modellbildung
Gotzen, Bernd, 2006
Online Ressource
Bücher 1513 Elementare Wege zur mathematischen Modellbildung
Gotzen, Bernd, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 1514 Exakte Zahlen genügen nicht: Mathematik und Ungewissheit
Pofahl, Ulrich. - Wien : TU, 2006
Vorhanden in Leipzig
Bücher 1515 Experimental study of energy minimizing point configurations on spheres
Magdeburg : Univ., Fak. für Mathematik, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 1516 Finite-state genericity
Busse, Edgar, 2006
Online Ressource
Bücher 1517 Finite-state genericity
Busse, Edgar, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 1518 Flexible heuristic control for combining automation and user-interaction in inductive theorem proving
Schmidt-Samoa, Tobias, 2006
Online Ressource
Online Ressourcen 1519 Formalizing plane graph theory
Bauer, Gertrud Josefine, 2006
Online Ressource
Bücher 1520 Formalizing plane graph theory
Bauer, Gertrud Josefine, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt


1511 - 1520 von 1734
<< < > >>


E-Mail-IconAdministration