石油 英汉对照 VOL.129

（英）威麦克（Wymerk，N.）编；顾国宁，高国沛译1988 年出版95 页ISBN：7100003652

暂缺《石油：英汉对照》简介

乳腺外科围术期处理

金中奎，邱新光，林晶主编；李林，王芳，吕鹏威副主编；王芳，王艳英，吕鹏威等编2014 年出版274 页ISBN：9787509171295

本书共3篇17章。第一篇乳腺外科基础理论，介绍了乳房的发育、解剖和生理，乳腺疾病的病史采集及检查，乳腺癌的流行病学、危险因素、病理分期、诊断、治疗和预后，乳腺疾病的活检，乳腺外科常用的麻醉方法，以及乳腺外....

鹅妈妈的童谣

（英）凯特·格林纳威编绘；楚天悦少儿阅读研究中心译2012 年出版42 页ISBN：9787514306859

本书以故事和童谣的形式，帮助孩子认识自然、认识事物、了解做人的道理。以此引导孩子健康成长，快乐向上。

远方与往昔

（英）威·亨·赫德逊著；沙铭瑶译2002 年出版305 页ISBN：7530631357

本书包括最早的回忆，我的新家，老狗之死，种植园，草原面面观，对禽鸟的几次冒险行动，我初次访问布宜诺斯艾利斯等散文作品。

看得见风景的房间 2 导读剧照版

（英）爱德华·摩根·福斯特著；叶紫莹译；何亮丛书主编2014 年出版267 页ISBN：9787565620454

一位出身英国书香之家的大家闺秀露西在佛罗伦萨旅行时，遇到英国青年乔治，乔治对她的倾慕令她禁不住心动，当露西和乔治在英国重逢后，露西的真情一发不可收拾，最后她冲破传统束缚，解除既定的婚约，选择了跟她相爱......

污染中的生物化学

（英）J.H.奥特威著；吴文芳译1986 年出版82 页ISBN：13341·13

名利场 简写本

（英）威·麦·撒克里（W.M. Thackeray）原著；伊夫林·阿特伍德编；孙静渊译1982 年出版133 页ISBN：10215·53

恐怖小说

（英）威斯科著2009 年出版294 页ISBN：9787544614078

本书对“恐怖小说”进行了界定，简要介绍了恐怖小说的元素、文学表现等，罗列了主要的恐怖小说、电影作品和文学史上重要的历史事件等，并指导读者如何阅读恐怖小说。...

怒火重燃

（英）理查德·摩根著；朱佳文译2017 年出版650 页ISBN：9787536486256

本书是理查德·摩根最著名的“武·科瓦奇”系列之一。该系列均以二十五世纪为背景。那时，人类已经实现了太空殖民，同时掌握了意识的上传和远程传输技术。有钱人可以永久性地保存自己的意识，不断更新，不断将这份...

高阶逻辑辅助证明系统

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

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