分面检索

资源类型

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

图书馆

1. 武汉理工大学图书馆 (107)
2. 计算机学院(余区) (1)
3. 理学院 (3)
4. 汽车工程学院 (2)
5. 显示更多..

馆藏地点

1. 南湖外文图书借阅区 (44)
2. 余区图书保存本库 (37)
3. 余区外文图书借阅区 (36)
4. 西院西文图书保存本库 (34)
5. 西院博硕论文库 (7)
6. 理学院资料室(南湖) (3)
7. 余区博硕论文库 (2)
8. 汽车工程学院资料室(东院) (2)
9. 南湖图书借阅区 (1)
10. 计算机学院（余区） (1)
11. 显示更多..

主题

1. computable functions (24)
2. functional programming (computer science) (17)
3. computational complexity (10)
4. functional programming languages (8)
5. computer programming (7)
6. machine theory (7)
7. algorithms (6)
8. computer science (6)
9. computer software (5)
10. python (computer program language) (5)
11. logic programming (4)
12. r (computer program language) (4)
13. recursive functions (4)
14. computer algorithms (3)
15. computer architecture (3)
16. computer networks (3)
17. computer security (3)
18. internet (3)
19. javascript (computer program language) (3)
20. agile software development (2)
21. 显示更多..

著者

1. cooper, s. b (3)
2. symposium on mathematical foundations of computer science (1972- ) (3)
3. cai, jin-yi, (2)
4. cashman, thomas j (2)
5. conference on computability in europe (2)
6. henderson, peter, (2)
7. hughes, john, (2)
8. martin, robert c (2)
9. shelly, gary b (2)
10. soare, r. i (2)
11. vermaat, misty (2)
12. abelson, harold (1)
13. acm special interest group for automata and computability theory (1)
14. acm symposium on theory of computing (1)
15. afp 2002 (1)
16. afp 2004 (1)
17. alsop, sian (1)
18. american mathematical society (1)
19. arbib, michael a (1)
20. association for symbolic logic, (1)
21. 显示更多..

出版日期

1. 显示更多..

文献类型

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

语言种类

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

在馆

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