（美）罗森堡（Rosenberg，N.），（美）小伯泽尔（Birdzell，L.E.Jr.）著；刘赛力等译1989 年出版392 页ISBN：7108002450
（美）史密斯（Smith，DatusC.Jr）著；彭松建，赵学范译1994 年出版288 页ISBN：7301021771
书名原文:Aguidetobookpublishingrevisededition:据美国华盛顿大学出版社出版的《图书出版指南》1989年英语(修订)版翻译:本书包括:图书出版业和国家的发展、图书的出版过程、图书出版业种类等5部分。...
（美）（S.斯坦菲尔德）Scott Stanfield，（美）（R.阿维森）Ralph Arvesen著；华译工作室译1997 年出版575 页ISBN：7111056566
（美）拉尔夫·尼尔森·艾略特（Ralph Nelson Elliott）原著；（美）小罗伯特·R.普莱切特（Robert Rougelot Prechter，Jr.）著；陈鑫译2003 年出版263 页ISBN：7111104625
（美）小沃尔特·M.米勒（Walter M.Miller，Jr）著；俞建青译2004 年出版316 页ISBN：7536454848
本书为科学幻想小说。书中讲述核战以后，人类文明倒退回黑暗时代。700年后的莱博维茨偶然间发现了一份20世纪工程写下的备忘录，借助于它，人们可以探索遥远的人类文明兴旺发达的过去。...
（美）斯格特·弗茨杰拉德（F.Scott Fitzgerald）著；孙建华注释1992 年出版195 页ISBN：7560007872
（美）EDMUND M.CLARKE JR.，ORNA GRUMBERG，DORON A.PELED著；李刚，宋雨等译2015 年出版223 页ISBN：9787121272950
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...
（美）（C.T.霍恩格伦）Charles T. Horngren，（美）（W.T.哈里森）Walter T. Harrison，Jr.，（美）（M.A.鲁滨逊）Michael A. Robinson著1998 年出版1196 页ISBN：7302027234
