分面检索

资源类型

1. 纸质资源 (5)
2. 显示更多..

图书馆

1. 武汉理工大学图书馆 (5)
2. 信息工程学院 (1)
3. 显示更多..

馆藏地点

1. 南湖保存本图书借阅区 (4)
2. 余区图书保存本库 (3)
3. 西院中文图书借阅区 (2)
4. 南湖图书借阅区 (1)
5. 东院中文图书借阅区 (1)
6. 西院三线书库 (1)
7. 信息工程学院资料室(鉴湖) (1)
8. 显示更多..

主题

1. 分析 (1)
2. 基础知识 (1)
3. 形式语义 (1)
4. 电子计算机 (1)
5. 程序语言 (1)
6. 程序验证 (1)
7. 计算机科学 (1)
8. 香料 (1)
9. 高等学校 (1)
10. 显示更多..

著者

1. 宋国新 (3)
2. 史济民 (2)
3. 徐安东 (2)
4. (美) 伯~格著 (1)
5. g (1)
6. glynn winskel著 (1)
7. h.k (1)
8. 伯格, (1)
9. 余应新 (1)
10. 史令 (1)
11. 史济民等编著 (1)
12. 宋国新 ... [等] 编著 (1)
13. 宋国新 ... [等] 译 (1)
14. 宋国新, (1)
15. 宋国新等译 (1)
16. 徐安东等编著 (1)
17. 温斯克尔, (1)
18. 潭浩强 (1)
19. 王林祥 (1)
20. 显示更多..

出版日期

1. 1988 (1)
2. 1998 (1)
3. 2000 (1)
4. 2004 (1)
5. 2008 (1)
6. 显示更多..

文献类型

1. 图书（纸本） (5)
2. 显示更多..

语言种类

1. 汉语 (5)
2. 显示更多..

在馆

1. 在馆 (5)
2. 显示更多..