高阶逻辑辅助证明系统

（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...

伯克利教授与沼泽地的走私犯

（德）哈德，（德）舒马赫著；银晓鲲译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

本书介绍利用骨水泥技术进行全髋关节置换术，治疗全髋关节损害性疾病。

智能卡大全 智能卡的结构·功能·应用 第3版

（德）Wolfgang Rankl，（德）Wolfgang Effing编著；王卓人 王锋编译2002 年出版565 页ISBN：7505383019

格林童话

（德）雅各布·格林，（德）威廉·格林著；孙秀芬译；余良丽主编2018 年出版216 页ISBN：9787536488434

《格林童话》选录了最受孩子们喜爱的一些故事，如美丽的《白雪公主》、淘气的《小红帽》、聪明乐观的《不莱梅的音乐家》、温柔帅气的《青蛙王子》和幸运的《灰姑娘》等经典童话。这些故事情节曲折生动，文字优...

我的第一本职场礼仪书

（德）瓦尔特，（德）胡伯著；郝湉译2012 年出版189 页ISBN：9787515801087

克尼格礼仪是国际上通用的职场礼仪原则，对于刚入职的女性职员来说，掌握克尼格礼仪，在职场中形成自己的风格与个性，对于自己的事业发展来说至关重要。如何塑造自己的职场个性，躲避社交陷阱，如何打造成功的职业形.....

被禁的神庙 来自因特网的危险

（德）米莱娜·拜雪著；梅宁译；（德）绍亚·费德勒著；冯艳容译2004 年出版96 页ISBN：7533244524

本书包括多篇小说。书中主要介绍了一群秘密侦探俱乐部的小侦探，凭借自己的聪明才智，揭开一个个谜团，侦破了一个个疑案的故事。