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

Search Results

Help

Item hits: (Results 41-50 of 80)

Items/Page:    Sort:
公平性约束下基于抽象和推理的活性验证 [学位论文]
博士, 北京: 中国科学院研究生院, 2013-05-31
龙腾
  |  
 
PaMC带参模型检测工具及其应用研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2013-05-30
周琰
  |  
 
XML处理语言的参数多态化 [学位论文]
博士, 北京: 中国科学院大学, 2013-05-30
许智武
  |  
 
面向企业的行业微博信息推荐关键技术研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2013-05-29
吴雨龙
  |  
 
高可用虚拟机池化管理框架的设计与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2013-05-29
罗涛
  |  
 
时间自动机模型检测具体反例的生成与图形化显示 [学位论文]
硕士, 北京: 中国科学院研究生院, 2013-05-29
信贤卫
  |  
 
连续时间马尔科夫链模型上的模型检测算法研究与工具实现 [学位论文]
硕士, 北京: 中国科学院大学, 2013-05-27
高杨
  |  
 
面向Web应用的软件部署关键技术研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2013-05-27
陈伟
  |  
 
VANET发布订阅系统中数据传递的优化技术研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2013-05-27
张扶桑
  |  
 
Web 应用在线故障诊断框架的设计与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-11-01
周晓炜
  |  
 

previous 1 2 3 4 5 6 7 8 next

 

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