已经限定的分面

图书馆:

1. 上海海事大学图书馆 x

馆藏地点:

图书馆

1. 中心馆
2. [上海海事大学图书馆]
3. 显示更多..

馆藏地点

1. A609计算机、运输工程类阅览室 (3)
2. A732研究型图书馆二 (3)
3. A501语言类阅览室 (1)
4. A105新馆大书库 (1)
5. 显示更多..

主题

1. access control (1)
2. approximation theory (1)
3. computational complexity (1)
4. computer viruses (1)
5. computers (1)
6. data processing (1)
7. mathematical optization (1)
8. 程序设计 (1)
9. 自动检测系统 (1)
10. 计算机科学 (1)
11. 显示更多..

著者

1. (美) edmund m. clarke, jr., orna grumberg, doron a. peled著 (1)
2. (美) 哈罗德·阿贝尔森, 杰拉尔德·杰伊·萨斯曼, 朱莉·萨斯曼著 (1)
3. (美) 彼得 j. 丹宁, (美) 克雷格 h. 马特尔著 (1)
4. association for computing machinery (1)
5. denning, peter j (1)
6. harold abelson, gerald jay sussman, julie sussman (1)
7. j. f. traub and h. wozniakowski (1)
8. peter j. denning, craig h. martell (1)
9. peter j.denning (1)
10. traub, j. f (1)
11. wozniakowski, h (1)
12. 丹宁 (1)
13. 何安平 (1)
14. 佩莱德 (1)
15. 克拉克 (1)
16. 吴尽昭 (1)
17. 吴尽昭, 何安平, 高新岩译 (1)
18. 张伟 (1)
19. 格伦贝格 (1)
20. 罗英伟 (1)
21. 显示更多..

出版日期

1. 1980 (1)
2. 1983 (1)
3. 1985 (1)
4. 1990 (1)
5. 2017 (1)
6. 2018 (1)
7. 2019 (1)
8. 显示更多..

文献类型

1. 图书 (7)
2. 期刊 (1)
3. 显示更多..

语言种类

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

新到时间

1. 过去7天 (0)
2. 过去30天 (0)
3. 过去60天 (0)
4. 过去90天 (0)
5. 过去180天 (0)
6. 超过180天 (8)
7. 显示更多..

在馆

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