（加）丹尼尔·亚伦·西尔（Daniel Aaron Silver），（美）特里·尼科尔斯·克拉克（Terry Nichols Clark）著2019 年出版474 页ISBN：9787520136181
世界各地的城市和社区正在迅速变化。这些变化中最引人注目的是向消费的巨大转变。越来越多的城市中心是由它们所提供的消费机会的数量和范围来定义的。以前不怎么显眼的地方，现在已被各种各样的舒适物设施与...
（美）纳撒尼尔·霍桑著；马永波，张云海译2014 年出版184 页ISBN：9787551544016
本书源于希腊神话，作者霍桑通过这些古老的神话故事，注入了新的思想内容，赞扬了人类善良、勇敢的美德，抨击恶毒残忍、冷酷无情的恶行。两本书包括蛇发女妖的头、点金术、儿童乐园、三只金苹果、奇妙的牛奶罐、三...
（美）霍桑（Nathaniel Hawthorne）著2012 年出版257 页ISBN：9787020092512
本书是霍桑的代表作，小说惯用象征手法，人物、情节和语言都颇具主观想象色彩，在描写中又常把人的心理活动和直觉放在首位。因此，它不仅是美国浪漫主义小说的代表作，同时也被称作是美国心理分析小说的开创篇。...
（美）福勒著；黄公夏译2013 年出版353 页ISBN：9787534767968
本书介绍了罗马文学的起源、发展以至没落，以历史年代为序，对重要的作家和作品进行详细点评和鉴赏，是西方大学中的文学史教材。
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
