Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

     
Available items only
Add Marked to Bag Add All On Page
Subjects (1-6 of 6)
Computer Arithmetic
1
E-Book/E-Doc
 

Arithmetic and logic in computer systems


Lu, Mi.
Hoboken, NJ : Wiley-Interscience, c2004. 2004

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
2
E-Book/E-Doc
 

Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system


Boldo, Sylvie, author.
London : ISTE Press ; Oxford, UK : Elsevier, 2017. 2017

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Elsevier ScienceDirect Ebook  Electronic Book    ---  Available
3
E-Book/E-Doc
 

Computer arithmetic and validity theory, implementation, and applications


Kulisch, Ulrich.
Berlin ; New York : Walter De Gruyter, c2008. 2008

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
4
E-Book/E-Doc
 

Computer arithmetic and validity theory, implementation, and applications


Kulisch, Ulrich.
Berlin : De Gruyter, 2013. 2013

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
5
Print Material
 

Computer number systems and arithmetic


Scott, Norman R. (Norman Ross), 1918-
Englewood Cliffs, NJ : Prentice-Hall, c1985. 1985

Rating:

 

Copies

Location Call No. OPAC Message Status
 Axe 2nd Floor Stacks  519.4 Sco85c    ---  Available
6
E-Book/E-Doc
 

Digital arithmetic


Ercegovac, Milo D.
San Francisco, Calif. : Morgan Kaufmann ; Oxford : Elsevier Science, ©2004 [i.e. 2003] 2003

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Elsevier ScienceDirect Ebook  Electronic Book    ---  Available
Add Marked to Bag Add All On Page
Locate in results
 
    
Available items only