Search ResultsElectronic Resources
Limit Search Results
Author
Material Type
Language
Publication Date
-
Subject
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
4 Results Found Subscribe to search results
0000DEFAULT
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 in theory and practice
      1. 
      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 validity theory, implementation, and applications
      2. 
      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
      3. 
      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
      4. 
      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 /