吴文俊著2010 年出版234 页ISBN：9787030283771
1984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...
叶文俊，叶青，林永辉等主编2008 年出版132 页ISBN：9787534134142
本书旨在指导课内的学习与课外的巩固提高有机地结合起来，通过课内外的学习，使学生的学习能力得到提高.在编写中力求体现基础性，技巧性，针对性，示范性，同步性，全面性。...
（美）Roberta Bragg著；吴晓斌，程文俊译2006 年出版444 页ISBN：730213040X
本书第一部分给出降低系统威胁的10项关键措施，是阻止入侵的必要手段；第二部分讲述强化操作系统各项的具体方法和措施；第三部分教读者创建业务连续性计划、指定安全策略以及灾难恢复策略；第四部分对信息安全工作...
詹才浩主编2008 年出版415 页ISBN：9787302177258
本书详细介绍了Solidworks设计产品的方法和技巧。
石川浩二文图2009 年出版27 页ISBN：9787539149639
著名绘本作家石川浩二继“挖空认知绘本”后的又一力作。颜色鲜艳的画面，小船在大海上的悠闲旅行故事，在品读的过程中，一起感受夏日风情。...
