(美)贝克尔(R.H.Barker)著;冯雄译1935 年出版133 页ISBN:
书名原文:Theuniverseunfolding:thestoryofman'sincreasingcomprehensionoftheuniversearoundhim:论述银河系及银河以外之星团,星云和尘云,群星之距离,并论及宇宙之边界问题。...
(美)H.H.尤里克(Herbert H.Uhlig),(美)R.W.瑞维亚(R.Winston Revie)著;翁永基译1994 年出版536 页ISBN:7502111700
(美)HARRY R.LEWIS CHRISTOS H.PAPADIMITRIOU著;张立昂 刘田译2006 年出版244 页ISBN:7302132887
本书介绍计算理论,包括形式语言与自动机、可计算性和计算复杂性三部分内容。
(美)埃克豪斯(R.H.Eckhouse),莫里斯(L.R.Morris)著;天津大学计算机工程与科学系译1984 年出版555 页ISBN:15043·4163
(美)罗伯特·斯库塞斯(Robert Schultheis),(美)玛丽·萨姆纳(Mary Sumner)著;李一军等主译2000 年出版820 页ISBN:7810446363