石海鹤著2017 年出版147 页ISBN：9787030522139
本书以前期研究形成的支持程序开发全过程的形式化方法PAR为基础，选取排序类和查找类算法作为研究的突破口，开展了形式化方法制导下的算法程序自动化的研究。PAR为算法程序自动化提供了有力支持，它由自定义泛型...
美国迪士尼公司著；王子小青译2017 年出版205 页ISBN：9787562849858
很久很久以前，在一个非常、非常遥远的星系……战火四起！共和国即将被无情的西斯武士杜克伯爵击垮。双方战将势均力敌。杀机四伏。机器人军团的首领，残暴的格非将军，以闪电之势攻下了共和国的首都，绑架了银河参议...
（美）乔纳森·R.卡普斯基（Jonathan R. copulsky）著2017 年出版226 页ISBN：9787509650400
如今，企业品牌声誉比以前更加不稳定。真实和虚假的信息在巨大的和相互关联的社交媒体景观中像野火一样传播，在本书中，经验丰富的营销执行官乔纳森·R.卡普斯基通过分析“在21世纪发挥品牌防御意味着什么”的当...
龚浩然主编2016 年出版432 页ISBN：9787533683030
在本卷，作者首先着力探讨思维和言语问题，包括问题和研究方法、皮亚杰学说中儿童的言语与思维问题、斯通学说中的言语发展问题、思维和言语的发生根源、概念发展的实验研究、对童年期科学概念发展的研究。其次...
（法）索尔比埃著；（法）汤玛斯绘；（中国台湾）徐孝贵译2016 年出版42 页ISBN：7539784962
本书为引进版少儿艺术启蒙系列读物，是一套专门为少儿设计的艺术入门书，从艺术的三大基本要素：线条、色彩、空间出发，带领孩子跟着书中主角YOYO与恐龙穿越时空，认识每个时代最著名的艺术作品。书后附有名画博物馆...
（日）加藤谛三著；侯月译2017 年出版216 页ISBN：9787111559702
为什么有的人总是停不下烦恼？为什么有的人总是自怨自艾、装可怜？为什么有的人总是停不下抱怨？哈佛导师告诉你，大多数人其实是在依赖着苦恼，他们根本不想解决苦恼，有的人甚至听到解决方法就会大发雷霆。作者通过.....
稚子文化编2016 年出版17 页ISBN：7513710449
这是一套专为幼儿精心创作的亲子早教图画书，共60册。包含《好习惯》《安全教育》《性教育》《爱与分享》《情商培养》《逆商培养》6个主题，每个主题包含10本书。本套书是国内原创的早教图画书，集教育性、实用...
ExcelHome编著2017 年出版284 页ISBN：9787115451705
全书共分为11章，包括Excel基础、数据输入、工作表日常操作、数据格式化、数据排序、数据筛选、函数公式应用、用图表展示数据分析结果、数据整理与数据透视表、导入外部数据、数据分析工具的应用。 excelhom...
李愫生著2017 年出版228 页ISBN：9787514216929
《在喧嚣的世界，安静地爱》是知名情感作家李愫生的短篇小说集，共收录了作者的18篇爱情物语，其中既有年少懵懂的校园爱情，也有热烈明快的都市情感。青春里的奋不顾身，不明所以的无心错过，隐藏在一粥一饭里的爱意.....
（瑞典）喜仁龙著；沈弘，聂书江编译2017 年出版533 页ISBN：9787218112985
本书共收录北京城照片400余幅，绘图70余幅，全面展现了紫禁城的城门、角楼、殿宇以及殿内外的建筑、装饰、皇城内的中南海、北海，城外的圆明园、颐和园等皇家园林的原貌，具有很高的历史资料价值。译文忠实原稿，语...
