奥德丽·奥斯勒，休·斯塔基著；王啸，黄玮珊译2012 年出版262 页ISBN：9787504163004
本书对公民教育如何才能满足学习者在多元文化与全球化社会中的需求，学校如何才能消解纪律性与包容性两者之间的紧张等问题作出了回应。阅读本书将有助于教育工作者认识全球化与师生的日常生活之间的联系，帮助...
（德）马丁·克兰著；（德）马努拉·奥尔特绘；李晓旸译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基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
（德）瑙海姆，（德）伯尔彻，（德）诺瓦克著2014 年出版547 页ISBN：9787111415152
本书共分17章，全面地叙述了汽车变速器的开发过程。内容主要包括：交通—车辆—传动系统回顾、动力传递基础、传动比选择、汽车变速器系统的基本设计原理、汽车变速器的典型设计、重要部件（如换档机构、起步元件...
