（德）诺伯特·费什，（德）托马斯·威尔肯著；祝泮瑜译2015 年出版344 页ISBN：9787302411499
本书全面参考了建筑设计、能源规划以及建筑设备方面与产能标准相关的理念，展示了居住建筑、非居住建筑以及城市街区的实际案例，同时也展示了产能建筑标准在全球范围内的应用潜力。...
（德）霍尔格·阿佩尔（Holger Appel），（德）克里斯托弗·海茵（Christoph Hein）著；刘海宁译1999 年出版268 页ISBN：7214023415
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
（意）弗朗索瓦·布克哈特（Francois Burkhardt）主编；王晖等译1997 年出版120 页ISBN：7112032857
（德）哈德，（德）舒马赫著；银晓鲲译2006 年出版96 页ISBN：7501547556
本书为德国儿童侦探小说，故事后附有与案情相关的问题与答案，具趣味性和故事性。
（德）雅各布·格林，（德）威廉·格林著；孙秀芬译；余良丽主编2018 年出版216 页ISBN：9787536488434
《格林童话》选录了最受孩子们喜爱的一些故事，如美丽的《白雪公主》、淘气的《小红帽》、聪明乐观的《不莱梅的音乐家》、温柔帅气的《青蛙王子》和幸运的《灰姑娘》等经典童话。这些故事情节曲折生动，文字优...
（德）米莱娜·拜雪著；梅宁译；（德）绍亚·费德勒著；冯艳容译2004 年出版96 页ISBN：7533244524
本书包括多篇小说。书中主要介绍了一群秘密侦探俱乐部的小侦探，凭借自己的聪明才智，揭开一个个谜团，侦破了一个个疑案的故事。
