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

Search Results

Help

Item hits: (Results 51-60 of 95)

Filters        
Items/Page:    Sort:
AADL与Simulink/Stateflow组合建模的形式化分析与验证 [学位论文]
硕士, 北京: 中国科学院研究生院, 2020-06-01
林倩倩
  |  
 
概率μ 演算的一种公理化 [学位论文]
硕士, 北京: 中国科学院研究生院, 2020-06-01
徐俊楠
  |  
 
基于Pull 开发的高质量代码集成推荐技术研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2020-06-01
Muhammad Ilyas Azeem
  |  
 
无权访问的条目 [学位论文]
刘迎辉
  |  
 
带约束的覆盖数组生成问题的局部搜索算法研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2020-05-28
傅英杰
  |  
 
协同序列推荐模型的研究与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2020-05-27
张榕芝
  |  
 
基于视频时序信息的人体动作识别算法研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2020-05-27
孔梦瑶
  |  
 
稠密矩阵乘法运算在国产申威众核处理器SW26010上的高性能并行优化关键技术研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2020-05-27
蒋丽娟
  |  
 
双尺度及多次散射微面元模型的研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2020-05-27
仰鸿斌
  |  
 
基于AADL和Simulink/Stateflow的混成系统图形化建模与仿真 [学位论文]
硕士, 北京: 中国科学院研究生院, 2020-05-27
占浩澜
  |  
 

previous 1 2 3 4 5 6 7 8 9 10 next

 

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