吴文俊著2010 年出版234 页ISBN：9787030283771
1984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...
（美）Roberta Bragg著；吴晓斌，程文俊译2006 年出版444 页ISBN：730213040X
本书第一部分给出降低系统威胁的10项关键措施，是阻止入侵的必要手段；第二部分讲述强化操作系统各项的具体方法和措施；第三部分教读者创建业务连续性计划、指定安全策略以及灾难恢复策略；第四部分对信息安全工作...
（英）康诺利（Connolly，C.），（英）伯吉斯（Burgess，A.）著；李文俊等译1988 年出版232 页ISBN：7540702605
