| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
标签:
用空格间隔多个标签,如:小说 文学 余秋雨
保存至书单:
Floating point arithmentic and program correctness proofs / |
|
|
中图分类法
:
|
TP31 |
|
著者:
|
Holm, John E. |
|
题名:
|
Floating point arithmentic and program correctness proofs / |
|
出版发行:
|
NY : Cornell University, 1980. |
|
载体形态:
|
133 p. ; ; 30 cm. |
|
丛编:
|
technical report. |
|
附注:
|
"August 1980" |
|
附注:
|
TR 8-4346 |
|
主题词:
|
arithmentic. |
|
主要责任者:
|
Thesis, D. |
|
标签:
|
|
|
相关主题:
|
|
|
相关资源:
|
|
|
分享资源:
|
|
限定所在馆:
限定所在馆藏地点:
限定馆藏状态:
HEA| |00693nam 2200229 a 450 001| |021997013649 005| |20050603160845.0 008| |050603s1980 nyu bt 000 0 eng 040| |▼aWHUT▼cWHUT 093| |▼aTP31▼23 100|1 |▼aHolm, John E. 245|10|▼aFloating point arithmentic a- | |nd program correctness proofs - | |/▼cJohn E.Holm,D.Thesis. 260| |▼aNY :▼bCornell University,▼c1980. 300| |▼a133 p. ;▼c30 cm. 440| 0|▼atechnical report. 500| |▼a"August 1980" 500| |▼aTR 8-4346 504| |▼aIncludes bibliographical references. 650| 0|▼aarithmentic. 700|1 |▼aThesis, D. 950| |▼aJ▼fTP31/H747 999| |▼tA▼Atshs14▼a20050603 16:08:45- | |▼Gtshs14▼g20050603 16:08:58
- 温馨提示：只有“所在馆位置”为“社科自科借阅室、文学借阅室”且“馆藏状态”为“在馆”的图书才能借出，其他“馆藏地点”的书均不可借出。
- “所在图书馆”为“典阅室”的图书只能在室内阅览。
- 查询期刊“现刊架号”请查“报刊指南->期刊分类查询表”。