已经限定的分面

图书馆:

1. 湖工大 x

馆藏地点:

文献类型

1. 图书 (3)
2. 显示更多..

主题

1. 自动检测系统 (2)
2. 软件可靠性 (1)
3. 显示更多..

著者

1. 克拉克 (2)
2. (以) doron a. peled著 (1)
3. (美)edmund m. clarke, jr.，(美)orna grumberg，(美)doron a. peled著 (1)
4. (美)edmund m.clarke jr.，(美)orna grumberg，(美)doron a.peled著 (1)
5. doron a (1)
6. grumberg (1)
7. orna (1)
8. peled (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)
21. 显示更多..

出版日期

1. 2012 (1)
2. 2016 (1)
3. 2018 (1)
4. 显示更多..

馆藏地点

1. 主馆五楼南库（自科） (3)
2. 河东分馆综合二库 (1)
3. 显示更多..

图书馆

1. [湖工大]
2. 中心馆
3. 院系分馆
4. 显示更多..

语言种类

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

在馆

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