（德）福瑞编文；（德）苟琛·比克绘；叶子译2009 年出版28 页ISBN：9787508388137
精灵艾玛有很多美好的愿望，她想要一头小马，金色的翅膀还要一座宫殿……小精灵还有很多愿望，但是她最想要的是一把魔杖，这样她就可以很容易的实现其他所有的愿望。有一天艾玛最好的朋友艾宫失踪了，艾玛焦急地找她...
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
（荷）胡果·格劳秀斯著；（美）A.C.坎贝尔英译；何勤华等译2013 年出版358 页ISBN：9787208112094
本书共分三编，主要研究国家间的战争与和平法规问题。在序言中论述权利和法律的起源。第一编，论述战争是否合乎正义；论述何种国民、何种国君享有全部主权、国民对于国君的权利和义务。第二编，论述战争的起源；何谓...
（美）杰弗里·海耶斯著；许旸译2018 年出版64 页ISBN：9787020126668
这是一本儿童学习读物。本尼和佩妮是一对可爱的小老鼠兄妹。佩妮按妈妈的要求乖乖刷牙，坐在被窝里准备读故事书，但是本尼却不想睡觉。当他望向窗外，发现没有看到月亮，他觉得月亮一定是被海盗偷走了。本尼讲可怕...
（美）罗德·瓦格纳，詹姆斯·哈特著2016 年出版213 页ISBN：9787515343037
这是一本在理念和内容上具有革命性突破的管理经典。全球金牌畅销书《首先，打破一切常规》的姊妹篇。这是一本管理者和被管理者，乃至社会中每个成员都应该读的书。微软、宝洁、中国工商银行等世界500强企业采...
（加）戴维·勒诺哈特著；白洁，吴琳娜，李烁译2006 年出版299 页ISBN：7300069924
该书是人大社《心理自助译丛》中的一本。作者运用心理学知识，结合幽默、平实的语言，将人类的欲望与幸福的关系逐一加以分析比较，试图说明幸福与否不完全取决于外在的物质条件，而更多是一种内心感受；介绍了通过改...
（德）哈德，（德）舒马赫著；银晓鲲译2006 年出版96 页ISBN：7501547556
本书为德国儿童侦探小说，故事后附有与案情相关的问题与答案，具趣味性和故事性。
（德）阿希姆·布吕格（Achim Broger）文；（德）伊利斯·哈尔特（Iris Hardt）图 胡忠利译2006 年出版32 页ISBN：7501229155
本书是好妈妈好孩子系列丛书之一。本书通过一对姐弟亲身经历的7个故事，生动而具体地描述了孩子的恐惧心理，让您懂得如何帮助孩子摆脱恐惧。...
（德）雷纳·科特文；（德）埃贝尔哈尔德·埃曼图；李玉茹译2010 年出版48 页ISBN：9787535155276
在这本《矿物开采趣话》中，著名的科普作家科特博士向我们讲述了有关矿物开采的知识，以及与矿物有关的历史文化。他介绍了最重要的矿产资源，并叙述了随着时间的推移，人们如何利用不断发展的技术更好地进行矿藏探...
