分面检索

资源类型

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

图书馆

1. 武汉理工大学图书馆 (23)
2. 材料学院 (1)
3. 机电工程学院 (2)
4. 显示更多..

馆藏地点

1. 南湖图书借阅区 (10)
2. 余区中文图书借阅区 (6)
3. 余区图书保存本库 (6)
4. 南湖外文图书借阅区 (3)
5. 南湖保存本图书借阅区 (2)
6. 东院中文图书借阅区 (2)
7. 西院中文图书借阅区 (2)
8. 西院西文图书保存本库 (2)
9. 机电工程学院资料室(东院) (2)
10. 南湖特藏阅览室 (1)
11. 材料学院资料室(西院) (1)
12. 显示更多..

主题

1. 研究 (5)
2. computer programs (2)
3. crystallography (2)
4. 世界 (2)
5. 以色列 (2)
6. 商业信息 (2)
7. 帝国 (2)
8. 应用 (2)
9. 政治制度 (2)
10. boundary value problems (1)
11. business|xdata processing (1)
12. cellular telephone systems (1)
13. code division multiple access (1)
14. computer algorithms (1)
15. computer graphics (1)
16. computer input-output equipment (1)
17. computer networks (1)
18. computer software (1)
19. computer systems (1)
20. computer vision (1)
21. 显示更多..

著者

1. 艾森施塔特 (4)
2. (美) 盖丽特·徐茉莉 ... [等] 著 (2)
3. bin, eyal (2)
4. international haifa verification conference (2)
5. peleg, shmuel (2)
6. shmueli, u (2)
7. ur, shmuel (2)
8. 布鲁斯 (2)
9. 张旅平 (2)
10. 徐茉莉 (2)
11. 沈原 (2)
12. 沈原, 张旅平译 (2)
13. (以) s. n. 艾森斯塔特著 (1)
14. (以) s.n. 艾森斯塔德著 (1)
15. (以) 伊斯雷尔·德罗里, 塞缪尔·埃利斯, 祖尔·夏皮拉著 (1)
16. (以) 施穆埃尔·约瑟夫·阿格农著 (1)
17. (以) 迈克尔·马希勒, 埃隆·索兰, 什穆埃尔·扎米尔著 (1)
18. (以色列) s.n. 艾森斯塔德著 (1)
19. (尼日利) 什穆埃尔·奥卢瓦著 (1)
20. (美) 本·福达, 什穆尔·福达著 (1)
21. 显示更多..

出版日期

1. 2021 (3)
2. 2017 (2)
3. 2018 (2)
4. 2006 (1)
5. 2008 (1)
6. 2009 (1)
7. 2019 (1)
8. 2022 (1)
9. 2023 (1)
10. 显示更多..

文献类型

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

语言种类

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

在馆

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