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

Search Results

Help

Item hits: (Results 1-10 of 95)

Items/Page:    Sort:
Java内存模型的动静态结合验证方法 [学位论文]
硕士, 北京: 中国科学院研究生院, 2018-05-16
李亮
  |  
 
基于体系结构的网构软件建模研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2015-05-01
王健
  |  
 
PhysiolComp Toolkit:一个生理计算交互工具箱的分析与设计 [期刊论文]
计算机学报, 2015-01-01, 卷号: 38, 期号: 12, 页码: 2464-2476
陈毅能; 路璐; 胡伟平; 田丰; 戴国忠; 王宏安

 
基于实物交互的儿童故事创作系统 [学位论文]
硕士, 北京: 中国科学院大学, 2013-05-29
何亮
  |  
 
面向银行业的交互式审计建模工具的设计与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2013-05-29
梁汨
  |  
 
连续时间马尔科夫链模型上的模型检测算法研究与工具实现 [学位论文]
硕士, 北京: 中国科学院大学, 2013-05-27
高杨
  |  
 
DaisyVA:支持信息多面体可视分析的智能交互式可视化平台 [期刊论文]
计算机辅助设计与图形学学报, 2013-01-01, 卷号: 25, 期号: 8, 页码: 1177-1182
杜一; 任磊

 
面向儿童的图形化编程语言和工具 [期刊论文]
计算机辅助设计与图形学学报, 2013-01-01, 卷号: 25, 期号: 4, 页码: 584-591
王婷婷; 王丹力; 路璐; 何亮; 王宏安; 戴国忠

 
能量分析攻击测评技术研究及原型系统研制 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-05-29
韩阳
  |  
 
面向儿童的图形化编程系统的研究和实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2011-06-01
陈厦建
  |  
 

1 2 3 4 5 6 7 8 9 10 next

 

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