Computer arithmetic /

Proceedings : 4th Symposium on Computer Arithmetic, October 25-27, 1978, Santa Monica, California /
Published: (1978)

Symbolic algebraic methods and verification methods /
Published: (2001)

Computer arithmetic in theory and practice /
by: Kulisch, Ulrich
Published: (1981)

Computer arithmetic in theory and practice /
by: Kulisch, Ulrich
Published: (1981)

A high-level formalization of floating-point numbers in PVS /
by: Boldo, Sylvie
Published: (2006)

MIPS : the good, the bad and the useful /
by: Richardson, Jerry K.
Published: (1987)

Methods and applications of error-free computation /
by: Gregory, R. T. (Robert Todd)
Published: (1984)

Proceedings /
Published: (1978)

Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system /
by: Boldo, Sylvie, et al.
Published: (2017)

Handbook of floating-point arithmetic /
Published: (2010)

Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit /
by: Pan, Jing
Published: (1991)

A bit-serial floating point multiply/add architecture for signal processing applications /
by: Williams, Bertrand Jeffery, 1959-
Published: (1983)

Arithmetic and logic in computer systems /
by: Lu, Mi
Published: (2004)

Computer arithmetic : logic and design /
by: Spaniol, Otto, 1945-
Published: (1981)

Advanced arithmetic for the digital computer : design of arithmetic units /
by: Kulisch, Ulrich
Published: (2002)

Computer arithmetic : algorithms and hardware designs /
by: Parhami, Behrooz
Published: (2000)

Computer arithmetic /
by: George, F. H. (Frank Honywill), 1921-
Published: (1966)

Computer arithmetic algorithms /
by: Koren, Israel, 1945-
Published: (2002)

Advanced arithmetic for the digital computer : design of arithmetic units /
by: Kulisch, Ulrich
Published: (2002)

Computer arithmetic /
by: George, F. H. (Frank Honywill), 1921-1997
Published: (1966)

Floating Point Numerics for Games and Simulations /
by: Badizadegan, Nima
Published: (2025)

Digital arithmetic /
by: Ercegovac, Miloš D.
Published: (2003)

Digital arithmetic /
by: Ercegovac, Miloš D.
Published: (2004)

Digital arithmetic /
by: Ercegovac, Miloš D.
Published: (2003)

Proceedings of the 12th Symposium on Computer Arithmetic /
Published: (1995)

Computer number systems and arithmetic /
by: Scott, Norman R. (Norman Ross), 1918-
Published: (1985)

Modern computer arithmetic /
by: Brent, R. P. (Richard P.)
Published: (2011)

Computer arithmetic in practice : exercises and programming /
by: Gryś, Sławomir
Published: (2024)

14th IEEE Symposium on Computer Arithmetic : proceedings : April 14-16, 1999, Adelaide, Australia /
Published: (1999)

Proceedings, 8th Symposium on Computer Arithmetic : May 19-21, 1987, Villa Olmo, Como, Italy /
Published: (1987)

13th IEEE Symposium on Computer Arithmetic : proceedings, July 6-9, 1997, Asilomar, California, USA /
Published: (1997)

16th IEEE Symposium on Computer Arithmetic : ARITH-16; proceedings : June 15-18, 2003, Santiago de Compostela, Spain /
Published: (2003)

Residue arithmetic and its applications to computer technology /
by: Szabó, Nicholas S.
Published: (1967)

Map projection induced variations in locations of polygon geofence edges /
by: Neeley, Paula, et al.
Published: (2017)

Arithmetic, a programmed approach /
by: Pettofrezzo, Anthony J.
Published: (1982)

Computer arithmetic and self-validating numerical methods /
Published: (1990)