|
已选(0)清除
条数/页： 排序方式：
|
| 桌面搜索若干关键技术研究与系统实现 学位论文
硕士, 北京: 中国科学院大学, 2016
杨凯飞
  收藏 | 浏览/下载：17/0 | 提交时间：2016/05/31
|
| MIC众核架构通信密集型函数的算法设计与性能优化研究 学位论文
博士, 北京: 中国科学院研究生院, 2015
刘益群
收藏 | 浏览/下载：41/0 | 提交时间：2015/06/29
|
| 函数式语言LFC的Supercompilation技术研究 学位论文
硕士, 北京: 中国科学院研究生院, 2010
郑丽丽
收藏 | 浏览/下载：17/0 | 提交时间：2010/07/14
|
| 发布/订阅系统可伸缩性支持技术研究 学位论文
硕士, 北京: 中国科学院研究生院, 2010
钱一峰
收藏 | 浏览/下载：12/0 | 提交时间：2010/06/08
|
| 基于Yices对时间自动机的有界模型检测 学位论文
硕士, 中科院软件所: 中科院软件所, 2009
-
收藏 | 浏览/下载：12/0 | 提交时间：2009/06/11
|
| 基于BDD的增量启发式方法及其应用 学位论文
硕士, 软件所5号楼337房: 中国科学院软件研究所计算机科学国家重点实验室, 2009
徐艳艳
收藏 | 浏览/下载：18/0 | 提交时间：2009/06/13
|
| 基于软件仓库的个体软件过程能力度量技术研究 学位论文
硕士, 中国科学院软件研究所: 中国科学院软件研究所, 2009
张瞫
收藏 | 浏览/下载：17/0 | 提交时间：2009/07/02
|
| 基于PAR的高可信装备保障算法推演 学位论文
硕士, 北京: 中国科学院研究生院, 2009
郑宇军
收藏 | 浏览/下载：13/0 | 提交时间：2010/01/15
|
