（英）威麦克（Wymerk，N.）编；顾国宁，高国沛译1988 年出版95 页ISBN：7100003652
暂缺《石油：英汉对照》简介
金中奎，邱新光，林晶主编；李林，王芳，吕鹏威副主编；王芳，王艳英，吕鹏威等编2014 年出版274 页ISBN：9787509171295
本书共3篇17章。第一篇乳腺外科基础理论，介绍了乳房的发育、解剖和生理，乳腺疾病的病史采集及检查，乳腺癌的流行病学、危险因素、病理分期、诊断、治疗和预后，乳腺疾病的活检，乳腺外科常用的麻醉方法，以及乳腺外....
（英）凯特·格林纳威编绘；楚天悦少儿阅读研究中心译2012 年出版42 页ISBN：9787514306859
本书以故事和童谣的形式，帮助孩子认识自然、认识事物、了解做人的道理。以此引导孩子健康成长，快乐向上。
（英）威·亨·赫德逊著；沙铭瑶译2002 年出版305 页ISBN：7530631357
本书包括最早的回忆，我的新家，老狗之死，种植园，草原面面观，对禽鸟的几次冒险行动，我初次访问布宜诺斯艾利斯等散文作品。
（英）爱德华·摩根·福斯特著；叶紫莹译；何亮丛书主编2014 年出版267 页ISBN：9787565620454
一位出身英国书香之家的大家闺秀露西在佛罗伦萨旅行时，遇到英国青年乔治，乔治对她的倾慕令她禁不住心动，当露西和乔治在英国重逢后，露西的真情一发不可收拾，最后她冲破传统束缚，解除既定的婚约，选择了跟她相爱......
（英）威斯科著2009 年出版294 页ISBN：9787544614078
本书对“恐怖小说”进行了界定，简要介绍了恐怖小说的元素、文学表现等，罗列了主要的恐怖小说、电影作品和文学史上重要的历史事件等，并指导读者如何阅读恐怖小说。...
（英）理查德·摩根著；朱佳文译2017 年出版650 页ISBN：9787536486256
本书是理查德·摩根最著名的“武·科瓦奇”系列之一。该系列均以二十五世纪为背景。那时，人类已经实现了太空殖民，同时掌握了意识的上传和远程传输技术。有钱人可以永久性地保存自己的意识，不断更新，不断将这份...
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
