文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 | 预约/借 |
| 1 | TP314/8 | 面向嵌入式系统的绿色编译理论与方法研究 | 何炎祥, 陈勇著 | 科学出版社 | 2014.05 | 预约/借 |
| 2 | TP311.1/169 | 高级语言程序变换的机械化证明导论 | 何炎祥, 江南著 | 科学出版社 | 2022.09 | 预约/借 |
| 3 | TP393.09/12 | 动态Web服务组合关键技术与性能分析 | 何炎祥,吴钊等著 | 清华大学出版社 | 2011.06 | 预约/借 |
文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 | 预约/借 |
| 1 | TP314/8 | 面向嵌入式系统的绿色编译理论与方法研究 | 何炎祥, 陈勇著 | 科学出版社 | 2014.05 | 预约/借 |
| 2 | TP311.1/169 | 高级语言程序变换的机械化证明导论 | 何炎祥, 江南著 | 科学出版社 | 2022.09 | 预约/借 |
| 3 | TP393.09/12 | 动态Web服务组合关键技术与性能分析 | 何炎祥,吴钊等著 | 清华大学出版社 | 2011.06 | 预约/借 |