分面检索

资源类型

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

图书馆

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

馆藏地点

1. 余区图书保存本库 (12)
2. 余区博硕论文库 (4)
3. 西院西文图书保存本库 (4)
4. 余区外文图书借阅区 (3)
5. 南湖外文图书借阅区 (2)
6. 南湖图书借阅区 (1)
7. 南湖保存本图书借阅区 (1)
8. 余区中文图书借阅区 (1)
9. 西院中文图书借阅区 (1)
10. 西院博硕论文库 (1)
11. 信息工程学院资料室(鉴湖) (1)
12. 显示更多..

主题

1. computer software (9)
2. system design (6)
3. eclipse (2)
4. embedded (2)
5. programming (electronic computers) (2)
6. software engineering (2)
7. 嵌入式 (2)
8. 程序设计 (2)
9. application software (1)
10. artificial intelligence (1)
11. asm86 (computer program language) (1)
12. assembling (electronic computers) (1)
13. b method (computer science) (1)
14. computer programs (1)
15. computer science (1)
16. computer systems (1)
17. database (1)
18. debug tools (1)
19. development tool (1)
20. formal methods (computer science) (1)
21. 显示更多..

著者

1. ieee computer society (2)
2. (美) tom arnold, dominic hopton等著 (1)
3. (美) 埃里克·伽玛 ... [等] 著 (1)
4. abrial, jean-raymond (1)
5. acm sigsoft (1)
6. association for computing machinery (1)
7. beatty, joy (1)
8. conference on software development tools, techniques, and alternatives (1)
9. constantine, larry l (1)
10. erich gamma (1)
11. etaps 2001 (1)
12. etaps 2003 (1)
13. etaps 2005 (1)
14. etaps 2006 (1)
15. etaps 2007 (1)
16. fairley, r. e (1)
17. garavel, hubert, (1)
18. grumberg, orna (1)
19. halbwachs, nicolas (1)
20. hatcliff, john, (1)
21. 显示更多..

出版日期

1. 2008 (1)
2. 2024 (1)
3. 显示更多..

文献类型

1. 图书（纸本） (18)
2. 学位论文 (5)
3. 显示更多..

语言种类

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

在馆

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