Search ResultsElectronic Resources
Limit Search Results
Author
ProQuest (Firm)
(5)
Kulisch, Ulrich.
(4)
Miranker, Willard L.
(2)
Suppes, Patrick, 1922-2014.
(2)
Academia Republicii Socialiste România.
(1)
Material Type
Language
Publication Date
-
Subject
Computer arithmetic.
(10)
COMPUTERS -- Hardware -- General.
(6)
COMPUTERS -- Machine Theory.
(6)
COMPUTERS -- Computer Literacy.
(5)
COMPUTERS -- Computer Science.
(5)
Library
Shelf Location
Switch to list view
Switch to thumbnail view
26 Results Found Subscribe to search results
000000000000DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      Cover image for Arithmetic and logic in computer systems
      1. 
      Arithmetic and logic in computer systems
      by 
      Lu, Mi.
      Click to View
      Format: 
      Excerpt: 
      Arithmetic and logic in computer systems Lu, Mi.
      Cover image for Computer arithmetic in theory and practice
      2. 
      Computer arithmetic in theory and practice
      by 
      Kulisch, Ulrich.
      ScienceDirect http://www.sciencedirect.com/science/book/9780124286504
      Format: 
      Excerpt: 
      Computer arithmetic in theory and practice / Kulisch, Ulrich.
      Cover image for Computer arithmetic and self-validating numerical methods
      3. 
      Computer arithmetic and self-validating numerical methods
      by 
      Ullrich, Christian, editor.
      ScienceDirect https://www.sciencedirect.com/science/book/9780127082455
      Format: 
      Excerpt: 
      Computer arithmetic and self-validating numerical methods / Ullrich, Christian, editor.
      Cover image for Computer arithmetic and validity theory, implementation, and applications
      4. 
      Computer arithmetic and validity theory, implementation, and applications
      by 
      Kulisch, Ulrich.
      Click to View
      Format: 
      Excerpt: 
      Computer arithmetic and validity theory, implementation, and applications / Kulisch, Ulrich.
      Cover image for Computer arithmetic and validity theory, implementation, and applications
      5. 
      Computer arithmetic and validity theory, implementation, and applications
      by 
      Kulisch, Ulrich.
      Click to View
      Format: 
      Excerpt: 
      Computer arithmetic and validity theory, implementation, and applications / Kulisch, Ulrich.
      Cover image for Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system
      6. 
      Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system
      by 
      Boldo, Sylvie, author.
      Click to View
      Format: 
      Excerpt: 
      Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system /
      Cover image for Computer-assisted instruction at Stanford, 1966-68 data, models, and evaluation of the arithmetic programs
      7. 
      Computer-assisted instruction at Stanford, 1966-68 data, models, and evaluation of the arithmetic programs
      by 
      Suppes, Patrick, 1922-2014.
      ScienceDirect http://www.sciencedirect.com/science/book/9780126768565
      Format: 
      Excerpt: 
      Computer-assisted instruction at Stanford, 1966-68 data, models, and evaluation of the arithmetic
      Cover image for Digital curricula in school mathematics
      8. 
      Digital curricula in school mathematics
      by 
      Bates, Meg, 1981- editor.
      Click to View
      Format: 
      Excerpt: 
      Computer arithmetic.
      Cover image for Digital arithmetic
      9. 
      Digital arithmetic
      by 
      Ercegovac, Miloš D.
      ScienceDirect http://www.sciencedirect.com/science/book/9781558607989
      Format: 
      Excerpt: 
      Computer arithmetic.
      Cover image for Pascal-SC : a computer language for scientific computation
      10. 
      Pascal-SC : a computer language for scientific computation
      by 
      Bohlender, Gerd.
      ScienceDirect http://www.sciencedirect.com/science/book/9780121111557
      Format: 
      Excerpt: 
      Computer arithmetic.
      Cover image for A new approach to scientific computation
      11. 
      A new approach to scientific computation
      by 
      Symposium on a New Approach to Scientific Computation (1982 : IBM Thomas J. Watson Research Center)
      ScienceDirect http://www.sciencedirect.com/science/book/9780124286603
      Format: 
      Excerpt: 
      Computer arithmetic.
      Cover image for The audio dictionary
      12. 
      The audio dictionary
      by 
      White, Glenn D., 1933-
      Click to View
      Format: 
      Excerpt: 
      binary arithmetic as used in computer terminology -- Some notes on impedance and frequency response.
      Go to:Search Results
      |
      Search Facets
      |
      Top of Page