Validated numerics [electronic resource] : a short introduction to rigorous computations / Warwick Tucker.

相似书籍

• Validated numerics : a short introduction to rigorous computations /
  由: Tucker, Warwick, 1961-
  出版: (2011)
• Verification and validation in computational science and engineering /
  由: Roache, Patrick J.
  出版: (1998)
• Algorithms and computation : 5th International Symposium, ISAAC '94, Beijing, P.R. China, August 25-27, 1994 : proceedings /
  出版: (1994)
• Numerical methods for engineers /
  由: Chapra, Steven C.
  出版: (2006)
• Numerical methods for engineers /
  由: Chapra, Steven C.
  出版: (2010)