 |
|
|
|
| 1. |
|
Computer Arithmetic in Theory and Practice
Ulrich W Kulisch, Willard L Miranker, Werner Rheinboldt
E-bok. Elsevier Science, 2014.
|
 |
| 2. |
|
New Approach to Scientific Computation
Ulrich W Kulisch, Willard L Miranker
E-bok. Elsevier Science, 2014.
|
|
| 3. |
|
Computer Arithmetic and Validity
Ulrich Kulisch
E-bok. De Gruyter, Tyskland, 2013.
|
|
| 4. |
|
Wissenschaftliches Rechnen Mit Ergebnisverifikation
Ulrich Kulisch
Inbunden. De Gruyter, Tyskland, 1990.
|
|
| 5. |
|
Scientific Computation with Automatic Result Verification
Ulrich Kulisch, Hans J Stetter
Häftad. Springer Verlag GmbH, Österrike, 1988.
|
|
| 6. |
|
Perspectives on Enclosure Methods
Ulrich Kulisch, Rudolf Lohner, Axel Facius
Häftad. Springer Verlag GmbH, Österrike, 2001.
|
|
| 7. |
|
Advanced Arithmetic for the Digital Computer
Ulrich W Kulisch
Häftad. Springer Verlag GmbH, Österrike, 2002.
|
|
| 8. |
|
ÿberblicke Mathematik 1998
Albrecht Beutelspacher, Norbert Henze, Ulrich Kulisch, Hans Wuing
E-bok. Vieweg+Teubner Verlag, Tyskland, 2013.
|
|
| 9. |
|
Rechnerorientierte Verfahren
Bruno Buchberger, Bernhard Kutzler, Manfred Feilmeier, Mathias Kratz, Ulrich Kulisch
E-bok. Vieweg+Teubner Verlag, Tyskland,
|
|
| 10. |
|
Rechnerorientierte Verfahren
Bernhard Kutzler, Manfred Feilmeier, Mathias Kratz, Ulrich Kulisch, Siegfried M Rump
Häftad. Vieweg+Teubner Verlag, Tyskland, 1986.
|
|
| 11. |
|
berblicke Mathematik 1996/97
Albrecht Beutelspacher, Norbert Henze, Ulrich Kulisch, Hans Wuing
Häftad. Vieweg+Teubner Verlag, Tyskland, 1996.
|
|
| 12. |
|
PASCAL-XSC
Rudi Klatte, Ulrich Kulisch, Michael Neaga, Dietmar Ratz, Christian Ullrich
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1991.
|
|
| 13. |
|
PASCAL-XSC
Rudi Klatte, Ulrich Kulisch, Michael Neaga, Dietmar Ratz, Christian Ullrich
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1992.
|
|
| 14. |
|
C-XSC
Rudi Klatte, Ulrich Kulisch, Andreas Wiethoff, Christian Lawo, Michael Rauch
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1993.
|
|
| 15. |
|
C-XSC
Rudi Klatte, Ulrich Kulisch, Andreas Wiethoff, Christian Lawo, Michael Rauch
E-bok. Springer Berlin Heidelberg, Tyskland, 2012.
|
|
| 16. |
|
PASCAL-XSC
Rudi Klatte, Ulrich Kulisch, Michael Neaga, Dietmar Ratz, Christian Ullrich
E-bok. Springer Berlin Heidelberg, Tyskland, 2012.
|
|
| 17. |
|
Numerical Toolbox for Verified Computing I
Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz
E-bok. Springer Berlin Heidelberg, Tyskland, 2012.
|
|
| 18. |
|
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.
|
|
| 19. |
|
C++ Toolbox for Verified Computing I
Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz
E-bok. Springer Berlin Heidelberg, Tyskland, 2012.
|
|
| 20. |
|
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.
|
|
|
|
|
