（美）（H.R.刘易斯）Harry R.Lewis，（美）（C.H.帕帕季米特里乌）Christos H.Papadimitriou著；张立昂，刘田译2000 年出版244 页ISBN：7302039488
计算理论是计算机科学的理论基础。本书介绍了计算理论最核心、最基本的内容，包括形式语言与自动机、可计算性和计算复杂性三大部分。全书共分七章，分别为：集合、关系和语言；有穷自动机；上下文无关语言；Turing机；.....
（美）（H.R.刘易斯）Harry R.Lewis，（美）（C.H.帕帕季米特里乌）Christos H.Papadimitriou著；张立昂，刘田译2000 年出版244 页ISBN：7302039488
计算理论是计算机科学的理论基础。本书介绍了计算理论最核心、最基本的内容，包括形式语言与自动机、可计算性和计算复杂性三大部分。全书共分七章，分别为：集合、关系和语言；有穷自动机；上下文无关语言；Turing机；.....
（美）J.克雷内克（J.Kraynak），（美）J.哈布拉肯（J.Habraken）著；希望图书创作室译1998 年出版443 页ISBN：7801441192
（美）彼得·G.W.基恩（Peter G.W.Keen），（美）克雷格·巴伦斯（Craigg Ballance）著；骆毅，吕大良译2000 年出版279 页ISBN：7501147264
（美）弗利斯·安格勃特（Phillis Engelbert），（美）丹尼·L.杜普斯（Diane L.Dupuis）著；张士河，宋春雷译2004 年出版541 页ISBN：7801751833
本书为我社引进的美国简明百科全书中的一种，全面介绍了太空方面的知识。
（美）H.H.柯尔（H.H.Cole），（美）P.T.考普斯（P.T.Cupps）主编；中国畜牧兽医学会译1963 年出版595 页ISBN：16119·406
（美）H.H.柯尔（H.H.Cole），（美）P.T.考普斯（P.T.Cupps）主编；中国畜牧兽医学会译1964 年出版411 页ISBN：16119·512
（美）埃弗里特·E. 丹尼斯（Everette E. Dennis），（美）克雷格·L. 拉美（Craig L. LaMay），（美）爱德华·皮斯（Edward Pease）编；张志强等译2005 年出版185 页ISBN：7543456494
（美）梅 尔（Meyer，C.H.），（美）马脱耶斯（Matyas，S.M.）著；刘景伊等译1988 年出版517 页ISBN：7118000701
（美）C.H.布朗著；苏嘉鹏，卢汉译2012 年出版211 页ISBN：9787802438873
本书着重讲述了不同历史阶段舰载机的夜间作战使用，包括作战战术，使人能清晰地了解舰载机夜间着舰的发展情况。
