高阶逻辑辅助证明系统

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

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

美国高等教育的历程

（美）基斯克著；梁燕玲译；2012 年出版428 页ISBN：7504162571

建筑透视素描之绘法

村山克之著；石正义译1997 年出版142 页ISBN：9577051154

膨胀节设计与应用

张荣克，牛玉华，闫涛主编2017 年出版378 页ISBN：9787511438278

都是为了爱

王小克著；刘明涛责任编辑1988 年出版425 页ISBN：7538700692

这部长篇小说描写曙光水泥厂在改革中所发生的一系列故事。

妈妈留下的礼物

（美）刘易斯，（美）塞曼克著；娄雪莲译2006 年出版138 页ISBN：7204078942

本书是短篇小说集，着重描述了母女之间的特殊的情感纽带。

野兽出没的地方

（美）桑达克著/绘2009 年出版42 页ISBN：9787533260217

这是一本无可争议的图画经典，作者也因此书声誉鹊起，本书获1964年凯迪克金奖。

炼焦用煤的制备

В·Г·札什克瓦拉1958 年出版262 页ISBN：

汽车变速器理论基础、选择、设计与应用

（德）瑙海姆，（德）伯尔彻，（德）诺瓦克著2014 年出版547 页ISBN：9787111415152

本书共分17章，全面地叙述了汽车变速器的开发过程。内容主要包括：交通—车辆—传动系统回顾、动力传递基础、传动比选择、汽车变速器系统的基本设计原理、汽车变速器的典型设计、重要部件（如换档机构、起步元件...

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

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

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