（美）弗朗西斯·霍奇森·伯内特（Frances Hodgson Burnett）著；李文俊译2004 年出版225 页ISBN：7806576517
本书为世界著名儿童文学作家F.H.伯内特夫人的经典名作，畅销将近一个世纪，多次被改拍成电影。《方特尔洛伊小爵爷》是伯内特夫人的成名作，讲述了一个天赋美质的小男孩经历人生巨变，成为爵位继承人的故事。小主人...
吴文俊著2010 年出版234 页ISBN：9787030283771
1984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...
（美）Roberta Bragg著；吴晓斌，程文俊译2006 年出版444 页ISBN：730213040X
本书第一部分给出降低系统威胁的10项关键措施，是阻止入侵的必要手段；第二部分讲述强化操作系统各项的具体方法和措施；第三部分教读者创建业务连续性计划、指定安全策略以及灾难恢复策略；第四部分对信息安全工作...
