高阶逻辑辅助证明系统

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

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

精通财务报表 掌握财务数据的25个诀窍 中英文本

（美）艾瑞克·普雷斯（Eric Press）著；张晓晓译2004 年出版173 页ISBN：7810367471

本书是美国最著名的婴儿及儿童护理专家希尔斯夫妇，以他们在小儿科方面丰富的专业知识，解答新为人父母者提出的婴儿出生后三个月内最常见的各类抚育问题。...

写乐杀人事件

（日）高桥克彦著2013 年出版344 页ISBN：9787553414881

本书是日本长篇推理小说。谜一样的画家东洲斋写乐到底是谁呢？后世的美术史家百思不得其解。大学生津田无意中猜出了写乐的真实身份，虽一时不敢断定，周围人却不断被杀……这是一部具有深厚文化底蕴的历史推理小...

人格心理学新进展 英文版·影印本

凯罗林·默夫 奥泽拉姆·阿杜克主编2007 年出版283 页ISBN：9787303089888

本书共五编，介绍了人格心理学的最新研究和理论情况，包括人格的机制、稳定性、个体加工、对幸福的体验等，本书可作为心理学专业英语的学习图书，同时是研究者获取相关研究进展的参考图书。...

数字的力量 揭示日常生活中数学的乐趣和威力

（美）谢尔曼·克·斯坦因著；严子谦，严磊译2000 年出版286 页ISBN：7206035167

数学中有乐趣和力量？本书从实用性、简捷性等方面，对日常生活中的应用数学，从计算抵押付款到选择信用卡利率，以及解释统计资料，进行了引人入胜的探索。...

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

（德）哈德，（德）舒马赫著；银晓鲲译2006 年出版96 页ISBN：7501547556

本书为德国儿童侦探小说，故事后附有与案情相关的问题与答案，具趣味性和故事性。

尼克不再害怕 帮助孩子增加勇气的故事

（德）阿希姆·布吕格（Achim Broger）文；（德）伊利斯·哈尔特（Iris Hardt）图 胡忠利译2006 年出版32 页ISBN：7501229155

本书是好妈妈好孩子系列丛书之一。本书通过一对姐弟亲身经历的7个故事，生动而具体地描述了孩子的恐惧心理，让您懂得如何帮助孩子摆脱恐惧。...

矿物开采趣话

（德）雷纳·科特文；（德）埃贝尔哈尔德·埃曼图；李玉茹译2010 年出版48 页ISBN：9787535155276

在这本《矿物开采趣话》中，著名的科普作家科特博士向我们讲述了有关矿物开采的知识，以及与矿物有关的历史文化。他介绍了最重要的矿产资源，并叙述了随着时间的推移，人们如何利用不断发展的技术更好地进行矿藏探...

各种各样的车 幼儿版

（德）安德烈娅·埃内著；（德）乌尔苏拉·韦勒绘；王晓芳译2014 年出版16 页ISBN：9787530470947

这是一本构思巧妙，内容充实的立体科普读物。书内含大量的小翻页，在少儿立体图书中独树一帜，将娱乐性与科学性巧妙地结合起来，能够带给孩子发现的惊喜，让孩子边学知识边提高动手能力。这是德国最大的儿童图书出版...

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

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