Limit search to items available for checkout
Save Marked Records Save All On Page
Subjects (1-5 of 5)
Numerical calculations -- Verification.
1
c2001
BOOK
Symbolic algebraic methods and verification methods
Wien ; New York : Springer, c2001.

Copies / Volumes

2
2011
E-BOOK
Validated numerics : a short introduction to rigorous computations
Tucker, Warwick, 1961-
Princeton : Princeton University Press, ©2011.

Copies / Volumes

LOCATION CALL # STATUS
 Internet  Electronic Book    AVAILABLE
3
2009
E-BOOK
Verification and validation of 3D free-surface flow models
Reston, Va. : American Society of Civil Engineers : EWRI, ©2009.

Copies / Volumes

LOCATION CALL # STATUS
 Internet  Electronic Book    AVAILABLE
4
2003
E-BOOK
Verification of computer codes in computational science and engineering
Knupp, Patrick M.
Boca Raton ; London : Chapman & Hall/CRC, ©2003.

Copies / Volumes

LOCATION CALL # STATUS
 Internet  Electronic Book    AVAILABLE
5
c1989
BOOK
Wissenschaftliches Rechnen mit Ergebnisverifikation : eine Einführung
Braunschweig : Friedr. Vieweg & Sohn, c1989.

Copies / Volumes

Save Marked Records Save All On Page
Locate in results