首页 所有分类 书籍/杂志/报纸 科学技术类原版书
Types 9781484292587 Encoding 4周达 Idris Introduction Proofs with Program Dependent
Types 9781484292587 Encoding 4周达 Idris Introduction Proofs with Program Dependent
所 在 地：江苏 苏州 累计销量：0 件
店铺掌柜：  澜瑞图书专营店 
商品标签：DependentIdrisTypesProgramProofswithIntroduction4周达Encoding9781484292587
￥383 ￥383
立即购买
相关推荐
图书籍 科普读物 常见昆虫野外识别手册 新华书店正版 技术类原版 书专业科技 自然科学 编 大城小虫工作室 长江三角洲卷

图书籍 科普读物 常见昆虫野外识别手册 新华书店正版 技术类原版 书专业科技 自然科学 编 大城小虫工作室 长江三角洲卷

折后价 ￥ 45.64
已售 0
Meyer 刘忆 包豪斯实验住宅 Adolf 阿道夫·梅耶 技术类原版 号角屋 自然科学 科普读物 书专业科技 美 译 著

Meyer 刘忆 包豪斯实验住宅 Adolf 阿道夫·梅耶 技术类原版 号角屋 自然科学 科普读物 书专业科技 美 译 著

折后价 ￥ 18.99
已售 0
正版 全译白话文解读 涉及中国古代自然科学工艺技术科技百科全书国学经典 沈括原著古典文学文白对照版 科普类书籍 梦溪笔谈原版

正版 全译白话文解读 涉及中国古代自然科学工艺技术科技百科全书国学经典 沈括原著古典文学文白对照版 科普类书籍 梦溪笔谈原版

折后价 ￥ 18.8
已售 0
译 自然科学 英国DK出版 编 编著 图书籍 DK草药大百科 新华书店正版 书生活 北京科学技术出版 社 技术类原版 科普读物

译 自然科学 英国DK出版 编 编著 图书籍 DK草药大百科 新华书店正版 书生活 北京科学技术出版 社 技术类原版 科普读物

折后价 ￥ 150.7
已售 0
四大产品逻辑 上瘾 进口科学技术类书籍正版 互联网产品交互设计 英文版 上瘾模型 让用户养成使用习惯 Hooked 英文原版

四大产品逻辑 上瘾 进口科学技术类书籍正版 互联网产品交互设计 英文版 上瘾模型 让用户养成使用习惯 Hooked 英文原版

折后价 ￥ 98
已售 0
图书籍 比尔·卡尔 科普读物 泛图书公司 BACKWARDS WORKING 书外版 技术类原版 科林·布莱尔 新华书店正版 自然科学 书 著

图书籍 比尔·卡尔 科普读物 泛图书公司 BACKWARDS WORKING 书外版 技术类原版 科林·布莱尔 新华书店正版 自然科学 书 著

折后价 ￥ 44.9
已售 0
Meyer 刘忆 包豪斯实验住宅 Adolf 阿道夫·梅耶 技术类原版 号角屋 自然科学 科普读物 书专业科技 美 译 著

Meyer 刘忆 包豪斯实验住宅 Adolf 阿道夫·梅耶 技术类原版 号角屋 自然科学 科普读物 书专业科技 美 译 著

折后价 ￥ 27.04
已售 0
科学技术类原版 著 华 电介质陶瓷 从基础到应用 图书籍 林元 社 新华书店正版 书生活 清华大学出版

科学技术类原版 著 华 电介质陶瓷 从基础到应用 图书籍 林元 社 新华书店正版 书生活 清华大学出版

折后价 ￥ 81.94
已售 0
辽宁科学技术出版 EasyNight 科普读物 社 英 宇宙传记 书专业科技 保罗·穆丁 技术类原版 著 图书籍 自然科学 新华书店正版 译

辽宁科学技术出版 EasyNight 科普读物 社 英 宇宙传记 书专业科技 保罗·穆丁 技术类原版 著 图书籍 自然科学 新华书店正版 译

折后价 ￥ 46.8
已售 0
技术类原版 自然科学 科普读物 科普管理 邱成利 图书籍 著 社 新华书店正版 书生活 重庆大学出版

技术类原版 自然科学 科普读物 科普管理 邱成利 图书籍 著 社 新华书店正版 书生活 重庆大学出版

折后价 ￥ 36.84
已售 0
Meyer 刘忆 包豪斯实验住宅 Adolf 阿道夫·梅耶 技术类原版 号角屋 自然科学 科普读物 书专业科技 美 译 著

Meyer 刘忆 包豪斯实验住宅 Adolf 阿道夫·梅耶 技术类原版 号角屋 自然科学 科普读物 书专业科技 美 译 著

折后价 ￥ 19.29
已售 0
图书籍 科普读物 常见昆虫野外识别手册 新华书店正版 技术类原版 书专业科技 自然科学 编 大城小虫工作室 长江三角洲卷

图书籍 科普读物 常见昆虫野外识别手册 新华书店正版 技术类原版 书专业科技 自然科学 编 大城小虫工作室 长江三角洲卷

折后价 ￥ 32.61
已售 0
译 自然科学 英国DK出版 编 编著 图书籍 DK草药大百科 新华书店正版 书生活 北京科学技术出版 社 技术类原版 科普读物

译 自然科学 英国DK出版 编 编著 图书籍 DK草药大百科 新华书店正版 书生活 北京科学技术出版 社 技术类原版 科普读物

折后价 ￥ 129.56
已售 0
图书籍 科普读物 常见昆虫野外识别手册 新华书店正版 技术类原版 书专业科技 自然科学 编 大城小虫工作室 长江三角洲卷

图书籍 科普读物 常见昆虫野外识别手册 新华书店正版 技术类原版 书专业科技 自然科学 编 大城小虫工作室 长江三角洲卷

折后价 ￥ 32.44
已售 0
技术类原版 自然科学 科普读物 科普管理 邱成利 图书籍 著 社 新华书店正版 书生活 重庆大学出版

技术类原版 自然科学 科普读物 科普管理 邱成利 图书籍 著 社 新华书店正版 书生活 重庆大学出版

折后价 ￥ 37.41
已售 0