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

Search Results

Help

Item hits: (Results 61-70 of 816)

Filters    
Items/Page:    Sort:
基于Petri网的分布式作业调度系统的建模与性能分析 [学位论文]
博士, 北京: 中国科学院大学, 2016-06-13
李智佳
  |  
 
检测可操作区域的GUI测试 [学位论文]
硕士, 北京: 中国科学院研究生院, 2016-06-01
孙成龙
  |  
 
面向高效表达的光照计算技术的研究 [学位论文]
博士, 北京: 中国科学院研究生院, 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
段凯强
  |  
 

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

 

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