中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 824)

Filters    
Items/Page:    Sort:
基于稀疏回归模型的交互式因子投资可视分析 [学位论文]
硕士, 北京: 中国科学院研究生院, 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

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace