|
已选(0)清除
条数/页： 排序方式：
|
| 基于公式学习的循环不变式的推导 学位论文
硕士, 北京: 中国科学院研究生院, 2014
哈晓琳
  收藏 | 浏览/下载：18/0 | 提交时间：2014/06/06
|
| 差分和线性分析的代数自动化方法 学位论文
博士, 北京: 中国科学院研究生院, 2014
吴生宝
收藏 | 浏览/下载：43/0 | 提交时间：2014/05/29
|
| 面向PaaS的分布式缓存服务关键技术研究 学位论文
博士, 北京: 中国科学院研究生院, 2013
秦秀磊
收藏 | 浏览/下载：32/0 | 提交时间：2014/01/03
|
| 树木与自然场景交互作用仿真技术研究 学位论文
博士, 北京: 中国科学院研究生院, 2012
杨猛
收藏 | 浏览/下载：8/0 | 提交时间：2012/06/13
|
| 基于主动规则的实时推理技术研究 学位论文
博士, 北京: 中国科学院研究生院, 2011
李想
收藏 | 浏览/下载：19/0 | 提交时间：2011/12/31
|
| 基于主动规则推理的故障诊断系统设计与实现 学位论文
硕士, 北京: 中国科学院研究生院, 2011
李欣
收藏 | 浏览/下载：8/0 | 提交时间：2011/06/07
|
| 流密码中非线性部件的分析与设计 学位论文
博士, 北京: 中国科学院研究生院, 2011
杨笑
收藏 | 浏览/下载：18/0 | 提交时间：2011/06/15
|
| 基于BDD的增量启发式搜索方法及其应用 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2009
徐艳艳
收藏 | 浏览/下载：13/0 | 提交时间：2011/03/17
|
| 地形可视性分析中观察点设置问题研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2009
吕品
收藏 | 浏览/下载：32/0 | 提交时间：2011/03/17
|
| 并行最优路径算法及K优路径算法研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2008
陈虎
收藏 | 浏览/下载：10/0 | 提交时间：2011/03/17
|
