分面检索

图书馆

1. 福建省图书馆 (6)
2. 显示更多..

主题

1. 自动检测系统 (6)
2. 技术测量 (2)
3. 图象识别 (1)
4. 射线检验 (1)
5. 工业 (1)
6. 技术 (1)
7. 抗干扰 (1)
8. 焊缝 (1)
9. 研究 (1)
10. 系统设计 (1)
11. 质量检验 (1)
12. 钴60 (1)
13. 集装箱运输 (1)
14. 高等学校 (1)
15. 显示更多..

著者

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

出版日期

1. 2006 (2)
2. 2003 (1)
3. 2005 (1)
4. 2018 (1)
5. 2021 (1)
6. 显示更多..

文献类型

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

语言种类

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

在馆

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