Search Results

Item hits: (Results 1-10 of 2192)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectSubmitted Time AscendingSubmitted Time DescendingTitle AscendingTitle DescendingIssue Date AscendingIssue Date DescendingAuthor AscendingAuthor Descending
	一种新型形式化验证方法——理论与工具 [学位论文] 博士, 北京: 中国科学院研究生院, 2019-03-08 刘坚   |
	使用增量Voronoi点集的实时点画 [学位论文] 博士, 北京: 中国科学院研究生院, 2018-11-22 马雷   |
	融合⽂本和知识的表⽰学习研究 [学位论文] 博士, 北京: 中国科学院研究生院, 2018-11-01 安波   |
	分批次主动学习方法研究 [学位论文] 博士, 北京: 中国科学院研究生院, 2018-11-01 汪涵默   |
	基于联盟链的数字版权登记系统的设计与实现 [学位论文] 硕士, 北京: 中国科学院研究生院, 2018-11-01 曾靖   |
	椭圆曲线密码体制的故障攻击方法研究 [学位论文] 博士, 北京: 中国科学院研究生院, 2018-11-01 曹伟琼   |
	基于能力依赖图的SEAndroid安全策略分析 [学位论文] 硕士, 北京: 中国科学院研究生院, 2018-06-01 曹佳欣   |
	基于动态逆向分析的软件漏洞分析方法研究 [学位论文] 博士, 北京: 中国科学院研究生院, 2018-06-01 贾相堃   |
	CPU指令测试工具测试方法的改进与实现 [学位论文] 硕士, 北京: 中国科学院研究生院, 2018-06-01 袁悦童   |
	潜变量模型在自然语言生成中的应用 [学位论文] 硕士, 北京: 中国科学院研究生院, 2018-06-01 苏辉   |

1 2 3 4 5 6 7 8 9 10 next