3rd Symposium on Computer Arithmetic, November 19-20, 1975, Southern Methodist University, Dallas, Texas : [papers] /

Improving floating-point programming /
Published: (1990)

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

Proceedings /
Published: (1978)

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)

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)

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

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

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

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

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

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

Advanced computer arithmetic design /
by: Flynn, M. J. (Michael J.), 1934-
Published: (2001)

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

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)

Introduction to arithmetic for digital systems designers /
by: Waser, Shlomo
Published: (1982)

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

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

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

Design of arithmetic units for digital computers /
by: Gosling, J. B. (John B.)
Published: (1980)

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

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

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

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

Synthesis of arithmetic circuits : FPGA, ASIC, and embedded systems /
by: Deschamps, Jean-Pierre, 1945-
Published: (2006)

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

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

Proceedings : 11th Symposium on Computer Arithmetic, June 29-July 2, 1993, Windsor, Ontario /
Published: (1993)

Proceedings : 10th IEEE Symposium on Computer Arithmetic : June 26-28, 1991, Grenoble, France /
Published: (1991)

Design of arithmetic units for digital computers /
by: Gosling, J. B. (John B.)
Published: (1980)

ARITH-15 2001 : 15th IEEE Symposium on Computer Arithmetic : proceedings : Vail, Colorado, 11-13 June, 2001 /
Published: (2001)

Applied fuzzy arithmetic : an introduction with engineering applications /
by: Hanss, Michael
Published: (2005)