|
已选(0)清除
条数/页： 排序方式：
|
| 基于Pushdown系统证明的可视化 学位论文
硕士, 北京: 中国科学院研究生院, 2016
周青
  收藏 | 浏览/下载：21/0 | 提交时间：2016/06/21
|
| 基于带赋值符号迁移图的Monte Carlo模型检测 学位论文
硕士, 北京: 中国科学院研究生院, 2012
马明
收藏 | 浏览/下载：17/0 | 提交时间：2012/06/13
|
| SRL→Radl生成系统及其相关理论研究 学位论文
博士, 北京: 中国科学院研究生院, 2010
王昌晶
收藏 | 浏览/下载：10/0 | 提交时间：2012/06/20
|
| 需求变更影响分析模型及相关技术研究 学位论文
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2010
李引
收藏 | 浏览/下载：16/0 | 提交时间：2010/02/11
|
| 移动代理数据完整性保护协议分析与实现技术研究 学位论文
硕士, 中科院软件所: 中科院软件所, 2009
-
收藏 | 浏览/下载：20/0 | 提交时间：2009/06/11
|
| 多语种构件技术的研究与实现 学位论文
硕士, 北京: 中国科学院研究生院, 2009
作者: 汪漪
收藏 | 浏览/下载：9/0 | 提交时间：2014/10/14
|
| 多语种构件技术的研究与实现 学位论文
中国科学院新疆理化技术研究所: 中国科学院研究生院, 2009
作者: 汪漪
收藏 | 浏览/下载：14/0 | 提交时间：2014/10/14
|
| Formalization and specification for controlling process modularity in mobile computing 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2008
Takashi KITAMURA
收藏 | 浏览/下载：8/0 | 提交时间：2011/03/17
|
| 网络安全协议形式化分析及支撑工具研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2008
肖美华
收藏 | 浏览/下载：19/0 | 提交时间：2011/03/17
|
| 面向字处理的多语言计算模型的研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2007
贾彦民
收藏 | 浏览/下载：11/0 | 提交时间：2011/03/17
|
