（德）萨布里娜·库弗著；（德）克莉丝汀·奥特等绘；陈妙新译2015 年出版23 页ISBN：7121245167
《本尼随时看》是从德国引进的幼儿启蒙图书。全套包含165个分册，内容涵盖儿童文学、幼儿科普两大类。“发现世界”是孩子的天性，本分套包含1-55共55个分册。该辑为孩子们讲述了身边不能不知的小科学。不仅有...
（美）约翰·A·辛德勒著2012 年出版231 页ISBN：9787512203136
这是—本畅销多年的大众心理学经典，作者本身就是一位资深心理专家，在他数十年的行医过程中，遇到过各种各样的心理疾病患者和求助者。在书中，你能看到大量发生在现实中的真实案例。无论是身处高位的富豪、企业家...
（美）奥弗·曼德勒维奇（Ofer Mendelevitch），（美）凯西·斯特拉（Casey Stella），（美）道格拉斯·伊德理恩（Douglas Eadline）著2018 年出版178 页ISBN：9787111600343
本书概要介绍了如何使用Hadoop和Spark处理数据科学涉及的一系列主题：数据提取、数据再加工（data munging，通常包含数据清洗和整合）、特征提取、机器学习、预测建模、异常检测和自然语言处理。整书侧重于具体的...
阿德，谷文雨，周亚非编2006 年出版263 页ISBN：7810914758
本书以新颖独特的角度介绍被誉为“天下第一寺”和“中国功夫圣地”少林寺的历史和文化渊源，侧重介绍少林功夫及武侠文化的发展与沧桑，尤其是少林寺近年来在弘扬中华文化方面以及“以武会友”进行文化交流方面...
（德）马丁·克兰著；（德）马努拉·奥尔特绘；李晓旸译2016 年出版45 页ISBN：9787562952367
这是一本适合小学低年级儿童阅读的桥梁书。提奥、尼尔斯和亨利是好朋友，他们要开展一次班级旅行。可是提奥从没有离开最心爱的补丁小熊一个人出来旅行过。虽然提奥是个男孩，但是一想到要在没有补丁熊的情况下...
（德）弗兰克·赖芬贝格著；（德）苏珊娜·魏希顿绘；陆阳，修洁译2015 年出版87 页ISBN：9787110087831
本书是一部有趣的冒险小说，故事讲述了古罗马时期一个10岁的小男孩如何通过自己的努力，将自己由一个奴隶变成一名出色赛马手的故事，情节跌宕起伏、引人入胜。小读者可以在阅读本书的时候体验一次不同寻常的冒险...
（德）诺伯特·费什，（德）托马斯·威尔肯著；祝泮瑜译2015 年出版344 页ISBN：9787302411499
本书全面参考了建筑设计、能源规划以及建筑设备方面与产能标准相关的理念，展示了居住建筑、非居住建筑以及城市街区的实际案例，同时也展示了产能建筑标准在全球范围内的应用潜力。...
（德）霍尔格·阿佩尔（Holger Appel），（德）克里斯托弗·海茵（Christoph Hein）著；刘海宁译1999 年出版268 页ISBN：7214023415
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
