（美）EDMUND M.CLARKE JR.，ORNA GRUMBERG，DORON A.PELED著；李刚，宋雨等译2015 年出版223 页ISBN：9787121272950
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...
（美）Jeffery M.Zupan，（美）Mark Wright著；贾晶，程锦译2005 年出版58 页ISBN：756004560X
本书用中英对照的形式，结合图片和文字，介绍了人类交通的发展历史与现状，尤其讨论了发展公共交通的重要性，以及各国在这方面采取的做法。...
（美）M.David Stone，（美）Alfred Poor著；邓刚，吴浩译2001 年出版326 页ISBN：7301050631
本书以独立的问题为单元组织全文，内容包括计算机崩溃、计算机硬件和Windows、计算机噪音、计算机变慢或者时间失准、计算机启动黑屏等。
（美）V.M.希尔耶（V.M.Hillyer）著2016 年出版422 页ISBN：9787511731159
本书是一部通俗的有关艺术的大众读物，分绘画、雕塑、建筑三个部分，每个部分都从“最早”讲起，介绍其“成长”脉络，评述各个“成长”时期的名家名作，浅显而系统地勾勒出绘画、雕塑、建筑这三个主要艺术形式的发展...
WRITING RESEARCH PAPERS ACROSS THE CURRICULUM
SUSAN M.HUBBUCH著2008 年出版450 页ISBN：
（罗）萨多维亚努（M.Sadoveanu）著；朱惠译1979 年出版178 页ISBN：
这是根据罗马尼亚民间故事故事写成的一篇小说。主人公尼契福.里本，是个咯尔巴阡山山民，他远离妻子到边远地区去贩羊，可是一去不返，音讯杳然。他的妻子维多利亚日夜想念，终于下了决心，同他们的儿子乔琪察出去寻......
DIAGNOSIS AND TREATMENT OF UPPER GASTROINTESTINAL TUMORS
M.FRIEDMAN M.OGAWA D.KISNER2222 年出版538 页ISBN：902199500X
（美）卡明（Kamin.M.）著2010 年出版170 页ISBN：9787113113643
卓越的客户服务是客户满意度和忠诚度的关键。作者着力在价值和目标方面阐述客户服务。并引入全面的思想到专业的实践中。本书将帮助一线客服工作者掌握增强客户忠诚度和信任感的关键技巧。...
RICHARD L.DRAKE，WAYNE VOGL，ADAM W.M.MITCHELL著2006 年出版1058 页ISBN：9787810718554
该书是世界著名的格氏解剖学家族的全新版本，按人体局部分区来组织结构，每章将临床解剖局部结构的功能进行概念性总结、有小节讲述体表解剖学，并附带图表和精美图片。...
