Yazar
Warwick Tucker
3 cilt bulundu.
Cilt sonuçları
Scientific Computing, Computer Arithmetic, and Validated Numerics
Marco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker · Springer
304 sayfa · 2016
Numerical analysis, data processing / Computer arithmetic / Numerical calculations
Validated numerics
Warwick Tucker · Princeton University Press
138 sayfa · 2011
Science / Numerical calculations / Verification / Data processing / Science, data processing