已经限定的分面

图书馆:

1. x

馆藏地点:

图书馆

1. 青岛科技大学图书馆
2. 青岛科技大学图书馆
3. 显示更多..

馆藏地点

1. 崂山图书阅览室 (2)
2. 崂山综合书库 (2)
3. 高密样本书库 (2)
4. 高密综合书库 (2)
5. 四方综合书库 (2)
6. 高密密集书库 (1)
7. 高密密集书库（大数据） (1)
8. 显示更多..

主题

1. 自动检测系统 (2)
2. 显示更多..

著者

1. (美) edmund m. clarke, jr., orna grumberg, doron a. peled著 (1)
2. (美)edmund m.clarke jr.，(美)orna grumberg，(美)doron a.peled著 (1)
3. 何安平 (1)
4. 佩莱德 (1)
5. 克拉克 (1)
6. 吴尽昭 (1)
7. 吴尽昭, 何安平, 高新岩译 (1)
8. 格伦贝格 (1)
9. 高新岩 (1)
10. 显示更多..

出版日期

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

文献类型

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

语言种类

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

在馆

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