|
已选(0)清除
条数/页： 排序方式：
|
| 基于 TPM 2.0 的协议设计与分析研究 学位论文
博士, 北京: 中国科学院研究生院, 2019
作者: 王微谨
  收藏 | 浏览/下载：195/0 | 提交时间：2019/07/03
|
| 基于硬件虚拟化的软件安全沙盒技术研究 学位论文
硕士, 北京: 中国科学院大学, 2013
姜军
收藏 | 浏览/下载：20/0 | 提交时间：2013/05/22
|
| PAR中泛型约束机制的设计与实现 学位论文
博士, 北京: 中国科学院大学, 2011
左正康
收藏 | 浏览/下载：14/0 | 提交时间：2013/06/07
|
| SRL→Radl生成系统及其相关理论研究 学位论文
博士, 北京: 中国科学院研究生院, 2010
王昌晶
收藏 | 浏览/下载：10/0 | 提交时间：2012/06/20
|
| 组件化软件过程建模与分析方法研究 学位论文
硕士, 北京: 中国科学院研究生院, 2010
翟健
收藏 | 浏览/下载：9/0 | 提交时间：2010/01/25
|
| 授权策略集成关键技术研究 学位论文
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009
王雅哲
收藏 | 浏览/下载：13/0 | 提交时间：2010/01/21
|
| Modelica建模软件中求强连通分量与拓扑排序算法优化的研究 学位论文
硕士, 软件所5号楼336: 并行计算中心, 2009
魏欣
收藏 | 浏览/下载：8/0 | 提交时间：2009/07/04 |
| 网驰平台统一部署框架的设计与实现 学位论文
硕士, 中科院软件所5号楼6层会议室: 中国科学院研究生院, 2009
-
收藏 | 浏览/下载：8/0 | 提交时间：2009/06/11
|
| 基于最终用户开发的表格数据分析关键技术研究 学位论文
硕士, 北京: 中国科学院研究生院, 2009
-
收藏 | 浏览/下载：8/0 | 提交时间：2009/06/12
|
| 基于形式描述的编译优化自动测试方法与技术研究 学位论文
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009
-
收藏 | 浏览/下载：15/0 | 提交时间：2009/06/12
|
