（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（美）林达·M.阿普尔盖特（Lynda M. Applegate）等著；阎达五，李勇等译2004 年出版518 页ISBN：7111131711
本书从公司管理的角度探讨了在信息社会，企业该如何转变思维模式和行为模式，优化企业管理，以最大限度的获取信息技术为企业带来的竞争优势。...
（美）玛丽恩·马修（Marlene M. Maheu），（美）罗娜·萨波特尼克（Rona B. Subotnik）著；杨颖译2005 年出版313 页ISBN：7508704967
本书从理论和实证调查的角度，讨论沉迷于网络对工作，生活，家庭、婚姻以及子女教育的不良影响，劝导和帮助网迷们摆脱困境，使生活重新走上正轨。...
（美）达洛尔·M.韦斯特著2010 年出版167 页ISBN：9787301165164
本书对美国媒介的报道倾向的变迁以及与社会发展的关系做了细致的分析，对于了解美国媒介的运作机制有一定参考价值。
（美）杰文斯（Jevons，M.）著；王红夏等译2006 年出版200 页ISBN：7111186664
本书是一本悬疑小说。书中以经济学原理为推理依据，将晦涩的经济学原理通过通俗易懂的事例解释清楚，深入浅出，角度新颖。对经济学感兴趣的读者、经济学专业本科生来说，是一种学习经济原理更容易的方法。...
（美）理查德（Richard，B.B.），（美）罗伯特（Robert，L.K.）编著；孙志明等译2007 年出版161 页ISBN：7543321769
本书系统而简洁地介绍了脊柱骨折、骨盆骨折、股骨骨折、腓骨骨折、锁骨骨折等各种骨折的损伤机制，影像学检查、诊断、治疗及并发症等内容。...
传播学史 一种传记式的方法 a biographical approach
（美）E. M. 罗杰斯（Everett M. Rogers）著；殷晓蓉译2005 年出版498 页ISBN：7532737063
本书循着传播学发展的现实轨道和思想脉络，追溯了构成人类传播学的整整一个世纪的事件，并在此基础上翔实而又准确地论述了一门新兴学科的产生与发展的过程。...
（美）罗伯特·卡普兰（Robert S.Kaplan），（美）大卫·诺顿（David P.Norton）著；刘俊勇，孙薇译2004 年出版259 页ISBN：7806777539
本书全面介绍了作者所发明的管理工具——平衡计分卡的原理和应用。平衡计分卡的思想是将企业的战略目标分解成财务、客户、内部经营流程、员工学习与成长四个层面，用这四个层面的指标来指导企业的日常经营行...
