-
中文图书1.高级语言程序变换的机械化证明导论 TP311.1/H936
馆藏复本:4
可借复本:4 何炎祥, 江南著
科学出版社 2022.09
(0) 馆藏 -
中文图书2.编译原理及其习题解答 TP314/H936
馆藏复本:5
可借复本:5 何炎祥等编著
武汉大学出版社 2004
(0) 馆藏 -
中文图书3.面向片上缓存子系统的功耗优化方法 TP368.5/H936
馆藏复本:3
可借复本:3 何炎祥, 沈凡凡著
科学出版社 2018
(0) 馆藏 -
中文图书4.操作系统原理学习指导与题解 TP316/H936-2
馆藏复本:10
可借复本:10 主编何炎祥
华中科技大学出版社 2003
(0) 馆藏 -
中文图书5.高级操作系统 TP316.4/H936
馆藏复本:2
可借复本:1 何炎祥等编著
科学出版社 1999.4
(0) 馆藏 -
中文图书6.操作系统原理:学习与解题指南 TP316/H936
馆藏复本:5
可借复本:0 何炎祥主编
华中理工大学出版社 2001.1
(0) 馆藏