北京师范大学数学科学学院主编;罗里波编著2012 年出版300 页ISBN:9787303136025
本书已于2011年1月27日正式签署合同。本书是为了给数学系和计算机科学系的本科生和研究生开设模型论课而写的,其主要内容是模型论的基本原理和它在计算机科学中的计算复杂度理论和机器证明等方面的应用。书...
刁顺,赵国,刘鸿友等主编2009 年出版573 页ISBN:9787502168339
本书分六部分,第一部分高性能计算,第二部分勘探开发新技术,第三部分实用软硬件技术,第四部分网络技术,第五部分信息安全,第六部分油田信息化建设技术及方案。...
樊广佺著2010 年出版185 页ISBN:9787502451585
计算几何作为计算机科学的一个分支,本书首先对它的新发展和研究工作进行了综述性的介绍。论述了KDTIM理论的内涵;通过对计算几何中的一些问题的研究,提出一些新的理论与算法;将计算几何的理论方法应用于空间数...