（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
（美）汤姆·克兰西（Tom Clancy）著；管舒宁，陈瑛，卢秋平译2005 年出版326 页ISBN：7532737098
汤姆克兰西被称为“恐怖预言大师”，在《虎牙》中，克兰西为美国人呈现出了未来反恐作战的蓝图。作者用大量的时政分析和对谍报细节的描写推动着惊险、刺激的情节。...
宝宝上幼儿园准备绘本 让孩子学会交朋友、讲卫生、懂分享、做自己 神奇的绿雨伞
（美）杰基·阿苏阿·克莱默著；（美）马拉尔·萨索尼绘2018 年出版28 页ISBN：7515349506
《宝宝上幼儿园准备绘本》一共包含5册，这5册绘本主题分明，从交朋友、讲卫生、守规则、懂分享、兴趣培养等方面，全方位为孩子做好入园的社交、心理、习惯培养的准备，从而帮助孩子克服入园焦虑情绪，快速适应幼儿园...
（澳）戴维·玛尔（David Marr）著；陈弘译2000 年出版379 页ISBN：7805317143
《无边的曼荼罗——怀特传》的作者戴维·玛尔与怀特过从甚密，怀持生前曾同他就作传之事有过深谈。怀特故去后，玛尔多方收集信函和其他资料，采访怀特的亲朋好友，并在此基础上写成了这部《无边的曼荼罗——怀特传...
（德）汉斯·约尔格·奥斯坦，（瑞士）奥特玛尔·坦兹，（奥）赛尔曼·尤安纽斯著2015 年出版450 页ISBN：9787543335301
意外伤害包括老人发生意外、运动伤害，以及因交通事故创伤引起的伤害等，所造成的严重后果使得人们对它越来越重视。虽然技术的进步使得患者预后越来越好，但是手术创伤体系目前还尚未完全建立。本书重点讲述骨与...
百年前的中国 19世纪大英皇家建筑师Thomas Allom笔下的中国画卷
（英）托马斯·阿罗姆著；宗端华，黄曦译2016 年出版232 页ISBN：9787515344041
《百年前的中国》（The Chinese empire illustrated）含图167幅，由赖特牧师撰写图片说明，并对中国历史作了简明介绍。这本书一经问世，很快成为英国乃至欧洲最有名的插图本中国历史教科书，是西方人了解中国的最重要...
（美）克兰多著2013 年出版229 页ISBN：9787300178486
本书详细分析了价值投资法，包括价值投资策略及选股，基本面分析方法等。帮助读者实际应用投资大师本杰明·格雷厄姆和沃伦·巴菲特的价值投资法。...
