即学即用英文交友

（英）英格丽德·弗里班（Ingrid Freebairn）著；王静译2002 年出版207 页ISBN：7560030297

物理学的进化

（德）艾·爱因斯坦（A.Einstein），（波）利·英费尔德（L.Infeld）著；周肇威译1999 年出版210 页ISBN：7535528562

宝宝安康指南

（英）米丽娅姆·斯托帕德（Miriam Stoppard）著；斯悦等译2000 年出版309 页ISBN：7801313720

本书内容包括：了解你孩子的身体构造、对病中孩子的护理、物理诊断指南、常见病症、安全、急救和个人健康档案等。

非洲历险

（英）威勒德·普赖斯（Willard Price）著；骆行健译2005 年出版164 页ISBN：7530113887

哈尔和罗杰带领一支狩猎队来到非洲，被一个无情的杀手视为眼中钉，在兄弟俩追踪野牛的过程中，用真情感动了杀手，反而将“豹团”一网打尽。...

咕噜一家 走为上计

（英）菲利普·阿德著；（德）阿克塞尔·舍夫勒绘；胡蓉译2016 年出版225 页ISBN：7549588442

非洲传统宗教

（英）帕林德（Parrinder，E.G.）著；张治强译1992 年出版160 页ISBN：7100009626

本书介绍了非洲各地形形色色的宗教信仰、崇拜、迷信、礼仪、法术，各种宗教信仰的历史和现状，并将这些宗教与三大宗教进行了对比。

爱上浪漫

（英）阿兰·德波顿（Alain de Botton）著；刘凯芳译2004 年出版284 页ISBN：7532732800

本书为现代长篇小说，以一个并不复杂的爱情故事为凭藉，将诸多关于情爱的有趣而又精巧的思想依托其上，给人深思的空间，并产生共鸣。

可怕的科学 力的惊险故事

（英）尼克·阿诺德著；岳金霞译；（英）托尼·德·索雷斯绘2010 年出版163 页ISBN：9787530123577

可怕的科学系列丛书是英国学者出版社用多年时间打造的经典图书。全套丛书分为经典科学系列、体验课堂系列、科学新知系列、经典数学系列、自然探秘系列等多个系列。...

可怕的科学 魔鬼头脑训练营

（英）尼克·阿诺德著；盖志琨，常文昭译；（英）托尼·德·索雷斯绘2009 年出版116 页ISBN：9787530123744

可怕的科学系列丛书是英国学者出版社用多年时间打造的经典图书。全套丛书分为经典科学系列、体验课堂系列、科学新知系列、经典数学系列、自然探秘系列等多个系列。...

高阶逻辑辅助证明系统

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

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