吴文俊著2010 年出版234 页ISBN:9787030283771
1984年,吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版,这部专著遵循机械化思想引进数系和公理,依照机械化观点系统地分析了各类几何体系,明确建立了各类几何的机械化定理,着重阐明几何定理机...
(美)Roberta Bragg著;吴晓斌,程文俊译2006 年出版444 页ISBN:730213040X
本书第一部分给出降低系统威胁的10项关键措施,是阻止入侵的必要手段;第二部分讲述强化操作系统各项的具体方法和措施;第三部分教读者创建业务连续性计划、指定安全策略以及灾难恢复策略;第四部分对信息安全工作...
单国强主编2014 年出版445 页ISBN:9787300182834
明清两代作为中国封建社会最后阶段的两个王朝,呈现出文人画成为画坛主流,工艺美术的文人化和世俗情趣的渗透三大共性时代特征。清朝历经的早、中、晚三个阶段也使美术展现出承继拓展期、繁荣多彩期、古今转型...
杨文俊著2015 年出版156 页ISBN:9787030444400
事件相关电位和测谎的研究源自国家自然科学基金八六三课题:“探索人脑功能新原理--计算机科学在医学生物工程中的应用”,课题编号6880322。该课题的第一部分是三维脑电地形图彩色显示系统的研究。第二部分是...
(英)康诺利(Connolly,C.),(英)伯吉斯(Burgess,A.)著;李文俊等译1988 年出版232 页ISBN:7540702605
吴文俊著2010 年出版298 页ISBN:9787030285072
本书是作者从1954年以来在这方面的研究工作的一个总结报告,它的方法在于研究空间的去核p重积,即将p重积除去对角以后所余的空间,这一概念可追溯到vanKampen早在1932年的一篇重要论文。...
单晓梅主编2010 年出版154 页ISBN:9787542414052
恶性肿瘤是严重危害人民健康的一种常见病,而放化疗是治疗肿瘤的两大手段,但放化疗在杀灭癌细胞的同时,也损伤正常细胞,引起一些毒副反应,因此,放化疗患者的护理在肿瘤治疗中非常重要。本书分七部分,主要针对肿......
虞愚著;单正齐编2018 年出版490 页ISBN:9787100156592
本文集中收录《因明学》《印度逻辑》《因明学发展过程简述》《因明的基本规律》《印度逻辑推理与推论式的发展及其贡献》《论论因明学中关于喻支问题》《试论因明学中关于现量与比量问题》《法称在印度逻辑...