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

Search Results

Help

Item hits: (Results 101-110 of 248)

Items/Page:    Sort:
基于集成学习的钓鱼网页检测系统 [学位论文]
硕士, 北京: 中国科学院大学, 2016-05-25
冯庆
  |  
 
基于反例制导抽象精化的安全性验证 [学位论文]
博士, 北京: 中国科学院研究生院, 2016-05-25
王伟锋
  |  
 
移动智能终端远程证明方案研究与设计 [学位论文]
硕士, 北京: 中国科学院研究生院, 2016-05-25
詹世才
  |  
 
多重中断驱动C程序的数据竞争检测 [学位论文]
硕士, 北京: 中国科学院研究生院, 2016-05-24
熊浩军
  |  
 
归纳分支互模拟与发散性保持 [学位论文]
硕士, 北京: 中国科学院研究生院, 2016-05-24
廖文琪
  |  
 
基于邻域的图数据动态分割算法研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2016-05-24
张晓媛
  |  
 
基于启发式方法的带参系统形式化验证 [学位论文]
硕士, 北京: 中国科学院大学, 2016-05-24
段凯强
  |  
 
对称密码中的理论分析型侧信道攻击 [学位论文]
博士, 北京: 中国科学院研究生院, 2016-05-21
杜少宇
  |  
 
无序正则表达式的确定性判定与推断 [学位论文]
硕士, 北京: 中国科学院研究生院, 2016-05-21
彭飞飞
  |  
 
可线性化性错误的自动化定位与分析技术研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2016-05-19
陈旸
  |  
 

previous 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 next

 

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