|
已选(0)清除
条数/页： 排序方式：
|
| 一种操作系统内核完整性度量方法 期刊论文
小型微型计算机系统, 2013, 卷号: 34, 期号: 5, 页码: 997-1002
李瑜; 赵勇; 林莉; 姜伟; 詹静; 辛思远
  收藏 | 浏览/下载：16/0 | 提交时间：2013/09/17
|
| 函数式语言LFC的Supercompilation技术研究 学位论文
硕士, 北京: 中国科学院研究生院, 2010
郑丽丽
收藏 | 浏览/下载：18/0 | 提交时间：2010/07/14
|
| 受限正规树文法与基于正则表达式包含判定的类型检查 学位论文
硕士, 中国科学院软件研究所: 中国科学院软件研究所, 2010
陈雷
收藏 | 浏览/下载：10/0 | 提交时间：2010/01/28
|
| 三维用户界面在城市规划系统中的应用 学位论文
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2008
张博
收藏 | 浏览/下载：13/0 | 提交时间：2011/03/17
|
| 程序设计语言中的继续：理论与实践 学位论文
博士, 中国科学院软件研究所: 中国科学院研究生院, 2008
喻钢
收藏 | 浏览/下载：11/0 | 提交时间：2011/03/17
|
| 面向服务计算的数据模型转换框架设计与实现 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2007
牛春雷
收藏 | 浏览/下载：10/0 | 提交时间：2011/03/17
|
| LFC语言检验方法的研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2006
吴端仪
收藏 | 浏览/下载：11/0 | 提交时间：2011/03/17
|
| 动态模板驱动的高性能SOAP处理 期刊论文
计算机学报, 2006, 卷号: 29, 期号: 7, 页码: 1145-1156
花磊; 魏峻; 牛春雷; 郑浩然
收藏 | 浏览/下载：10/0 | 提交时间：2011/07/13
|
| Web服务复合的若干关键问题研究 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003
任志宏
收藏 | 浏览/下载：10/0 | 提交时间：2011/03/17
|
| SAQ系统的概念获取和检验 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2000
王泓皓
收藏 | 浏览/下载：18/0 | 提交时间：2011/03/17
|
