Computer Arithmetic and Validity : Theory, Implementation, and Applications (De Gruyter Studies in Mathematics 33) (2013. XXII, 434 S. 101 b/w ill., 34 b/w tbl. 240 mm)
  • 洋書

Computer Arithmetic and Validity : Theory, Implementation, and Applications (De Gruyter Studies in Mathematics 33) (2013. XXII, 434 S. 101 b/w ill., 34 b/w tbl. 240 mm)  Hardcover

Kulisch, Ulrich

  • ウェブストア価格 ¥41,985(本体¥38,169)
  • DE GRUYTER(2013発売)
  • ポイント 381pt
  • 海外からお取り寄せ(通常6~9週間)
Computer Arithmetic and Validity : Theory, Implementation, and Applications (De Gruyter Studies in Mathematics Vol.33) (2008. XVIII, 410 S. 240 mm)
  • 洋書
Numerical Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Pascalxsc Programs (Springer Series in Computational Mat (Reprint)
  • 洋書

Numerical Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Pascalxsc Programs (Springer Series in Computational Mat (Reprint)  Paperback,  言語:ENG

Hammer, Rolf/ Hocks, Matthias/ Kulisch, Ulrich/ Ratz, Dietmar

  • ウェブストア価格 ¥23,538(本体¥21,399)
  • Springer Verlag(2012/07発売)
  • ポイント 213pt
  • 海外取次在庫
C++ Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Programs (Reprint)
  • 洋書

C++ Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Programs (Reprint)  Paperback,  言語:ENG

Hammer, Rolf/ Hocks, Matthias/ Kulisch, Ulrich/ Ratz, Dietmar

  • ウェブストア価格 ¥25,679(本体¥23,345)
  • Springer Verlag(2012/07発売)
  • ポイント 233pt
  • 海外取次在庫
Numerical Toolbox for Verified Computing Vol.2 : Advanced Numerical Problems (Springer Series in Computational Mathematics) (2008. 370 p. 23,5 cm)
  • 洋書

Numerical Toolbox for Verified Computing Vol.2 : Advanced Numerical Problems (Springer Series in Computational Mathematics) (2008. 370 p. 23,5 cm)  Hardcover

Kraemer, W./ Kulisch, Ulrich/ Lohner, Rudolf

  • Springer(2008/11発売)
  • ご注文いただけません
C++ Toolbox for Verified Computing : Basic Numerical Problems
  • 洋書

C++ Toolbox for Verified Computing : Basic Numerical Problems  Hardcover,  言語:ENG

Hammer, Rolf/ Hocks, M./ Kulisch, Ulrich W.

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(1995/05発売)
  • ご注文いただけません
Numerical Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Pascal-Xsc Programs (Springer Series in Computational Mathematics)
  • 洋書

Numerical Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Pascal-Xsc Programs (Springer Series in Computational Mathematics)  Hardcover,  言語:ENG

Hammer, Rolf/ Hocks, Matthias/ Kulisch, Ulrich W.

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(1993/12発売)
  • ご注文いただけません