普通急救医学行医指南

（美）J.R.罗伯茨（J.R.Roberts）编著；陈景惠，白萍译2000 年出版255 页ISBN：7543312204

DATABASES-ROLE AND STRUCTURE AN ADVANCED COURSE

P.M.STOCKER P.M.D.GRAY M.P.ATKINSON2222 年出版400 页ISBN：0521254302

人类病毒及立克次氏体感染

（美）李佛斯（T.M.Rivers），（美）霍施福（F.L.Horsfall）主编；沈鼎鸿，高骥千主译1964 年出版728 页ISBN：14119·869

模型检测

（美）EDMUND M.CLARKE JR.，ORNA GRUMBERG，DORON A.PELED著；李刚，宋雨等译2015 年出版223 页ISBN：9787121272950

模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...

艺术的故事

（美）V.M.希尔耶（V.M.Hillyer）著2016 年出版422 页ISBN：9787511731159

本书是一部通俗的有关艺术的大众读物，分绘画、雕塑、建筑三个部分，每个部分都从“最早”讲起，介绍其“成长”脉络，评述各个“成长”时期的名家名作，浅显而系统地勾勒出绘画、雕塑、建筑这三个主要艺术形式的发展...

社会问题经济学

（美）夏普（Ansel M.Sharp）等著；郭庆旺，应惟伟译2000 年出版437 页ISBN：7300035078

DCN 设计Cisco网络

（美）Thomas M.ThomasⅡ等著；前导工作室译2001 年出版423 页ISBN：7111092937

安纳托利亚 文化繁盛之地

（美）戴尔·布朗（Dale M.Brown）主编；王淑芳等译2002 年出版198 页ISBN：7219044569

流体力学习题详解 上

（美）怀 特（White，Frank.M.）原著；彭逸凡译著1992 年出版373 页ISBN：7506211645

教学的七个法则

（美）格利哥莱（J.M.Gregory）原著；严既澄译述1926 年出版97 页ISBN：