（英）汤姆·罗伯·史密斯著；蔡中恒译2012 年出版308 页ISBN：7539954973
本书从1950年前国家安全部官员里奥遇到自己的妻子开始讲述，一直到1965年里奥成为一名受人尊敬的小工厂经理，后来他却失去了他所珍视的一切。里奥从几近毁灭的斯大林苏联逃脱，通过阿富汗，最终逃到纽约。...
A·D·布朗（BrownA·D·）著；汪连栋译；孔德培译；乔会东译；周波译2014 年出版204 页ISBN：7118094091
（德）马库斯·海茨著2009 年出版499 页ISBN：9787539632933
本书延续了第一本的矮人族的传奇经历，叙述了更加惊心动魄的矮人故事。主人公童迪尔不仅找到了自己的族人，而且与朋友一起战胜了魔法师诺东，成为英雄。但失败的半兽人在黑水中获得了不死之身，卷土重来，又一场生死...
（美）麦克尔·库斯玛诺（Michael A.Cusumano），（日）延岗健太郎著；高文海译2004 年出版273 页ISBN：7100041198
本书是精益思想的深入和发展，是在企业的产品开发和项目管理方面的深入探讨。
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
（美）汤姆·B.斯通（Tom B.Stone）著；李若木，部铁军译1999 年出版124 页ISBN：7206031196
本套小说主人公都是你的同龄人，他们有想像力、好冒险、争强好胜，故事惊险神秘，亦真亦幻，相信你会喜欢。
