Search Results

Item hits: (Results 1-10 of 824)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectTitle AscendingTitle DescendingAuthor AscendingAuthor DescendingSubmitted Time AscendingSubmitted Time DescendingIssue Date AscendingIssue Date Descending
	基于稀疏回归模型的交互式因子投资可视分析 [学位论文] 硕士, 北京: 中国科学院研究生院, 2020-06-01 王德运   |
	AADL与Simulink/Stateflow组合建模的形式化分析与验证 [学位论文] 硕士, 北京: 中国科学院研究生院, 2020-06-01 林倩倩   |
	概率μ 演算的一种公理化 [学位论文] 硕士, 北京: 中国科学院研究生院, 2020-06-01 徐俊楠   |
	带约束的覆盖数组生成问题的局部搜索算法研究 [学位论文] 硕士, 北京: 中国科学院研究生院, 2020-05-28 傅英杰   |
	基于AADL和Simulink/Stateflow的混成系统图形化建模与仿真 [学位论文] 硕士, 北京: 中国科学院研究生院, 2020-05-27 占浩澜   |
	确定性正则语言及其子类的研究 [学位论文] 硕士, 北京: 中国科学院研究生院, 2020-05-26 褚新宇   |
	多线程程序死锁的动态预测方法研究 [学位论文] 硕士, 北京: 中国科学院研究生院, 2020-05-20 孟瑞杰   |
	Health Index: 大规模云服务状态监测系统 [学位论文] 硕士, 北京: 中国科学院研究生院, 2020-01-01 余如雷   |
	时滞动态系统的形式验证与控制生成 [学位论文] 博士, 北京: 中国科学院大学, 2019-05-24 陈明帅   |
	SMT约束的解计数方法研究 [学位论文] 博士, 北京: 中国科学院研究生院, 2019-05-20 葛存菁   |

1 2 3 4 5 6 7 8 9 10 next