分面检索

资源类型

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

图书馆

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

馆藏地点

1. 余区图书保存本库 (12)
2. 西院西文图书保存本库 (9)
3. 南湖保存本图书借阅区 (1)
4. 显示更多..

主题

1. computer science (6)
2. machine theory (5)
3. computable functions (3)
4. computer programming (3)
5. algorithms (2)
6. electronic digital computers (2)
7. formal languages (2)
8. 中国 (2)
9. 现代 (2)
10. computational complexity (1)
11. computer aided design (1)
12. computer algorithms (1)
13. crystals (1)
14. data base management (1)
15. electric engineering (1)
16. electronic circuits (1)
17. electronics (1)
18. parallel processing (electronic computers) (1)
19. programming languages (electronic computers) (1)
20. semiconductors (1)
21. 显示更多..

著者

1. symposium on mathematical foundations of computer science (1972- ) (9)
2. gruska, jozef (2)
3. (苏)а.и米高扬著 (1)
4. 1972 (1)
5. 1972 ieee vehicular technology 23rd annual conference (1)
6. be閏v鈇閞, j., (1)
7. chytil, michal (1)
8. computer aided design (1)
9. diks, krzysztof, (1)
10. fiala, jirí (1)
11. institute of electrical and electronics engineers (1)
12. institute of physics (great britain) (1)
13. international union of pure and applied physics (1)
14. kolman, peter, (1)
15. koubek, václav (1)
16. kratochvíl, jan (1)
17. ku?era, a (1)
18. ku?era, luděk (1)
19. lloyd, p. r (1)
20. ochman?ski, edward (1)
21. 显示更多..

出版日期

1. 1972 (1)
2. 1974 (1)
3. 1975 (1)
4. 1982 (1)
5. 显示更多..

文献类型

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

语言种类

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

在馆

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