TY - BOOK

AU - International Association for Mathematics and Computers in Simulation

AU - IMACS GAMM International Workshop on Validated Computation 1993, Oldenburg

AU - IMACS International Workshop on Validated Computation 1993, Oldenburg

AU - GAMM International Workshop on Validated Computation 1993, Oldenburg

AU - IMACS

AU - GAMM

AU - Gesellschaft für Angewandte Mathematik und Mechanik

AU - International Workshop on Validated Computation 1993 Oldenburg (Oldenburg)

AU - Herzberger, Jürgen

TI - Topics in validated computations proceedings of the IMACS-GAMM International Workshop on Validated Computation, Oldenburg, Germany, 30 August - 3 September 1993

PB - North-Holland [u.a.]

SN - 0444816852

KW - Interval analysis (Mathematics) Congresses

KW - Numerical calculations Verification Congresses

KW - Algorithms Congresses

KW - Intervallalgebra

KW - Interval analysis (Mathematics)

KW - Congresses

KW - Numerical calculations

KW - Verification

KW - Algorithms

KW - Konferenzschrift

KW - Konferenzschrift 1993 Oldenburg

KW - Konferenzschrift 1993 Oldenburg, Oldenburg

PY - 1994

N2 - Literaturangaben

BT - Studies in computational mathematics ; 5

CY - Amsterdam [u.a.]

UR - http://slubdd.de/katalog?TN_libero_mab2

ER -