Welcome to the Kids' Library!
Search for books, movies, music, magazines, and more.
Your session will expire automatically in
0
seconds.
Continue session
End session now
Back to Search Results
Limit/Sort Search
SearchType
Keyword
Author
Title
Subject
Call Number
Search
Search Scope
PSU Library Consortium
Pittsburg State University
Academic Libraries
Public Libraries
Pittsburg Area
Unified School District
Leonard H. Axe Library
Career Resource Center Library
Eureka Public Library
Fort Scott Community College Library
George Nettels Elementary School Library
Kansas Technology Center Library
Lakeside Elementary School Library
Meadowlark Elementary School Library
Parsons Public Library
Pittsburg Community Middle School Library
Pittsburg High School Library
Pittsburg Public Library
Sedan Public Library
Westside Elementary School Library
Childrens Collection
Available items only
Add Marked to Bag
Add All On Page
Subjects (1-6 of 6)
Floating Point Arithmetic
1
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:
Website
Copies
Location
Call No.
OPAC Message
Status
Axe Elsevier ScienceDirect Ebook
Electronic Book
---
Available
2
Computer arithmetic and validity theory, implementation, and applications
Kulisch, Ulrich.
Berlin ; New York : Walter De Gruyter, c2008. 2008
Rating:
Website
Copies
Location
Call No.
OPAC Message
Status
Axe ProQuest E-Book
Electronic Book
---
Available
3
Computer arithmetic and validity theory, implementation, and applications
Kulisch, Ulrich.
Berlin : De Gruyter, 2013. 2013
Rating:
Website
Copies
Location
Call No.
OPAC Message
Status
Axe ProQuest E-Book
Electronic Book
---
Available
4
DSP96002 IEEE floating-point dual-port processor : user's manual
[Phoeniz, Ariz.] : Motorola, Inc., c1989. 1989
Rating:
Copies
Location
Call No.
OPAC Message
Status
Axe Special Collections Brown
621.395 D849 1989
---
Lib Use Only
5
MC68881/MC68882 floating-point coprocessor user's manual.
Englewood Cliffs, N.J. : Prentice Hall, c1989. 1989
Rating:
Copies
Location
Call No.
OPAC Message
Status
Axe Special Collections Brown
621.3981 M459ei 1989
---
Lib Use Only
Floating Point Arithmetic Mathematical Models
6
ElectronicResource GovDoc
A high-level formalization of floating-point numbers in PVS
Boldo, Sylvie.
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2006] 2006
Rating:
Website
More...
Copies
Location
Call No.
OPAC Message
Status
Axe Federal Documents Online
NAS 1.26:2006-214298
---
Available
Add Marked to Bag
Add All On Page
Locate in results
Back to Search Results
Limit/Sort Search
Available items only
Website
