（印）纳格拉思（Nagrath，I.J.），（印）戈帕尔（Gopal，M.）著；刘绍球等译1985 年出版602 页ISBN：15290·142
（英）朱莉娅·沃利斯·马丁（J.Wallis Martin）著 许高，陆颖译2005 年出版303 页ISBN：750143350X
本书为现代长篇侦探小说。
（奥）恩斯特·阿·艾凯尔著；（奥）多利斯·艾申伯格绘；高士彦译2002 年出版29 页ISBN：7103023123
本书介绍了作曲家、音乐家巴赫，描述了巴赫一生中重要的时期和成就。本书作者呈现给我们一个热情、栩栩如生的巴赫。本书附CD一张。
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
