Search ResultsElectronic Resources
Limit Search Results
Author
ProQuest (Firm)
(5)
Kulisch, Ulrich.
(4)
SpringerLink (Online service)
(3)
LaMeres, Brock J. author.
(2)
Miranker, Willard L.
(2)
Material Type
Language
Publication Date
-
Subject
Electronic books.
(26)
Computer arithmetic.
(10)
COMPUTERS -- Hardware -- General.
(6)
COMPUTERS -- Machine Theory.
(6)
COMPUTERS -- Computer Literacy.
(5)
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
34 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 Computer arithmetic
      1. 
      Computer arithmetic
      by 
      George, F. H.
      Format: 
      Excerpt: 
      Computer arithmetic / George, F. H.
      Cover image for Arithmetic and logic in computer systems
      2. 
      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
      3. 
      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
      4. 
      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
      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 validity theory, implementation, and applications
      6. 
      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
      7. 
      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
      8. 
      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
      9. 
      Digital curricula in school mathematics
      by 
      Bates, Meg, 1981- editor.
      Click to View
      Format: 
      Excerpt: 
      Computer arithmetic.
      Cover image for Digital arithmetic
      10. 
      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
      11. 
      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
      12. 
      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.