熱門搜尋
| 分類(單選) |
顯示所有篩選
|
|---|---|
| 配送方式(可複選) | |
| 其他(可複選) |
搜尋結果共 1 筆, 頁數 1 / 1
- 列表
- 小圖
呈現:
|
Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
The refereed post-proceedings of the International Workshop of the Types Working Group are presented... more |
搜尋推薦
另外從您輸入的關鍵字中，推薦您關鍵字: thorsten edt 的結果(請點選看全部符合的商品)
-
-
Inception and Philosophy: Ideas to Die For
優惠價: 1328 元 -
-
-
Mind Matters in SLA
優惠價: 3597 元 -
Mind Matters in Sla
優惠價: 9597 元
