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