¥1250定价：¥1250
¥1168定价：¥1168
素描 主编陈光龙, 张慕超, 杨传喜 航空工业出版社 【新华书店正版图书书籍】 正版全新书籍 正规发票 多仓就近发货 85%城市次日送达 关注店铺可享店铺优惠!
¥26.00定价：¥65.00 (4折)
明星店铺 北方图书城旗舰店
E.T.外星人 (美)科茨温克尔 著,张永喜,陈光明 译 江苏少年儿童出版社【可开电子发票】 正版图书，下单前请先咨询客服，欢迎选购！
当宇宙飞船意外地将E.T.抛下时，他便流落在地球上了。一个名叫埃利奥特的小男孩发现了他，从此，他们的冒险开始了。如今，小读者们将次领略E.T.的故事，而家长们也将再次重温这一神奇的情境。
¥56.14定价：¥122.28 (4.6折)
E.T.外星人 (美)科茨温克尔 张永喜 陈光明 译 江苏少年儿童出版社【可开电子发票】 【正品保证，进入店铺更多优惠！】
当宇宙飞船意外地将E.T.抛下时，他便流落在地球上了。一个名叫埃利奥特的小男孩发现了他，从此，他们的冒险开始了。如今，小读者们将次领略E.T.的故事，而家长们也将再次重温这一神奇的情境。
¥56.14定价：¥122.28 (4.6折)
E.T.外星人 (美)科茨温克尔 ,张永喜,陈光明 江苏少年儿童出版社【达额立减】 【正品保证，进入店铺更多优惠！】
当宇宙飞船意外地将E.T.抛下时，他便流落在地球上了。一个名叫埃利奥特的小男孩发现了他，从此，他们的冒险开始了。如今，小读者们将次领略E.T.的故事，而家长们也将再次重温这一神奇的情境。
¥56.14定价：¥122.28 (4.6折)
当宇宙飞船意外地将E.T.抛下时，他便流落在地球上了。一个名叫埃利奥特的小男孩发现了他，从此，他们的冒险开始了。如今，小读者们将次领略E.T.的故事，而家长们也将再次重温这一神奇的情境。
¥90.00定价：¥260.00 (3.47折)
当宇宙飞船意外地将E.T.抛下时，他便流落在地球上了。一个名叫埃利奥特的小男孩发现了他，从此，他们的冒险开始了。如今，小读者们将次领略E.T.的故事，而家长们也将再次重温这一神奇的情境。
¥90.00定价：¥260.00 (3.47折)
¥27.00定价：¥134.00 (2.02折)
¥25.00定价：¥130.00 (1.93折)
¥27.00定价：¥134.00 (2.02折)
电视与社会 (英)尼古拉斯·阿伯克龙比 著,张永喜,鲍贵,陈光明 南京大学出版社【正版书籍】 【热销推荐，正版现货，全国三仓就近发货，物流快捷，欢迎选购！】
¥23.50定价：¥50.12 (4.69折)
素描 陈光龙，张慕超，杨传喜主编 航空工业出版社 【新华正版图书】
¥24.50定价：¥65.00 (3.77折)
当宇宙飞船意外地将E.T.抛下时，他便流落在地球上了。一个名叫埃利奥特的小男孩发现了他，从此，他们的冒险开始了。如今，小读者们将次领略E.T.的故事，而家长们也将再次重温这一神奇的情境。
¥42.86定价：¥135.72 (3.16折)
当宇宙飞船意外地将E.T.抛下时，他便流落在地球上了。一个名叫埃利奥特的小男孩发现了他，从此，他们的冒险开始了。如今，小读者们将次领略E.T.的故事，而家长们也将再次重温这一神奇的情境。
¥78.00定价：¥236.00 (3.31折)
电视与社会 (英)尼古拉斯·阿伯克龙比 著,张永喜,鲍贵,陈光明 南京大学出版社【正版书】 全国三仓发货，物流便捷，下单秒杀，欢迎选购！
¥11.00定价：¥33.00 (3.34折)
电视与社会 (英)尼古拉斯·阿伯克龙比 著,张永喜,鲍贵,陈光明 南京大学出版社【正版书】 全国三仓发货，物流便捷，下单秒杀，欢迎选购！
¥14.00定价：¥33.00 (4.25折)
¥20.80定价：¥71.60 (2.91折)
E.T.外星人 [美]科茨温克尔 著,张永喜,陈光明 译 江苏少年儿童出版社【正版保证】 全国三仓发货，物流便捷，下单秒杀，欢迎选购！
当宇宙飞船意外地将E.T.抛下时，他便流落在地球上了。一个名叫埃利奥特的小男孩发现了他，从此，他们的冒险开始了。如今，小读者们将次领略E.T.的故事，而家长们也将再次重温这一神奇的情境。
¥37.00定价：¥81.00 (4.57折)
E.T.外星人 [美]科茨温克尔 著,张永喜,陈光明 译 江苏少年儿童出版社【正版书】 全国三仓发货，物流便捷，下单秒杀，欢迎选购！
当宇宙飞船意外地将E.T.抛下时，他便流落在地球上了。一个名叫埃利奥特的小男孩发现了他，从此，他们的冒险开始了。如今，小读者们将次领略E.T.的故事，而家长们也将再次重温这一神奇的情境。
¥49.00定价：¥103.00 (4.76折)
E.T.外星人 [美]科茨温克尔 著,张永喜,陈光明 译 江苏少年儿童出版社【正版保证】 全国三仓发货，物流便捷，下单秒杀，欢迎选购！
当宇宙飞船意外地将E.T.抛下时，他便流落在地球上了。一个名叫埃利奥特的小男孩发现了他，从此，他们的冒险开始了。如今，小读者们将次领略E.T.的故事，而家长们也将再次重温这一神奇的情境。
¥49.00定价：¥103.00 (4.76折)
电视与社会 (英)尼古拉斯·阿伯克龙比 著,张永喜,鲍贵,陈光明 南京大学出版社 畅销推荐，正版保证，现货直发，物流快捷，优惠多多，欢迎选购！
¥8.00定价：¥20.76 (3.86折)
电视与社会 (英)尼古拉斯·阿伯克龙比 著,张永喜,鲍贵,陈光明 南京大学出版社 畅销推荐，正版保证，现货直发，物流快捷，优惠多多，欢迎选购！
¥7.80定价：¥20.77 (3.76折)
电视与社会 (英)尼古拉斯·阿伯克龙比 著,张永喜,鲍贵,陈光明 南京大学出版社【正版书籍】 畅销推荐，正版保证，现货直发，物流快捷，优惠多多，欢迎选购！
¥8.00定价：¥20.10 (3.99折)
电视与社会 (英)尼古拉斯·阿伯克龙比 著,张永喜,鲍贵,陈光明 南京大学出版社 畅销推荐，正版保证，现货直发，物流快捷，优惠多多，欢迎选购！
¥7.80定价：¥20.73 (3.77折)
¥25.00定价：¥29.50 (8.48折) 电子书：¥9.99
托比亚斯·尼普科夫、(英)劳伦斯·鲍尔森、玛尔库斯·温泽尔编著的《高阶逻辑辅助证明系统(精)》是在高阶逻辑中使用Isabelle辅助证明系统进行交互式证明的导论，适用于Isabelle系统的潜在使用者，自成体系，分为三部分：**部分是基本技巧：介绍在高阶逻辑中如何进行函数式程序建模，提供了表(1ist)和自然数的简单证明实例。大多数证明只要两步完成：对所选变量进行归纳以及使用自动策略(auto)。当然，这些粗浅的例子仍然涵盖了嵌套递归和交叉递归等技术。第二部分是逻辑与集合：介绍大量可供选择使用的低级证明策略。本部分描述了Isabelle／HOL如何处理集合、函数、关系以及如何实现递归定义集合，包括模型检验理论和经典教科书中关于形式语言的案例。第三部分是高级话题：包括实数、记录、重载技术等主题。本部分也讨论了归纳法和递归方法的高级技
¥33.70定价：¥45.00 (7.49折)
本书是一本结构严谨的教材。它比电视制作、电视节目和电视观众三者的角度展示了电视与社会的关系。电视对一个地区，一个国家乃至全球产生了巨大的社会冲击和影响。本书就该方面的研讨现状作了令人信服的评述。 ——英国威斯敏斯特大学大众传媒研究系 帕迪·斯坎内尔
¥13.60定价：¥17.00 (8折)
¥23.30定价：¥26.00 (8.97折)
