Limit search to items available for checkout
Save Marked Records Save All On Page
Subjects (1-5 of 5)
Numerical calculations -- Verification -- Congresses.
1
c1996
BOOK
Scientific computing and validated numerics : proceedings of the International Symposium on Scientif
International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (4th : 1995 : Wuppertal, Germany)
Berlin : Akademie Verlag, c1996.

Copies / Volumes

2
2016
E-BOOK
Scientific computing, computer arithmetic, and validated numerics : 16th International Symposium, SC
GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (16th : 2014 : W├╝rzburg, Germany)
Switzerland : Springer, 2016.

Copies / Volumes

LOCATION CALL # STATUS
 Internet  Electronic Book    AVAILABLE
3
4
c2001
BOOK
Scientific computing, validated numerics, interval methods
International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (8th : 2000 : Karlsruhe, Germany)
New York : Kluwer Academic/Plenum, c2001.

Copies / Volumes

5
1994
BOOK
Topics in validated computations : proceedings of IMACS-GAMM International Workshop on Validated Com
IMACS-GAMM International Workshop on Validated Computation (1993 : Oldenburg, Germany)
Amsterdam ; New York : Elsevier, 1994.

Copies / Volumes

Save Marked Records Save All On Page
Locate in results