TY - BOOK AU - Kramer, Walter AU - Gudenberg, Jurgen Wolff van TI - Scientific Computing, Validated Numerics, Interval Methods SN - 0306467062 U1 - 511.8 KRA PY - 2001/// CY - Boston PB - Kluwer Academic Publishers KW - Scientific Computing KW - Mathematical models -- Congresses N1 - Table of Contents: 1 SCAN 2000 Keynote ER -