（美）拉塞尔·M.林登（Russell M.Linden）著；汪大海，吴群芳等译2002 年出版270 页ISBN：7300039693
（美）米切尔（Mitchell，M.）著；韩仰熙等译2000 年出版953 页ISBN：754021239X
本书以女主人公郝思嘉的爱情纠葛和生活遭遇为主线，形象地再现了美国南部种植园经济由兴盛到崩溃，奴隶制经济终为资本主义经济所取代这一美国南方奴隶社会的崩溃史。...
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（美）林达·M.阿普尔盖特（Lynda M. Applegate）等著；阎达五，李勇等译2004 年出版518 页ISBN：7111131711
本书从公司管理的角度探讨了在信息社会，企业该如何转变思维模式和行为模式，优化企业管理，以最大限度的获取信息技术为企业带来的竞争优势。...
（英）斯蒂芬·格瑞（Stephen Gray）著；张辉，张玲译（英国诺丁汉特伦特大学通讯及计算机图形专业）2000 年出版193 页ISBN：7506418460
斯蒂芬·克莱恩（Stephen Crane）著；伍小龙译2005 年出版267 页ISBN：7810795384
贝内特夫妇有五个女儿，最大的愿望也就是把五个女儿称心如意地嫁出去。宾利入住朗伯恩并与简相爱，两人经过一番周折终于美梦成真。
（美）尤里·B.切尔尼亚克（Yuri B.Chernyak），（美）罗伯特·M.罗斯（Robert M.Rose）著；苗锋译1999 年出版376 页ISBN：7500104936
（美）玛丽恩·马修（Marlene M. Maheu），（美）罗娜·萨波特尼克（Rona B. Subotnik）著；杨颖译2005 年出版313 页ISBN：7508704967
本书从理论和实证调查的角度，讨论沉迷于网络对工作，生活，家庭、婚姻以及子女教育的不良影响，劝导和帮助网迷们摆脱困境，使生活重新走上正轨。...
