（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
（美）约翰·梅里曼著；刘怀昭译2017 年出版351 页ISBN：9787562069317
本书是著名历史学家约翰·梅里曼首次对巴黎公社进行的详实记录，那个具有决定性的时代永远地改变了欧洲的政治面貌。巴黎公社于1871年成立，仅仅持续了64天，不过就是这短短的一段时间却激发了19世纪许多伟大的政...
（英）安迪·斯坦顿，（英）大卫·塔兹曼著；柳杉译2017 年出版109 页ISBN：9787530672181
英国儿童长篇小说。在拉莫比小镇上，有个万里挑一的古怪老头阿甘先生。他看不见所有美好事物，还企图毒死可爱的大狗杰克。在屠夫比利·威廉的帮助下，他差点就得逞了。热心肠的波莉和星期五·奥利里、甜美太太、...
（美）沃尔特·J.弗利曼著；顾凡及，梁培基等译2004 年出版282 页ISBN：7308032582
本书主要介绍了有关脑功能介于宏观和微观之间的“中间层次”——介观的概念认识和学习生物系统中的模式辩认所需要的概念和资料，并从理论上高度概括了介观层次上脑动力学方面的成果。...
（美）柯克曼，（美）埃德拉德著2015 年出版136 页ISBN：9787510094828
本套书是由美国IMAGE出版公司的一部以末世为题材的图画小说。本作曾于2010年获得被誉为该领域的“奥斯卡”的艾斯纳奖，销量几度在美国畅销榜上独占鳌头，并被改编为影视作品及电子游戏等。故事讲述了主角瑞克...
（德）哈德，（德）舒马赫著；银晓鲲译2006 年出版96 页ISBN：7501547556
本书为德国儿童侦探小说，故事后附有与案情相关的问题与答案，具趣味性和故事性。
（德）阿希姆·布吕格（Achim Broger）文；（德）伊利斯·哈尔特（Iris Hardt）图 胡忠利译2006 年出版32 页ISBN：7501229155
本书是好妈妈好孩子系列丛书之一。本书通过一对姐弟亲身经历的7个故事，生动而具体地描述了孩子的恐惧心理，让您懂得如何帮助孩子摆脱恐惧。...
（德）雷纳·科特文；（德）埃贝尔哈尔德·埃曼图；李玉茹译2010 年出版48 页ISBN：9787535155276
在这本《矿物开采趣话》中，著名的科普作家科特博士向我们讲述了有关矿物开采的知识，以及与矿物有关的历史文化。他介绍了最重要的矿产资源，并叙述了随着时间的推移，人们如何利用不断发展的技术更好地进行矿藏探...
（德）安德烈娅·埃内著；（德）乌尔苏拉·韦勒绘；王晓芳译2014 年出版16 页ISBN：9787530470947
这是一本构思巧妙，内容充实的立体科普读物。书内含大量的小翻页，在少儿立体图书中独树一帜，将娱乐性与科学性巧妙地结合起来，能够带给孩子发现的惊喜，让孩子边学知识边提高动手能力。这是德国最大的儿童图书出版...
（德）斯蒂芬·布鲁奇，（德）亨利克·马尔绍主编，李正维，赵继军，郑连杰主译2008 年出版342 页ISBN：9787538155259
本书介绍利用骨水泥技术进行全髋关节置换术，治疗全髋关节损害性疾病。
