Limit this search to....

  (7 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC
Pub
Date
Price
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs Softcover Repri Edition Hammer, RolfPaperback3642796532 /
9783642796531
12/2011$113.99
Computer Arithmetic and Validity: Theory, Implementation, and Applications Revised Edition (de Gruyter Studies in Mathematics)Kulisch, UlrichHardcover3110301733 /
9783110301731
04/2013$218.50
Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-Xsc Programs Softcover Repri Edition (Springer Computational Mathematics)Hammer, RolfPaperback3642784259 /
9783642784255
12/2011$104.49
Pascal-Xsc: Sprachbeschreibung Mit Beispielen 1991 Edition (German)Klatte, RudiPaperback3540537147 /
9783540537144
05/1991$56.99
Perspectives on Enclosure Methods Softcover Repri Edition Kulisch, UlrichPaperback3211835903 /
9783211835906
06/2001$52.24
Scientific Computation with Automatic Result Verification Softcover Repri Edition (Computing Supplementa)Kulisch, UlrichPaperback3211820639 /
9783211820636
10/1988$52.24
Überblicke Mathematik 1996/97 1996 Edition (German)Beutelspacher, AlbrechtPaperback3528068922 /
9783528068929
11/1996$66.49
  (7 items found)