Search Results

Item hits: (Results 1-10 of 816)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectIssue Date AscendingIssue Date DescendingTitle AscendingTitle DescendingAuthor AscendingAuthor DescendingSubmitted Time AscendingSubmitted Time Descending
	时滞动态系统的形式验证与控制生成 [学位论文] 博士, 北京: 中国科学院大学, 2019-05-24 陈明帅   |
	SMT约束的解计数方法研究 [学位论文] 博士, 北京: 中国科学院研究生院, 2019-05-20 葛存菁   |
	带线性可组合归纳谓词和集合数据约束的分离逻辑公式求解 [学位论文] 硕士, 北京: 中国科学院大学, 2019-05-17 高冲   |
	加强感知的边缘提取及其在去模糊和超像素分割中的应用 [学位论文] 硕士, 北京: 中国科学院研究生院, 2019-05-17 邱枫   |
	网络算法编程语言的设计、实现与代码自动生成 [学位论文] 硕士, 北京: 中国科学院研究生院, 2019-05-17 王健   |
	约束优化难解问题的高效算法研究 [学位论文] 博士, 北京: 中国科学院研究生院, 2019-05-14 王少将   |
	基于结构信息的数据分析原理与技术 [学位论文] 博士, 北京: 中国科学院大学, 2019-05-01 殷宪晨   |
	基于稀疏轨迹数据的城市人群移动可视分析 [学位论文] 硕士, 北京: 中国科学院大学, 2019-05-01 黄聪聪   |
	多线程程序中并发缺陷的动态分析 [学位论文] 硕士, 北京: 中国科学院研究生院, 2019-05-01 朱碧云   |
	基于关联规则学习的带参验证系统 [学位论文] 硕士, 北京: 中国科学院大学, 2019-05-01 曹嘉伦   |

1 2 3 4 5 6 7 8 9 10 next