Search Results

Item hits: (Results 1-10 of 140)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectAuthor AscendingAuthor DescendingTitle AscendingTitle DescendingIssue Date AscendingIssue Date DescendingSubmitted Time AscendingSubmitted Time Descending
	逻辑公式可满足性判定中的推理技术研究 [学位论文] 博士, 北京: 中国科学院研究生院, 2022-05-01 黄沛   |
	带线性可组合归纳谓词和集合数据约束的分离逻辑公式求解 [学位论文] 硕士, 北京: 中国科学院大学, 2019-05-17 高冲   |
	扩展时序协作逻辑的模型检测方法研究 [学位论文] 硕士, 北京: 中国科学院研究生院, 2016-05-01 纪玮   |
	面向无穷数据的形式模型综述 [期刊论文] 软件学报, 2016-01-01, 卷号: 27, 期号: 3, 页码: 682-690 宋富; 吴志林   |
	混成CSP的概率与随机扩充 [学位论文] 硕士, 北京: 中国科学院大学, 2015-05-01 彭宇   |
	时间自动机模拟器CTAV-Simulator的设计与实现 [学位论文] 硕士, 北京: 中国科学院研究生院, 2014-05-01 喻灵婧   |
	基于页面深度复用的应用集成框架设计 [学位论文] 硕士, 北京: 中国科学院研究生院, 2014-05-01 付冉   |
	线性时序逻辑转换Buchi自动机的按需即时算法 [期刊论文] 清华大学学报. 自然科学版, 2014-01-01, 卷号: 54, 期号: 2, 页码: 281-288 单来祥; 覃征; 卢欣晔; 卢正才
	基于可信芯片的平台身份证明方案研究 [期刊论文] 通信学报, 2014-01-01, 卷号: 35, 期号: 8, 页码: 95-106 张倩颖; 冯登国; 赵世军
	基于扩展 LS2的可信虚拟平台信任链分析 [期刊论文] 通信学报, 2013-01-01, 卷号: 34, 期号: 5, 页码: 31-41 常德显; 冯登国; 秦宇; 张倩颖

1 2 3 4 5 6 7 8 9 10 next