|
1. |
|
Numerical Toolbox for Verified Computing I
Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz
E-bok. Springer Berlin Heidelberg, Tyskland, 2012.
|
|
2. |
|
Numerical Toolbox for Verified Computing I
Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2011.
|
|
3. |
|
C++ Toolbox for Verified Computing I
Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz
E-bok. Springer Berlin Heidelberg, Tyskland, 2012.
|
|
4. |
|
C++ Toolbox for Verified Computing I
Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2011.
|
|
|
|