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

Search Results

Help

Item hits: (Results 151-160 of 248)

Items/Page:    Sort:
密码学中双线性对的构造与计算 [学位论文]
博士, 北京: 中国科学院研究生院, 2012-11-25
张旭升
  |  
 
云环境下访问控制服务技术研究 [学位论文]
博士, 北京: 中国科学院大学, 2012-11-25
王鹏翩
  |  
 
可解映射在程序与系统验证中的应用 [学位论文]
博士后, 北京: 中国科学院研究生院, 2012-06-01
徐鸣
  |  
 
基于变迁集语义的Petri网行为分析 [学位论文]
博士, 北京: 中国科学院研究生院, 2012-06-01
王云河
  |  
 
时序逻辑博弈问题的必胜策略检测 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-06-01
梁虹
  |  
 
命题动态逻辑及其递归扩展 [学位论文]
博士, 北京: 中国科学院研究生院, 2012-06-01
薛冰天
  |  
 
不动点逻辑中的模型构造与推演系统的完备性 [学位论文]
博士, 北京: 中国科学院研究生院, 2012-05-31
屈楠
  |  
 
基于主机的用户伪装入侵检测方法研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-05-31
贺喜
  |  
 
基于带赋值符号迁移图的Monte Carlo模型检测 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-05-31
马明
  |  
 
带参的相继式演算 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-05-31
纪开亮
  |  
 

previous 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 next

 

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