（德）乌瑟尔·舍弗勒著；（德）哈内斯·盖尔博绘；石良燕，毛毛译2013 年出版128 页ISBN：9787110074879
《闪电球探长》是兼具侦探与科普内容的科学探案系列丛书。闪电球探长反映灵敏，思维如闪电般迅速。他到处惩治坏蛋，从纽约到上海，哪里有坏蛋在做案，哪里就有他破案的身影。在本册书中，闪电球探长来到了遥远的奇异...
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
（德）哈瑞特·格伦特曼著；（德）安珂·阿姆·博尔格图；时晓译2011 年出版56 页ISBN：9787514302165
这是一本绘本文学书。一本分四个篇章，一篇一个故事，故事分别从爱情和生活的不同阶段介入，故事中的人物或者正处在寻找幸福的阶段，或者刚刚获得幸福开始热恋，或者已经从热恋期进入磨合期，作者就着这些傻傻的漫画.....
（荷）安娜玛丽·梵·哈灵根著；郝依·梵·德·海顿，孙鸿雁译2012 年出版25 页ISBN：9787534271489
小男孩科菲很喜欢大海，他想要把大海画下来。但是哪里才是大海的起点呢？于是，他开始踏上了寻找大海起点的旅程。在这个过程中，越来越多的人加入了，从而构成了许多美丽而有趣的插图。...
（德）方伟翰（Wilhelm Pfahler），（德）哈拉德·维泽（Harald Wiese）著；罗敏译2000 年出版411 页ISBN：7806187529
本书从分析企业的成本优势和生产优势出发，介绍了市场竞争中的各种企业策略，包括企业的价格政策、产量政策。
