文献类型

1. 图书（纸本） (3)
2. 图书（电子） (1)
3. 显示更多..

主题

1. 数据结构 (2)
2. 算法分析 (2)
3. graphic design (typography) (1)
4. lambda calculus (1)
5. magazine design (1)
6. 显示更多..

著者

1. 肖鉴明译 (2)
2. (意) 马塞洛·拉·罗卡著 (1)
3. (意)马塞洛·拉·罗卡著 (1)
4. ehmann, sven (1)
5. franchi, francesco (1)
6. international conference on typed lambda calculi and applications (1)
7. klanten, robert (1)
8. rocca, christian (1)
9. rocca, della (1)
10. ronchi, simona (1)
11. 罗卡 (1)
12. 罗卡, (1)
13. 肖鉴明 (1)
14. 肖鉴明, (1)
15. 显示更多..

出版日期

1. 2023 (2)
2. 显示更多..

馆藏地点

1. 南湖图书借阅区 (1)
2. 南湖外文图书借阅区 (1)
3. 余区中文图书借阅区 (1)
4. 余区图书保存本库 (1)
5. 中文电子书馆藏地点1 (1)
6. 显示更多..

图书馆

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

语言种类

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

在馆

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

分面检索

资源类型

1. 纸质资源 不在馆 (4)
2. 显示更多..