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

Search Results

Help

Item hits: (Results 1-10 of 42)

Filters    
Items/Page:    Sort:
Java内存模型的动静态结合验证方法 [学位论文]
硕士, 北京: 中国科学院研究生院, 2018-05-16
李亮
  |  
 
基于体系结构的网构软件建模研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2015-05-01
王健
  |  
 
基于实物交互的儿童故事创作系统 [学位论文]
硕士, 北京: 中国科学院大学, 2013-05-29
何亮
  |  
 
面向银行业的交互式审计建模工具的设计与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2013-05-29
梁汨
  |  
 
连续时间马尔科夫链模型上的模型检测算法研究与工具实现 [学位论文]
硕士, 北京: 中国科学院大学, 2013-05-27
高杨
  |  
 
能量分析攻击测评技术研究及原型系统研制 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-05-29
韩阳
  |  
 
面向儿童的图形化编程系统的研究和实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2011-06-01
陈厦建
  |  
 
一种改进的类比估算方法及案例研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-03
李效云
  |  
 
基于相关反馈的需求跟踪关系建立和维护方法 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-05-27
孔令军
  |  
 
基于手势的视觉用户界面研究 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2010-01-19
武汇岳
  |  
 

1 2 3 4 5 next

 

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