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
Alternate Subjects (1-4 of 4)
Computer Arithmetic
1
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
2
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
Computer Art
3
E-Book/E-Doc
 

Copies

Location Call No. OPAC Message Status
 Axe JSTOR Open Ebooks  Electronic Book    ---  Available
4
Print Material
 

Kids' computer creations : using your computer for art & craft fun


Sabbeth, Carol, 1957-
Charlotte, Vt. : Williamson Pub. Co., c1995. 1995

Rating:

 

Copies

Location Call No. OPAC Message Status
 Nettels Professional Collection  PROF 745.5 SABBETH    ---  Available
Add Marked to Bag Add All On Page
Locate in results
 
    
Available items only