《Computation and Reasoning A Type Theory for Computer Science》
| 作者 | 编者 |
|---|---|
| 出版 | Oxford University Press Inc. |
| 参考页数 | 228 |
| 出版时间 | 1994（求助前请核对） |
| ISBN号 | 0198538359 — 求助条款 |
| PDF编号 | 812525938（仅供预览，未存储实际文件） |
| 求助格式 | 扫描PDF（若分多册发行，每次仅能受理1册） |
1994《Computation and Reasoning A Type Theory for Computer Science》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由 1994 Oxford University Press Inc. 出版的版本） 。对合法合规的求助，我会当即受理并将下载地址发送给你。
高度相关资料
-
- Computer science and multiple-valued logic theory and applications
- 1977 North-Holland Publishing Company
-
- The Theory of Computer Science A Programming Approach
- CHAPMAN AND HALL
-
- NUMERICAL COMPUTATION IN SCIENCE AND ENGINEERING
- 1998 OXFORD UNIVERSITY PRESS
-
- Discrete mathematics for computer science
- 1992 Saunders College
-
- Combinatorics for computer science
- 1985 Computer Science Press
-
- CATEGORICAL LOGIC AND TYPE THEORY
- 1999 ELSEVIER
-
- STRUCTURAL DYNAMICS THEORY AND COMPUTATION
- 1991 COPYRIGHT
-
- DIXCRETE MATHEMATICS FOR COMPUTER SCIENCE
- 1987 WEST PUBLISHING COMPANY
-
- STRUCTURAL DYNAMICS THEORY AND COMPUTATION
- 1980 VAN NOSTRAND REINHOLD COMPANY
-
- C PROGRAMMING FOR ENGINEERING AND COMPUTER SCIENCE
- 1999 WCB MCGRAW-HILL
-
- PROBABILITY THEORY AND COMPUTER SCIENCE
- 1983 ACADEMIC PRESS
-
- ALGORITHMS AND THEORY OF COMPUTATION HANDBOOK
- 1999 CRC PRESS
-
- Design Theory and Computer Science Processes and Methodology of Computer Systems Design
- 1991 Cambridge University Press
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD