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

Search Results

Help

Item hits: (Results 71-80 of 217)

Filters    
Items/Page:    Sort:
基于启发式方法的带参系统形式化验证 [学位论文]
硕士, 北京: 中国科学院大学, 2016-05-24
段凯强
  |  
 
云应用部署与动态自配置服务设计与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2016-05-24
梁超超
  |  
 
Linux内核热修复框架的设计和实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2016-05-24
霍天霖
  |  
 
对称密码中的理论分析型侧信道攻击 [学位论文]
博士, 北京: 中国科学院研究生院, 2016-05-21
杜少宇
  |  
 
分组密码密钥编排的分析与设计 [学位论文]
博士, 北京: 中国科学院大学, 2016-05-21
汪艳凤
  |  
 
下一代可信计算协议的设计与分析 [学位论文]
博士, 北京: 中国科学院研究生院, 2016-05-21
邵健雄
  |  
 
流密码代数分析方法研究及其应用 [学位论文]
博士, 北京: 中国科学院大学, 2016-05-21
矫琳
  |  
 
无序正则表达式的确定性判定与推断 [学位论文]
硕士, 北京: 中国科学院研究生院, 2016-05-21
彭飞飞
  |  
 
基于生成式对抗网络的人脸表情合成 [学位论文]
硕士, 北京: 中国科学院研究生院, 2016-05-21
乔逢春
  |  
 
CTAV/TGA 模型检测工具CTAV 的功能扩展与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2016-05-20
景丽莎
  |  
 

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

 

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