当前位置：首页 > 名称
大约有20,000项符合查询结果项。（搜索耗时：0.0172秒）
为您推荐： 高层建筑结构的选型 构造及简化计算 兴蒙造山带中部晚古生代晚期构造演化及旅游地学研究 计算机研究与发展 编辑部编辑 全国计算机技术与软件专业技术资格 计算机技术与应用进展 编委会编 构造
-
递归可枚举集和图灵度 可计算函数与可计算生成集研究
ROBERT I.SOARE2007 年出版437 页ISBN：7030182952本书是递归论方面的研究生教材之一，得到了国内外同行的广泛认可。
-
-
-
-
-
-
-
-
国外计算机科学教材系列 可计算性与数理逻辑
（美）布勒斯（Boolos，G.S.）等著2003 年出版356 页ISBN：7505388282本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题，并重新组织和改写了某些章节，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。...
-
大学生专业学习指南 分册12 数学与应用数学 信息与计算科学 统计学 计算机科学与技术 电子商务 软件工程
刘湘溶主编；罗治国册主编2006 年出版295 页ISBN：7810815989本书对数学与计算机科学学院所开专业所开设的6个专业进行介绍，并提供学习指导。