有 1 項符合
Types for Proofs and Programs: International Workshop Types ’93, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers
的圖書
|
|
| Types for Proofs and Programs: International Workshop Types ’93, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers
作者:編者:Barendregt
出版社:Springer
出版日期:1994-05-20
語言:英文 規格:平裝 / 395頁 / 23.39 x 15.6 x 2.13 cm / 普通級/ 初版
|
圖書介紹 - 資料來源:博客來 目前評分: 評分:
圖書名稱:Types for Proofs and Programs: International Workshop Types ’93, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers
詳細資料
- ISBN:9783540580850
- 規格:平裝 / 395頁 / 23.39 x 15.6 x 2.13 cm / 普通級 / 初版
- 出版地:美國
|
|
|
|
|
| 作者:十三春 出版社:東佑文化事業有限公司 出版日期:2014-02-26 66折: $ 165 | | 作者:傑克・倫敦 出版社:本事出版 出版日期:2026-04-15 66折: $ 574 | | 66折: $ 1782 | | 作者:夜纖雪 出版社:東佑文化事業有限公司 出版日期:2019-02-26 66折: $ 165 | |
|
|
| 作者:餅乾 出版社:台灣角川股份有限公司 出版日期:2026-06-25 $ 699 | | 作者:丹.布朗 出版社:時報文化出版企業股份有限公司 出版日期:2026-03-31 $ 537 | | 作者:楊定一 出版社:天下生活出版股份有限公司 出版日期:2026-05-05 $ 466 | | 作者:兒島青 出版社:台灣角川股份有限公司 出版日期:2025-11-27 $ 221 | |
|
|
| 作者:芝田優作 出版社:青文出版社股份有限公司 出版日期:2026-05-06 $ 94 | | 作者:Sunsun 出版社:威向有限公司 出版日期:2026-05-06 $ 331 | | 作者:LINE FRIENDS 出版社:尖端出版 出版日期:2026-05-05 $ 245 | | 作者:年終 出版社:深空出版 出版日期:2026-05-06 $ 340 | |
|
|
|
|
|
|