分面检索

资源类型

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

图书馆

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

馆藏地点

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

主题

1. 电子计算机 (1)
2. 研究 (1)
3. 算法理论 (1)
4. 自动检测系统 (1)
5. 马尔柯夫链 (1)
6. 显示更多..

著者

1. 吴尽昭 (3)
2. 王永祥 (2)
3. (美) edmund m. clarke, jr., orna grumberg, doron a. peled著 (1)
4. 何安平 (1)
5. 佩莱德 (1)
6. 克拉克 (1)
7. 吴尽昭, 何安平, 高新岩译 (1)
8. 吴尽昭, 王永祥, 覃广平著 (1)
9. 格伦贝格 (1)
10. 王永祥, 吴尽昭, 蒋建民著 (1)
11. 蒋建民 (1)
12. 覃广平 (1)
13. 高新岩 (1)
14. 显示更多..

出版日期

1. 2007 (2)
2. 2018 (1)
3. 显示更多..

文献类型

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

语言种类

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

在馆

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