Java Workshop使用指南

（美）（C.瓦纳姆）（Clayton Walnum）著；华译工作室译1997 年出版274 页ISBN：7111055888

简·奥斯汀的休闲人生

（英）大卫·赛尔温（DavidSelwyn）著；许可译2017 年出版441 页ISBN：9787531692171

《简·奥斯汀的休闲人生》本书共十个章节，分别论述了“音乐、舞蹈、书籍、戏剧、户外活动、玩具和游戏、诗歌和谜语”等休闲活动在简·奥斯汀的日常生活、多部著作以及18世纪的英国社会中是如何体现的，是一部...

有声音乐系列图书 钢琴天天练练 3

E-M.伯纳姆著；钱泥译2018 年出版28 页ISBN：9787552314663

钢琴天天练练 6 有声音乐系列图书

美E-M伯纳姆编，钱泥译2018 年出版61 页ISBN：9787552314694

有声音乐系列图书 钢琴天天练练 5

伯纳姆（Burnam.E.M）著；钱泥译2018 年出版48 页ISBN：9787552314687

有声音乐系列图书 钢琴天天练练 4

E-M·伯纳姆（Burnam E.M.）著；钱泥译2018 年出版34 页ISBN：9787552314670

地质过程的计算机模拟

（美）哈傅（Harbaugh，J.W.），（美）傅纳姆（Bonham-Carter，G.）著；罗人彦等译1986 年出版321 页ISBN：15038·新1045

糖尿病自然疗法 和缓、安全和有效治疗的综合指南

（英）凯瑟琳·史蒂文编著；徐珊，温成平编译1997 年出版158 页ISBN：9578374062

失落的百年致富圣经

（美）华勒思·华特斯，P·T·巴纳姆，乔治·克拉森著2008 年出版255 页ISBN：7802225817

本书是一本翻译古书，虽然时代有些久远，却阐述了经年不变的致富秘诀，对于今天的人们创业致富依然很有帮助。

高阶逻辑辅助证明系统

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

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