Scientific computation with automatic result verification/
Corporate Authors: | Universitaet Karlsruhe. Institut fuer Angewandte Mathematik, GAMM Committee on "Computer Arithmetic and Scientific Computation" |
---|---|
Other Authors: | Kulish, Ulrich, Stetter, Hans J., |
Format: | Book |
Language: | English |
Published: |
Wien:
Springer,
c1988
|
Series: | Computing supplement
6 |
Subjects: |
Similar Items
-
Computing. Supplementum
Published: (1977) -
Flow analysis using a PC/
by: Ninomiya, Hiroshi, 1947-
Published: (1991) -
Numerical methods in heat transfer ; edited by R. W. Lewis .. [et al.]
Published: (1983) -
Numerical methods for engineers/
by: Chapra, Steven C.
Published: (2010) -
Theorie und Rechtfertigung : Untersuchungen zum Rechtfertingungsproblem axiomatischer Theorien in der Wissenschaftstheorie /
by: Schreiber, A.
Published: (1975)