（美）阿瑟·佩尔（
商业界处在不断变化中，今天管理人员如何计划商业活动，做出决策激励员工，其工作较之几年前已经有了很多不同。要实现商业管理的高效率，你必须了解该领域的这些变化，使这些革新与变化适应自己的商业活动，最重要的.....
（美）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、计算机噪音、计算机变慢或者时间失准、计算机启动黑屏等。
