有 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 | |
|
|
|
|
|
|
博客來