| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
| 标题: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
检索词:
Formalism
,
检索到: 420 条结果,
检索时间: 0.071 秒
,
排序选项:
排序方式:
隐藏分类导航
- formal methods (computer science) (64)
- formal languages (55)
- 研究 (38)
- machine theory (31)
- computer software (19)
- logic, symbolic and mathematical (15)
- software engineering (15)
- electronic data processing (14)
- 形式逻辑 (12)
- computational complexity (10)
- object-oriented programming (computer science) (10)
- quantum theory (9)
- system design (9)
- artificial intelligence (8)
- computer programming (8)
- computer network protocols (7)
- computer simulation (7)
- computer systems (7)
- 应用 (7)
- information theory (6)
主题
- 余区图书保存本库 (148)
- 南湖外文图书借阅区 (80)
- 南湖图书借阅区 (62)
- 西院西文图书保存本库 (57)
- 西院博硕论文库 (50)
- 余区中文图书借阅区 (49)
- 余区外文图书借阅区 (35)
- 西院中文图书借阅区 (26)
- 南湖保存本图书借阅区 (23)
- 东院中文图书借阅区 (20)
- 余区博硕论文库 (16)
- 西院三线书库 (8)
- 中文电子书馆藏地点1 (6)
- 理学院资料室(南湖) (4)
- 信息工程学院资料室(鉴湖) (3)
- 艺术与设计学院资料室（南湖） (3)
- 余区过刊库 (2)
- 东院外文过刊库 (2)
- 管理学院资料室(（南湖) (2)
- 法学与人文社会学分馆(东院) (2)
馆藏地点
| 1. |
封面仅供参考
|
|
|
| 2. |
封面仅供参考
|
|
|
| 3. |
封面仅供参考
|
|
|
| 4. |
封面仅供参考
|
|
|
| 5. |
封面仅供参考
|
|
|
| 6. |
封面仅供参考
|
|
|
| 7. |
封面仅供参考
|
|
|
| 8. |
封面仅供参考
|
|
|
| 9. |
封面仅供参考
|
|
|
| 10. |
封面仅供参考
|
|
