分面检索

资源类型

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

图书馆

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

馆藏地点

1. 余区图书保存本库 (51)
2. 西院西文图书保存本库 (11)
3. 余区外文图书借阅区 (10)
4. 南湖外文图书借阅区 (9)
5. 理学院资料室(南湖) (2)
6. 显示更多..

主题

1. computer software (13)
2. computer programming (7)
3. data transmission systems (7)
4. programming languages (electronic computers) (7)
5. system analysis (7)
6. computers (6)
7. cryptography (6)
8. system design (6)
9. computer-aided design (5)
10. computer-aided engineering (5)
11. control theory (5)
12. bioinformatics (3)
13. computational biology (3)
14. computational intelligence (3)
15. machine theory (3)
16. neural networks (computer science) (3)
17. nonlinear theories (3)
18. quantum theory (3)
19. speech processing systems (3)
20. artificial intelligence (2)
21. 显示更多..

著者

1. european symposium on programming (6)
2. etaps 2003 (3)
3. etaps 2006 (3)
4. etaps 2007 (3)
5. international workshop on computer aided systems theory (3)
6. pichler, franz, (3)
7. deutsche forschungsgemeinschaft (2)
8. etaps 2005 (2)
9. fandel, g (2)
10. international association for cryptologic research (2)
11. international conference on multiple criteria decision making (2)
12. international joint conference on theory and practice of software development (2)
13. moreno-diaz, roberto (2)
14. moreno-díaz, roberto (2)
15. summer school on reasoning web (2)
16. aceto, luca (1)
17. akademiia nauk sssr (1)
18. alinhac, s (1)
19. anna ingolfsdottir (1)
20. antoniou, g (1)
21. 显示更多..

出版日期

1. 显示更多..

文献类型

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

语言种类

1. 显示更多..

在馆

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