Formal Verification of...
David M. Russinoff
Buy new from $138.46
eBook from $35.70
|
Handbook of Floating-Point...
Jean-Michel Muller,
Nicolas Brunie
Buy new from $144.08
eBook from $51.00
|
Computer Arithmetic and...
Sylvie Boldo,
Guillaume Melquiond
Buy new from $203.83
eBook from $150.00
|
Computer Arithmetic (V1)
Swartzlander Earl
Buy new from $105.77
|
Computer Arithmetic (V3)
Jr Earl E Swartzlander
Buy new from $114.87
eBook from $66.00
|
Formal Verification of...
David M Russinoff,
J Strother Moore (Foreword by)
Buy new from $189.87
eBook from $26.70
|
Methods and Applications of...
R T Gregory,
E V Krishnamurthy
Buy new from $113.39
|
Variational-Hemivariational...
Mircea Sofonea,
Stanislaw Migorski
Buy new from $218.36
eBook from $123.75
|
Floating Point Numerics for...
Nima Badizadegan
Buy new from $196.88
eBook from $44.00
|
Computer Arithmetic (V2)
Swartzlander Earl
Buy new from $116.80
|
Critical Point Theory in...
Marston Morse,
Stewart Scott Cairns
Buy new from $113.17
eBook from $72.95
|
Computer Arithmetic in Theory...
Ulrich W Kulisch,
Willard L Miranker
Buy new from $110.39
eBook from $72.95
|
Floating-point Computation
Pat Sterbenz
Buy new from $210.71
|
