已选(0)清除
条数/页: 排序方式:
|
| 基于pCTL的循环优化测试用例自动生成方法的研究与实现 学位论文 硕士, 中国科学院研究生院: 中国科学院研究生院, 2009 余侠
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:17/0  |  提交时间:2009/06/22
|
| 软件属性保障中的源代码静态分析技术研究 学位论文 硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009 -
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:11/0  |  提交时间:2009/06/11
|
| OnceCluster:一种易扩展WEB应用服务器集群框架的设计与实现 学位论文 博士, 软件研究所: 中国科学院软件研究所, 2008 杜才华
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:8/0  |  提交时间:2011/03/17
|
| 分布式系统中的可信技术研究 学位论文 博士, 中国科学院软件研究所: 中国科学院研究生院, 2008 石志国
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:13/0  |  提交时间:2011/03/17
|
| 一种基于TPM匿名证书的信任协商方案 期刊论文 计算机研究与发展 , 2008, 卷号: 45, 期号: 8, 页码: 1279-1289 石志国; 贺也平; 张宏
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2010/01/06
|
| 基于Linux的民族文字显示处理 学位论文 博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004 杨文霞
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:8/0  |  提交时间:2011/03/17
|
| 论GSM系统点到点短消息业务在移动终端的实现 学位论文 博士, 中国科学院软件研究所: 中国科学院软件研究所, 2000 林萍
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:6/0  |  提交时间:2011/03/17
|
| 一个辅助教学操作系统-小OS的设计 学位论文 博士, 中国科学院软件研究所: 中国科学院软件研究所, 1988 孟静
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:2/0  |  提交时间:2011/03/17 |