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

Search Results

Help

Item hits: (Results 1-10 of 14)

Filters    
Items/Page:    Sort:
面向高效表达的光照计算技术的研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2016-05-31
王光伟
  |  
 
流体模拟中的界面追踪技术研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2016-05-28
李晓生
  |  
 
Android应用的GUI运行流畅度检测与分析 [学位论文]
硕士, 北京: 中国科学院研究生院, 2016-05-26
黄甜
  |  
 
量子网络演化博弈理论 [学位论文]
博士, 北京: 中国科学院大学, 2016-05-25
雍熙
  |  
 
基于反例制导抽象精化的安全性验证 [学位论文]
博士, 北京: 中国科学院研究生院, 2016-05-25
王伟锋
  |  
 
多重中断驱动C程序的数据竞争检测 [学位论文]
硕士, 北京: 中国科学院研究生院, 2016-05-24
熊浩军
  |  
 
归纳分支互模拟与发散性保持 [学位论文]
硕士, 北京: 中国科学院研究生院, 2016-05-24
廖文琪
  |  
 
基于启发式方法的带参系统形式化验证 [学位论文]
硕士, 北京: 中国科学院大学, 2016-05-24
段凯强
  |  
 
无序正则表达式的确定性判定与推断 [学位论文]
硕士, 北京: 中国科学院研究生院, 2016-05-21
彭飞飞
  |  
 
CTAV/TGA 模型检测工具CTAV 的功能扩展与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2016-05-20
景丽莎
  |  
 

1 2 next

 

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