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

Search Results

Help

Item hits: (Results 81-90 of 127)

Filters    
Items/Page:    Sort:
程序验证的理论和方法 [学位论文]
博士, 北京: 中国科学院大学, 2017-05-19
许兆伟
  |  
 
一种基于过程证据的软件可信度模型及评估方法研究 [学位论文]
博士, 北京: 中国科学院大学, 2017-05-15
王德鑫
  |  
 
基于属性密码系统的设计与分析 [学位论文]
博士, 北京: 中国科学院大学, 2017-05-01
王敏倩
  |  
 
基于虚拟机迁移的不可控系统可信执行环境构建技术研究 [学位论文]
博士, 北京: 中国科学院大学, 2017-05-01
吴涛
  |  
 
基于变分贝叶斯的在线回归及新类识别方法研究 [学位论文]
硕士, 北京: 中国科学院大学, 2017-05-01
邓嗣琦
  |  
 
听音辩鼓--17类等谱非等距图形研究及三维扩展 [学位论文]
硕士, 北京: 中国科学院大学, 2017-05-01
刘小会
  |  
 
众测中工作者选择和测试报告分类方法研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2017-05-01
崔强
  |  
 
基于组件的多粒度模拟器框架设计和实现 [学位论文]
硕士, 北京: 中国科学院大学, 2017-05-01
张状
  |  
 
基于CoreOS面向负载整合的集群调度研究 [学位论文]
硕士, 北京: 中国科学院大学, 2017-05-01
张宝婷
  |  
 
流密码新型分析方法及相关问题的研究 [学位论文]
博士, 北京: 中国科学院大学, 2017-05-01
巩欣欣
  |  
 

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

 

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