Search Results
Showing 1 - 10 of 14 results
Search Results
/LC.GIF&client=easterncarolinaedu)
Interpretation of IEEE-854 floating-point standard and definition in the HOL system
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:110189 | ✔ Available |
Defining the IEEE-854 floating-point standard in PVS
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:110167 | ✔ Available |
On the accuracy of solving triangular systems in parallel
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:101384 | ✔ Available |
Methods and applications of error-free computation
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA297.5 .G735 1984 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)