（德）弗兰克·赖芬贝格著；（德）苏珊娜·魏希顿绘；陆阳，修洁译2015 年出版87 页ISBN：9787110087831
本书是一部有趣的冒险小说，故事讲述了古罗马时期一个10岁的小男孩如何通过自己的努力，将自己由一个奴隶变成一名出色赛马手的故事，情节跌宕起伏、引人入胜。小读者可以在阅读本书的时候体验一次不同寻常的冒险...
（德）诺伯特·费什，（德）托马斯·威尔肯著；祝泮瑜译2015 年出版344 页ISBN：9787302411499
本书全面参考了建筑设计、能源规划以及建筑设备方面与产能标准相关的理念，展示了居住建筑、非居住建筑以及城市街区的实际案例，同时也展示了产能建筑标准在全球范围内的应用潜力。...
（德）霍尔格·阿佩尔（Holger Appel），（德）克里斯托弗·海茵（Christoph Hein）著；刘海宁译1999 年出版268 页ISBN：7214023415
（美）霍尼娜著；（美）德舍尔，（美）德卡洛，（美）洛克里奇绘；赵妍译2012 年出版140 页ISBN：7535366708
本套书以蝙蝠侠为主角的经典短篇小说集，情节惊险跌宕，既有扣人心弦的推理破案，又有英勇的战斗和奇幻的冒险。书中彩插精美，内容精彩是孩子课外阅读娱乐的首选。...
（德）福瑞编文；（德）苟琛·比克绘；叶子译2009 年出版28 页ISBN：9787508388137
精灵艾玛有很多美好的愿望，她想要一头小马，金色的翅膀还要一座宫殿……小精灵还有很多愿望，但是她最想要的是一把魔杖，这样她就可以很容易的实现其他所有的愿望。有一天艾玛最好的朋友艾宫失踪了，艾玛焦急地找她...
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
（美）贾尼丝·里尔斯·埃利戈（Janice Reals Ellig），（美）威廉·J.莫林（William J.Morin）著；徐静，徐菁译2002 年出版287 页ISBN：7501159106
商界真正的权力无容置疑还是掌握在男性的手里。本书生动地叙述了挖掘女性人才的重要性，并教女性如何去战胜高级领导层中存在的性别偏见，在当今商界的最高管理领域找到自己的职位。作者是在对200多位具有成功...
臧海娟，陶为戈主编2007 年出版382 页ISBN：9787030198501
本书共分9章，首先在介绍计算机网络的体系结构和数据通信知识的基础上，分析了比较成熟的计算机网络技术及协议，其中包括以太网、广域网、Internet以及流行的无线网。接着，又从实用角度出发，结合实例对网络的组成...
（美）拉里·戈尼克著；陈浩莺译2011 年出版156 页ISBN：9787508062501
本书用漫画的形式幽默地讲述了从两个古老的文明古国印度和中国的漫长历史。从印度最早的国家摩可婆罗的形成，到印度多种宗教的的形成再到中国尧舜禹到春秋战国。只是几个历史事件，勾勒出壮阔的历史画卷。...
