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,074(本体¥20,977)
  • Springer Verlag(2012/07発売)
  • ポイント 209pt
  • 海外取次在庫
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,172(本体¥22,884)
  • Springer Verlag(2012/07発売)
  • ポイント 228pt
  • 海外取次在庫
Grundkurs Programmieren in Java (9. Aufl. 2024. 800 S. 245 mm)
  • 洋書

Grundkurs Programmieren in Java (9. Aufl. 2024. 800 S. 245 mm)

Ratz, Dietmar/Schulmeister-Zimolong, Dennis/Seese, Detlef

  • ウェブストア価格 ¥11,129(本体¥10,118)
  • HANSER FACHBUCHVERLAG(2024発売)
  • ポイント 101pt
  • 海外取次在庫