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

Search Results

Help

Item hits: (Results 1-10 of 18)

Filters    
Items/Page:    Sort:
实时阴影绘制及CUDA在阴影绘制中的应用 [学位论文]
硕士, 北京: 中国科学院研究生院, 2013-11-22
黄鹏
  |  
 
并发程序的自动分析与验证 [学位论文]
博士, 北京: 中国科学院大学, 2013-06-06
龙震岳
  |  
 
公平性约束下基于抽象和推理的活性验证 [学位论文]
博士, 北京: 中国科学院研究生院, 2013-05-31
龙腾
  |  
 
面向真实感绘制的高效组织和表达的研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2013-05-31
谢国富
  |  
 
PaMC带参模型检测工具及其应用研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2013-05-30
周琰
  |  
 
XML处理语言的参数多态化 [学位论文]
博士, 北京: 中国科学院大学, 2013-05-30
许智武
  |  
 
图像的表象编辑和合成技术的研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2013-05-30
别晓辉
  |  
 
雨的真实感绘制及雨和树木交互作用的实时模拟 [学位论文]
硕士, 北京: 中国科学院研究生院, 2013-05-30
江隆盛
  |  
 
模态逻辑的模型构造和完备性证明 [学位论文]
硕士, 北京: 中国科学院研究生院, 2013-05-29
李小燕
  |  
 
伪布尔问题的启发式方法及其应用 [学位论文]
硕士, 北京: 中国科学院研究生院, 2013-05-29
于宝新
  |  
 

1 2 next

 

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