（德）马丁·克兰著；（德）马努拉·奥尔特绘；李晓旸译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 年出版430 页ISBN：7300185797
本书在美国是一部深受欢迎的探讨教学模式的经典教材，在亚马逊全球销量榜上名列前茅，自1972年出版以来不断再版，已成为研究教学模式乃至整个教学领域的不可或缺的重要教材和参考资料。本书的写作风格朴实生动，通...
