-
中文图书1.高级语言程序变换的机械化证明导论 TP312/2193
馆藏复本:2
可借复本:2 何炎祥, 江南著
科学出版社 2022
(0) 馆藏 -
中文图书2.编译原理 TP314/2193/ 3
馆藏复本:1
可借复本:0 何炎祥著
高等教育出版社 2004
(0) 馆藏 -
中文图书3.面向片上缓存子系统的功耗优化方法 TP368.5/2193
馆藏复本:2
可借复本:2 何炎祥, 沈凡凡著
科学出版社 2018
(0) 馆藏 -
中文图书4.面向嵌入式系统的绿色编译理论与方法研究 TP314/2193/ 2
馆藏复本:2
可借复本:1 何炎祥, 陈勇著
科学出版社 2014
(0) 馆藏 -
中文图书5.可信编译构造理论与关键技术 TP314/2193/ 1
馆藏复本:3
可借复本:2 何炎祥, 吴伟著
科学出版社 2013
(0) 馆藏 -
中文图书6.降质服务攻击及其防范方法 TP393.081/2193
馆藏复本:2
可借复本:1 何炎祥, 刘陶著
机械工业出版社 2011
(0) 馆藏 -
中文图书7.计算机操作系统 TP316/2193
馆藏复本:7
可借复本:6 何炎祥, 李飞, 李宁编著
清华大学出版社 2004
(0) 馆藏 -
中文图书8.编译原理及其习题解答 TP314/2193
馆藏复本:5
可借复本:4 何炎祥 ... [等] 编著
武汉大学大学出版社 2004
(1) 馆藏 -
中文图书9.动态Web服务组合关键技术与技能分析 TP393.09/2193
馆藏复本:2
可借复本:1 何炎祥, 吴钊等著
清华大学出版社 2011
(0) 馆藏 -
中文图书10.程序设计基础 TP311.1/2193
馆藏复本:5
可借复本:4 何炎祥, 石莹, 王娜编著
清华大学出版社 2006
(0) 馆藏 -
中文图书11.计算机操作系统学习指导与习题解答 TP316/2193/ 2
馆藏复本:5
可借复本:4 何炎祥主编
清华大学出版社 2006
(0) 馆藏 -
中文图书12.并行分布计算中的调度算法理论与设计 TP301.6/2534
馆藏复本:5
可借复本:4 朱福喜, 何炎祥编著
武汉大学出版社 2003
(0) 馆藏 -
中文图书13.中文计算技术与语言问题研究:第七届中文信息处理国际会议论文集:proceedings of 7th international conf... TP391.12-53/4461
馆藏复本:1
可借复本:0 主编萧国政, 何炎祥, 孙茂松
电子工业出版社 2007
(0) 馆藏 -
中文图书14.操作系统原理 TP316/2193/ 1
馆藏复本:5
可借复本:4 何炎祥等编著
科学出版社 2004
(0) 馆藏 -
中文图书15.操作系统原理学习指导与题解 TP316-44/2193
馆藏复本:6
可借复本:5 主编何炎祥
华中科技大学出版社 2003
(0) 馆藏 -
中文图书16.分布式操作系统 TP316.4/2193
馆藏复本:5
可借复本:4 何炎祥
高等教育出版社 2005
(0) 馆藏