|
1471 |
Verified solution of parametric interval linear systems
Owny, Hassan Badry Mohamed el-, 2007
|
|
|
1472 |
Verschiedene Beweisanordnungen des Satzes von MÜNTZ
Erkens, Michael. - Tönning : Der Andere Verl., 2007
|
|
|
|
1473 |
Verteilte optimistische Simulation von stochastischen farbigen Petrinetzen
Knoke, Michael. - Berlin : dissertation.de, 2007, Als Ms. gedr.
|
|
|
|
1474 |
Walks on ordinals and their characteristics
Todorcevic, Stevo. - Basel : Birkhäuser, 2007
|
|
|
|
1475 |
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
|
|
|
|
1476 |
A comparison of several models of weighted tree automata
Fülöp, Zoltán. - Dresden : TU, Fak. Informatik, 2006
|
|
|
|
1477 |
A conjecture of Borodin and a coloring of Grünbaum
Rautenbach, Dieter. - Bonn : Forschungsinst. für Diskrete Mathematik, 2006
|
|
|
|
1478 |
A general method for generating Hermite type sampling expansions associated with regular eigenvalue problems
Annaby, Mahmoud H.. - Duisburg : Univ., 2006
|
|
|
|
1479 |
A non-deterministic call-by-need lambda calculus
Mann, Matthias, [2006]
|
|
|
|
1480 |
A primal Barvinok algorithm based on irrational decomposition
Köppe, Matthias. - Magdeburg : Univ., Fak. für Mathematik, 2006
|
|
Administration
