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

Search Results

Help

Item hits: (Results 11-20 of 81)

Filters    
Items/Page:    Sort:
并发程序的自动分析与验证 [学位论文]
博士, 北京: 中国科学院大学, 2013-06-06
龙震岳
  |  
 
网络社区结构的刻画与查找: 局部视角 [学位论文]
博士, 北京: 中国科学院大学, 2013-05-29
彭攀
  |  
 
安全芯片侧信道能量分析研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2013-05-26
罗鹏
  |  
 
基于属性的数据共享保护方案研究 [学位论文]
硕士, 北京: 中国科学院大学, 2013-05-01
黄杜煜
  |  
 
基于硬件虚拟化的软件安全沙盒技术研究 [学位论文]
硕士, 北京: 中国科学院大学, 2013-05-01
姜军
  |  
 
基于变迁集语义的Petri网行为分析 [学位论文]
博士, 北京: 中国科学院研究生院, 2012-06-01
王云河
  |  
 
基于带赋值符号迁移图的Monte Carlo模型检测 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-05-31
马明
  |  
 
带参的相继式演算 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-05-31
纪开亮
  |  
 
图像纹理特征对隐写安全性的影响与利用研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-05-29
邓果
  |  
 
虚拟网络测评环境构建方法研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-05-25
王佳宾
  |  
 

previous 1 2 3 4 5 6 7 8 9 next

 

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