Search Results

Item hits: (Results 1-10 of 848)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectSubmitted Time AscendingSubmitted Time DescendingAuthor AscendingAuthor DescendingTitle AscendingTitle DescendingIssue Date AscendingIssue Date Descending
	智能合约的时间约束模式及其形式化验证 [学位论文] 硕士, 北京: 中国科学院研究生院, 2021-11-25 赵颖琪   |
	关注拓扑的三维模型参数化算法研究 [学位论文] 博士, 北京: 中国科学院研究生院, 2021-11-01 赵辉   |
	面向 LLVM IR 的异常控制流不可行性分析 [学位论文] 硕士, 北京: 中国科学院研究生院, 2021-11-01 刘力铭   |
	时滞动态系统的安全验证 [学位论文] 硕士, 北京: 中国科学院研究生院, 2021-05-28 刘文有   |
	混成系统的安全控制器合成与分析 [学位论文] 博士, 北京: 中国科学院大学, 2021-05-28 白云军   |
	基于物理的织物污渍时变材质模拟研究 [学位论文] 博士, 北京: 中国科学院研究生院, 2021-05-28 郑屹   |
	扩展正则表达式及其自动机的学习算法的研究 [学位论文] 博士, 北京: 中国科学院研究生院, 2021-05-27 汪小凡   |
	含有指针算术和归纳定义的分离逻辑判定算法 [学位论文] 硕士, 北京: 中国科学院研究生院, 2021-05-26 苏婉昀   |
	移动嵌入式可信执行环境和数据隐私保护研究 [学位论文] 博士, 北京: 中国科学院大学, 2021-05-26 刘敬彬   |
	增强特征提取有效性的图像显著性检测方法研究 [学位论文] 博士, 北京: 中国科学院研究生院, 2021-05-26 张哲   |

1 2 3 4 5 6 7 8 9 10 next