|
841 |
Towards mechanized mathematical assistants
Berlin : Springer, 2007
|
|
|
|
842 |
Uncertainty theory
Liu, Baoding. - Berlin : Springer, 2007, 2. ed.
|
|
|
|
843 |
Vector field approximation on regular surfaces in terms of outer harmonic representations
Luther, Anna, 2007
|
|
|
|
844 |
Verschiedene Beweisanordnungen des Satzes von MÜNTZ
Erkens, Michael. - Tönning : Der Andere Verl., 2007
|
|
|
|
845 |
Verteilte optimistische Simulation von stochastischen farbigen Petrinetzen
Knoke, Michael. - Berlin : dissertation.de, 2007, Als Ms. gedr.
|
|
|
|
846 |
Walks on ordinals and their characteristics
Todorcevic, Stevo. - Basel : Birkhäuser, 2007
|
|
|
|
847 |
Zur Frage korrekter und vollständiger Kalküle der Εμ-Logiken [Epsilon-my-Logiken]
Bab, Sebastian. - Berlin : Inst. für Telekommunikationssysteme, Formale Modelle, Logik und Programmierung, Projektgruppe KIT, 2007
|
|
|
|
848 |
A comparison of several models of weighted tree automata
Fülöp, Zoltán. - Dresden : TU, Fak. Informatik, 2006
|
|
|
|
849 |
A conjecture of Borodin and a coloring of Grünbaum
Rautenbach, Dieter. - Bonn : Forschungsinst. für Diskrete Mathematik, 2006
|
|
|
|
850 |
A general method for generating Hermite type sampling expansions associated with regular eigenvalue problems
Annaby, Mahmoud H.. - Duisburg : Univ., 2006
|
|
Administration
