熱門搜尋
| 分類(單選) |
顯示所有篩選
|
|---|---|
| 配送方式(可複選) | |
| 其他(可複選) |
搜尋結果共 3 筆, 頁數 1 / 1
- 列表
- 小圖
呈現:
|
Adapting Proofs-As-Programs: The Curry-Howard Protocol
This monograph details several important advances in the direction of a practical proofs-as-programs... more |
||
|
Component-Based Software Engineering: 12th International Symposium, Cbse 2009 East Stroudsburg, Pa, Usa, June 24-26, 2009 Proceedings
The 2009 Symposium on Component-Based Software Engineering (CBSE 2009) was the 12thin a series ofsuc... more |
||
|
Reynold’’s 1, 2, 3: Simple Tricks, Skill Builders and Showstoppers for the Home Baker
|
