|
1 |
Verification of solutions for almost linear complementarity problems [Wadern] : [Internat. Begegnungs- und Forschungszentrum für Informatik], [2006]
|
|
|
2 |
Parallele numerische Verfahren Alefeld, Götz. - Berlin : Springer, 2002
|
|
|
3 |
Parallele numerische Verfahren Alefeld, Götz. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2002
|
|
|
4 |
Symbolic algebraic methods and verification methods Saarbrücken : Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes, 2000
|
|
|
5 |
Parallel processing in the engineering sciences Saarbrücken : Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes, 1998
|
|
|
6 |
Numerical analysis, scientific computing, computer science Berlin : Akad.-Verl., 1996
|
|
|
7 |
Numerical methods and error bounds Berlin : Akad.-Verl., 1996, 1. ed.
|
|
|
8 |
Scientific computing and validated numerics Berlin : Akad.-Verl., 1996, 1. ed.
|
|
|
9 |
Inroduction to interval computations Alefeld, Götz. - New York [u.a.] : Academic Press, a subsidiary of Harcourt Brace Jovanovich, 1983
|
|
|
10 |
Fundamentals of numerical computation Wien, New York : Springer, 1980
|
|