(美)罗森堡(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