3rd Symposium on Computer Arithmetic, November 19-20, 1975, Southern Methodist University, Dallas, Texas : [papers] /
| Corporate Authors: | Symposium on Computer Arithmetic Southern Methodist University, IEEE Computer Society |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Long Beach, Calif. :
The Society,
[1975]
|
| Subjects: |
Similar Items
Computer arithmetic /
Published: (1990)
Published: (1990)
Proceedings : 4th Symposium on Computer Arithmetic, October 25-27, 1978, Santa Monica, California /
Published: (1978)
Published: (1978)
Numerical computing with IEEE floating point arithmetic : including one theorem, one rule of thumb, and one hundred and one exercises /
by: Overton, Michael L.
Published: (2001)
by: Overton, Michael L.
Published: (2001)
The 8096 floating-point arithmetic library user's guide for DOS systems.
Published: (1985)
Published: (1985)
Improving floating-point programming /
Published: (1990)
Published: (1990)
Symbolic algebraic methods and verification methods /
Published: (2001)
Published: (2001)
Proceedings /
Published: (1978)
Published: (1978)
Computer arithmetic in theory and practice /
by: Kulisch, Ulrich
Published: (1981)
by: Kulisch, Ulrich
Published: (1981)
Computer arithmetic in theory and practice /
by: Kulisch, Ulrich
Published: (1981)
by: Kulisch, Ulrich
Published: (1981)
A high-level formalization of floating-point numbers in PVS /
by: Boldo, Sylvie
Published: (2006)
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)
by: Pan, Jing
Published: (1991)
A bit-serial floating point multiply/add architecture for signal processing applications /
by: Williams, Bertrand Jeffery, 1959-
Published: (1983)
by: Williams, Bertrand Jeffery, 1959-
Published: (1983)
Methods and applications of error-free computation /
by: Gregory, R. T. (Robert Todd)
Published: (1984)
by: Gregory, R. T. (Robert Todd)
Published: (1984)
MIPS : the good, the bad and the useful /
by: Richardson, Jerry K.
Published: (1987)
by: Richardson, Jerry K.
Published: (1987)
Handbook of floating-point arithmetic /
Published: (2010)
Published: (2010)
Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system /
by: Boldo, Sylvie, et al.
Published: (2017)
by: Boldo, Sylvie, et al.
Published: (2017)
Proceedings of the 12th Symposium on Computer Arithmetic /
Published: (1995)
Published: (1995)
Advanced arithmetic for the digital computer : design of arithmetic units /
by: Kulisch, Ulrich
Published: (2002)
by: Kulisch, Ulrich
Published: (2002)
Advanced computer arithmetic design /
by: Flynn, M. J. (Michael J.), 1934-
Published: (2001)
by: Flynn, M. J. (Michael J.), 1934-
Published: (2001)
Arithmetic and logic in computer systems /
by: Lu, Mi
Published: (2004)
by: Lu, Mi
Published: (2004)
14th IEEE Symposium on Computer Arithmetic : proceedings : April 14-16, 1999, Adelaide, Australia /
Published: (1999)
Published: (1999)
Proceedings, 8th Symposium on Computer Arithmetic : May 19-21, 1987, Villa Olmo, Como, Italy /
Published: (1987)
Published: (1987)
13th IEEE Symposium on Computer Arithmetic : proceedings, July 6-9, 1997, Asilomar, California, USA /
Published: (1997)
Published: (1997)
Introduction to arithmetic for digital systems designers /
by: Waser, Shlomo
Published: (1982)
by: Waser, Shlomo
Published: (1982)
16th IEEE Symposium on Computer Arithmetic : ARITH-16; proceedings : June 15-18, 2003, Santiago de Compostela, Spain /
Published: (2003)
Published: (2003)
Computer arithmetic : logic and design /
by: Spaniol, Otto, 1945-
Published: (1981)
by: Spaniol, Otto, 1945-
Published: (1981)
Floating Point Numerics for Games and Simulations /
by: Badizadegan, Nima
Published: (2025)
by: Badizadegan, Nima
Published: (2025)
Design of arithmetic units for digital computers /
by: Gosling, J. B. (John B.)
Published: (1980)
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)
by: Neeley, Paula, et al.
Published: (2017)
Digital arithmetic /
by: Ercegovac, Miloš D.
Published: (2003)
by: Ercegovac, Miloš D.
Published: (2003)
Digital arithmetic /
by: Ercegovac, Miloš D.
Published: (2004)
by: Ercegovac, Miloš D.
Published: (2004)
Digital arithmetic /
by: Ercegovac, Miloš D.
Published: (2003)
by: Ercegovac, Miloš D.
Published: (2003)
Synthesis of arithmetic circuits : FPGA, ASIC, and embedded systems /
by: Deschamps, Jean-Pierre, 1945-
Published: (2006)
by: Deschamps, Jean-Pierre, 1945-
Published: (2006)
Computer arithmetic and self-validating numerical methods /
Published: (1990)
Published: (1990)
Advanced arithmetic for the digital computer : design of arithmetic units /
by: Kulisch, Ulrich
Published: (2002)
by: Kulisch, Ulrich
Published: (2002)
Proceedings : 11th Symposium on Computer Arithmetic, June 29-July 2, 1993, Windsor, Ontario /
Published: (1993)
Published: (1993)
Proceedings : 10th IEEE Symposium on Computer Arithmetic : June 26-28, 1991, Grenoble, France /
Published: (1991)
Published: (1991)
Design of arithmetic units for digital computers /
by: Gosling, J. B. (John B.)
Published: (1980)
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)
Published: (2001)
Applied fuzzy arithmetic : an introduction with engineering applications /
by: Hanss, Michael
Published: (2005)
by: Hanss, Michael
Published: (2005)