-
法国简史(精)
¥24.18定价:¥48.00 (5.04折)
明星店铺
博库网旗舰店
(美)玛丽·普拉特·帕米利|责编:徐艳君|译者:刘守旭... /2020-04-01 /北京理工大学
-
德国简史
¥22.67定价:¥45.00 (5.04折)
明星店铺
博库网旗舰店
(美)玛丽·普拉特·帕米利|责编:李慧智|译者:刘小君... /2020-08-01 /北京理工大学
-
设计的议程—成功设计管理指南 (英)库珀,(英)普赖斯 著,刘吉昆,汪晓春 译 北京理工大学出版社【正版】 正版图书,下单前请先咨询客服,欢迎选购!
编辑推荐
¥60.96定价:¥133.92 (4.56折)
墨语图书专营店
(英)库珀,(英)普赖斯 著,刘吉昆,汪晓春 译 /2012-01-01 /北京理工大学出版社
-
现代农业LED智慧照明技术(Light Emitting Diodes for Agriculture: Smart L
¥56.23定价:¥98.00 (5.74折)
明星店铺
博库网旗舰店
编者:(印)S.杜塔·古普塔|责编:刘派|总主编:邓玉林|译者:... /2023-11-01 /北京理工大学
-
漫画学Java:快速提高
¥62.51定价:¥89.00 (7.03折)
明星店铺
博库网旗舰店
(德)菲利普·阿克曼著 译者: 刘玲玉,刘婧姣译 /2023-09-01 /北京理工大学
-
漫画学Java:完美实践 团购优惠,咨询在线客服
¥62.51定价:¥89.00 (7.03折)
明星店铺
博库网旗舰店
(德)菲利普·阿克曼著 译者: 刘玲玉,刘婧姣译 /2023-09-01 /北京理工大学
-
德国简史(精)
¥22.05定价:¥45.00 (4.9折)
浙江出版集团图书专营店
(美)玛丽·普拉特·帕米利|责编:李慧智|译者:刘小君 /2020-08-01 /北京理工大学
-
法国简史(精)
¥23.52定价:¥48.00 (4.9折)
浙江出版集团图书专营店
(美)玛丽·普拉特·帕米利|责编:徐艳君|译者:刘守旭 /2020-04-01 /北京理工大学
-
设计的议程—成功设计管理指南【售后无忧】 「本店部分图书为稀缺古旧书籍,您下单之前可与在线客服联系」
编辑推荐
¥52.10定价:¥116.00 (4.5折)
烟雨江南图书专营店
(英)库珀,(英)普赖斯 著,刘吉昆,汪晓春 译 /2012-01-01 /北京理工大学出版社
-
设计的议程—成功设计管理指南 (英)库珀,(英)普赖斯 著,刘吉昆,汪晓春 译 北京理工大学出版社【正版】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
¥44.00定价:¥101.37 (4.35折)
墨雨图书专营店
(英)库珀,(英)普赖斯 著,刘吉昆,汪晓春 译 /2012-01-01 /北京理工大学出版社
-
设计的议程—成功设计管理指南 (英)库珀,(英)普赖斯 著,刘吉昆,汪晓春 译 北京理工大学出版社【正版】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
¥45.00定价:¥145.37 (3.1折)
硕享图书专营店
(英)库珀,(英)普赖斯 著,刘吉昆,汪晓春 译 /2012-01-01 /北京理工大学出版社
-
现代农业LED智慧照明技术(LightEmittingDiodesforAgriculture:SmartLightin 全新正版书籍 正规电子发票 多仓就近发货
¥57.00定价:¥98.00 (5.82折)
辽宁出版集团图书专营店
编者:(印)S.杜塔·古普塔|责编:刘派|总主编:邓玉林|译者:郭双生//唐 /2023-11-01 /北京理工大学
-
设计的议程—成功设计管理指南
编辑推荐
¥144.99定价:¥291.00 (4.99折)
博雅图书专营店
2012-01-01 /北京理工大学出版社
-
设计的议程—成功设计管理指南 (英)库珀,(英)普赖斯 著,刘吉昆,汪晓春 译 北京理工大学出版社【正版书】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
¥45.00定价:¥149.37 (3.02折)
至极科技图书专营店
(英)库珀,(英)普赖斯 著,刘吉昆,汪晓春 译 /2012-01-01 /北京理工大学出版社
-
现代农业LED智慧照明技术(Light Emitting Diodes for Agriculture: Smart L
¥54.88定价:¥98.00 (5.6折)
土星图书专营店
编者:(印)S.杜塔·古普塔|责编:刘派|总主编:邓玉林|译者:... /2023-11-01 /北京理工大学
-
设计的议程—成功设计管理指南 (英)库珀,(英)普赖斯 著,刘吉昆,汪晓春 译 北京理工大学出版社【正版书】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
¥45.00定价:¥123.37 (3.65折)
鑫泓睿源图书专营店
(英)库珀,(英)普赖斯 著,刘吉昆,汪晓春 译 /2012-01-01 /北京理工大学出版社
-
设计的议程—成功设计管理指南 【正品保证,进入店铺更多优惠!】
编辑推荐
¥53.19定价:¥124.40 (4.28折)
曼新图书专营店
(英)库珀,(英)普赖斯 著,刘吉昆,汪晓春 译 /2012-01-01 /北京理工大学出版社
-
设计的议程—成功设计管理指南 正版现货,可开发票
编辑推荐
¥59.34定价:¥119.68 (4.96折)
静读图书专营店
(英)库珀,(英)普赖斯 著,刘吉昆,汪晓春 译 /2012-01-01 /北京理工大学出版社
-
现代农业LED智慧照明技术(Light Emitting Diodes for Agriculture: Smart L
¥54.91定价:¥98.00 (5.61折)
明星店铺
木垛图书旗舰店
编者:(印)S.杜塔·古普塔|责编:刘派|总主编:邓玉林|译者:... /2023-11-01 /北京理工大学
-
现代农业LED智慧照明技术(Light Emitting Diodes for Agriculture: Smart L
¥55.69定价:¥98.00 (5.69折)
火把图书专营店
编者:(印)S.杜塔·古普塔|责编:刘派|总主编:邓玉林|译者:... /2023-11-01 /北京理工大学
-
设计的议程—成功设计管理指南 (英)库珀 (英)普赖斯 刘吉昆 汪晓春 译 北京理工大学出版社【.正版】 【速开发票,优质售后,支持7天无理由退换】
编辑推荐
¥81.86定价:¥174.01 (4.71折)
飞扬图书专营店
(英)库珀,(英)普赖斯 著,刘吉昆,汪晓春 译 /2012-01-01 /北京理工大学出版社
-
设计的议程—成功设计管理指南 正版现货,可开发票
编辑推荐
¥63.01定价:¥127.02 (4.97折)
江园图书专营店
2012-01-01 /北京理工大学出版社
-
设计的议程—成功设计管理指南【正版书籍】
编辑
¥55.99定价:¥114.00 (4.92折)
小熊贝比图书专营店
(英)库珀,(英)普赖斯 著,刘吉昆,汪晓春 译 /2012-01-01 /北京理工大学出版社
-
设计的议程—成功设计管理指南【正版书籍,满额减】 【速开发票,优质售后,支持7天无理由退换】
编辑推荐
¥64.30定价:¥249.90 (2.58折)
益生源图书专营店
(英)库珀,(英)普赖斯 著,刘吉昆,汪晓春 译 /2012-01-01 /北京理工大学出版社
-
设计的议程—成功设计管理指南 【速开发票,优质售后,支持7天无理由退换】
¥79.29定价:¥288.80 (2.75折)
启诚图书专营店
2012-01-01 /北京理工大学出版社
-
设计的议程—成功设计管理指南【正版图书,满额减】 【速开发票,优质售后,支持7天无理由退换】
编辑推荐
¥64.30定价:¥259.70 (2.48折)
万润图书专营店
(英)库珀,(英)普赖斯 著,刘吉昆,汪晓春 译 /2012-01-01 /北京理工大学出版社
-
设计的议程—成功设计管理指南【正版图书,满额减】 【速开发票,优质售后,支持七天无理由退货,下单前请咨询客服查看书籍情况】
编辑推荐
¥53.19定价:¥107.40 (4.96折)
慧鑫图书专营店
(英)库珀,(英)普赖斯 著,刘吉昆,汪晓春 译 /2012-01-01 /北京理工大学出版社
-
漫画学Java:完美实践
¥71.20定价:¥89.00 (8折)
济南报业图书专营店
2023-09-01 /北京理工大学
-
漫画学Java:快速提高
¥61.41定价:¥89.00 (6.9折)
土星图书专营店
(德)菲利普·阿克曼著 译者: 刘玲玉,刘婧姣译 /2023-09-01 /北京理工大学
-
漫画学Java:完美实践【新华集团正版书籍】 全新正版书籍 正规电子发票 多仓就近发货
¥64.80定价:¥89.00 (7.29折)
辽宁出版集团图书专营店
(德)菲利普·阿克曼著 译者: 刘玲玉,刘婧姣译 /2023-09-01 /北京理工大学
-
漫画学Java:快速提高
¥61.62定价:¥89.00 (6.93折)
明星店铺
木垛图书旗舰店
(德)菲利普·阿克曼著 译者: 刘玲玉,刘婧姣译 /2023-09-01 /北京理工大学
-
漫画学Java:完美实践
¥62.00定价:¥89.00 (6.97折)
火把图书专营店
(德)菲利普·阿克曼著 译者: 刘玲玉,刘婧姣译 /2023-09-01 /北京理工大学
-
漫画学Java:完美实践
¥61.41定价:¥89.00 (6.9折)
土星图书专营店
(德)菲利普·阿克曼著 译者: 刘玲玉,刘婧姣译 /2023-09-01 /北京理工大学
-
漫画学Java:快速提高
¥71.20定价:¥89.00 (8折)
济南报业图书专营店
(德)菲利普·阿克曼著 译者: 刘玲玉,刘婧姣译 /2023-09-01 /北京理工大学
-
漫画学Java:完美实践
¥61.62定价:¥89.00 (6.93折)
明星店铺
木垛图书旗舰店
(德)菲利普·阿克曼著 译者: 刘玲玉,刘婧姣译 /2023-09-01 /北京理工大学
-
漫画学Java:快速提高
¥62.00定价:¥89.00 (6.97折)
火把图书专营店
(德)菲利普·阿克曼著 译者: 刘玲玉,刘婧姣译 /2023-09-01 /北京理工大学
-
漫画学Java:快速提高【新华集团正版书籍】 全新正版书籍 正规电子发票 多仓就近发货
¥64.80定价:¥89.00 (7.29折)
辽宁出版集团图书专营店
(德)菲利普·阿克曼著 译者: 刘玲玉,刘婧姣译 /2023-09-01 /北京理工大学
-
德国简史(精)
¥22.62定价:¥45.00 (5.03折)
博道图书专营店
(美)玛丽·普拉特·帕米利|责编:李慧智|译者:刘小君 /2020-08-01 /北京理工大学
-
德国简史(精)
¥22.50定价:¥45.00 (5折)
九层图书专营店
(美)玛丽·普拉特·帕米利|责编:李慧智|译者:刘小君 /2020-08-01 /北京理工大学
-
法国简史(精)
¥24.00定价:¥48.00 (5折)
九层图书专营店
(美)玛丽·普拉特·帕米利|责编:徐艳君|译者:刘守旭 /2020-04-01 /北京理工大学
-
德国简史(精)
¥22.50定价:¥45.00 (5折)
博库图书专营店
(美)玛丽·普拉特·帕米利|责编:李慧智|译者:刘小君 /2020-08-01 /北京理工大学
-
法国简史(精)
¥23.52定价:¥48.00 (4.9折)
博库图书音像专营店
(美)玛丽·普拉特·帕米利|责编:徐艳君|译者:刘守旭 /2020-04-01 /北京理工大学
-
法国简史(精)
¥24.13定价:¥48.00 (5.03折)
博道图书专营店
(美)玛丽·普拉特·帕米利|责编:徐艳君|译者:刘守旭 /2020-04-01 /北京理工大学
-
德国简史(精)
¥27.45定价:¥45.00 (6.1折)
木垛图书专营店
(美)玛丽·普拉特·帕米利|责编:李慧智|译者:刘小君 /2020-08-01 /北京理工大学
-
法国简史(精)
¥28.80定价:¥48.00 (6折)
木垛图书专营店
(美)玛丽·普拉特·帕米利|责编:徐艳君|译者:刘守旭 /2020-04-01 /北京理工大学
-
德国简史(精)
¥22.05定价:¥45.00 (4.9折)
博库图书音像专营店
(美)玛丽·普拉特·帕米利|责编:李慧智|译者:刘小君 /2020-08-01 /北京理工大学
-
德国简史(精)
¥22.05定价:¥45.00 (4.9折)
土星图书专营店
(美)玛丽·普拉特·帕米利|责编:李慧智|译者:刘小君... /2020-08-01 /北京理工大学
-
德国简史(精)
¥22.42定价:¥45.00 (4.99折)
火把图书专营店
(美)玛丽·普拉特·帕米利|责编:李慧智|译者:刘小君... /2020-08-01 /北京理工大学
-
德国简史(精)
¥22.07定价:¥45.00 (4.91折)
明星店铺
木垛图书旗舰店
(美)玛丽·普拉特·帕米利|责编:李慧智|译者:刘小君... /2020-08-01 /北京理工大学
-
法国简史(精)
¥23.54定价:¥48.00 (4.91折)
明星店铺
木垛图书旗舰店
(美)玛丽·普拉特·帕米利|责编:徐艳君|译者:刘守旭... /2020-04-01 /北京理工大学
-
法国简史(精)
¥23.92定价:¥48.00 (4.99折)
火把图书专营店
(美)玛丽·普拉特·帕米利|责编:徐艳君|译者:刘守旭... /2020-04-01 /北京理工大学
-
法国简史(精)
¥23.52定价:¥48.00 (4.9折)
土星图书专营店
(美)玛丽·普拉特·帕米利|责编:徐艳君|译者:刘守旭... /2020-04-01 /北京理工大学
-
法国简史(精)
¥24.00定价:¥48.00 (5折)
博库图书专营店
(美)玛丽·普拉特·帕米利|责编:徐艳君|译者:刘守旭 /2020-04-01 /北京理工大学
-
设计的议程——成功设计管理指南
¥33.10定价:¥46.00 (7.2折)
(英)库珀,(英)普赖斯 著,刘吉昆,汪晓春 译 /2012-01-01 /北京理工大学出版社
-
高阶逻辑辅助证明系统
托比亚斯·尼普科夫、(英)劳伦斯·鲍尔森、玛尔库斯·温泽尔编著的《高阶逻辑辅助证明系统(精)》是在高阶逻辑中使用Isabelle辅助证明系统进行交互式证明的导论,适用于Isabelle系统的潜在使用者,自成体系,分为三部分:**部分是基本技巧:介绍在高阶逻辑中如何进行函数式程序建模,提供了表(1ist)和自然数的简单证明实例。大多数证明只要两步完成:对所选变量进行归纳以及使用自动策略(auto)。当然,这些粗浅的例子仍然涵盖了嵌套递归和交叉递归等技术。第二部分是逻辑与集合:介绍大量可供选择使用的低级证明策略。本部分描述了Isabelle/HOL如何处理集合、函数、关系以及如何实现递归定义集合,包括模型检验理论和经典教科书中关于形式语言的案例。第三部分是高级话题:包括实数、记录、重载技术等主题。本部分也讨论了归纳法和递归方法的高级技
¥33.70定价:¥45.00 (7.49折)
(德)尼普科夫,(英)鲍尔森,(德)温泽尔 著,陈光喜,刘卓军 译 /2013-05-01 /北京理工大学出版社
-
法国简史
¥33.60定价:¥48.00 (7折)
凤凰新华书店图书旗舰店
(美) 玛丽·普拉特·帕米利著 刘守旭译 /2019-01-01 /北京理工大学出版社