| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
| 标题: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
检索词:
Hoare
,
检索到: 25 条结果,
检索时间: 0.516 秒
,
排序选项:
排序方式:
隐藏分类导航
- 法学院资料室(不外借) (2)
- A732研究型图书馆二 (1)
馆藏地点
- computer science (11)
- software engineering (7)
- logic design (6)
- logics and meanings of programs (6)
- mathematical logic and formal languages (5)
- great britain (4)
- programming languages, compilers, interpreters (4)
- computer software (3)
- mortgages (3)
- programming techniques (3)
- adulthood (2)
- algebra (2)
- artificial intelligence (2)
- artificial intelligence (incl. robotics) (2)
- computer security (2)
- history of computing (2)
- korea (2)
- operating systems (2)
- operating systems (computers) (2)
- symbolic and algebraic manipulation (2)
主题
| 1. |
|
|
|
| 2. |
|
|
|
| 3. |
|
|
|
| 4. |
|
|
|
| 5. |
|
|
|
| 6. |
|
|
|
| 7. |
|
|
|
| 8. |
|
|
|
| 9. |
|
|
|
| 10. |
|
|
