CORC

在结果中检索

CORC

浏览/检索结果: 共8条，第1-8条 帮助

限定条件                
已选(0)清除 条数/页：   排序方式：
高安全等级操作系统形式化开发技术研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2008
李丽萍
收藏  |  浏览/下载：11/0  |  提交时间：2011/03/17
高等级安全操作系统完整性策略模型设计开发及其形式化研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2007
唐柳英
收藏  |  浏览/下载：14/0  |  提交时间：2011/03/17
地震现场救援虚拟仿真想定编辑器的研究与实现 期刊论文
微计算机信息, 2006, 期号: 16, 页码: 298-300,65
崔忠辉; 徐永志; 张茂军
收藏  |  浏览/下载：5/0  |  提交时间：2011/07/13
基于笔输入的三维造型系统的体系结构 期刊论文
航空制造技术, 2006, 期号: 4, 页码: 86-88,93
战微; 巩应奎; 梅中义; 范玉青; 戴国忠
收藏  |  浏览/下载：5/0  |  提交时间：2011/07/13
Web应用服务器关键技术研究 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004
范国闯
收藏  |  浏览/下载：21/0  |  提交时间：2011/03/17
基于JMX的Web应用服务器可扩展管理的研究与实现 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003
董伟川
收藏  |  浏览/下载：10/0  |  提交时间：2011/03/17
国产操作系统COSIX V2.0安全性的研究及文件系统服务器安全性的实现 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1995
李军
收藏  |  浏览/下载：11/0  |  提交时间：2011/03/17
基于微核心的环境服务器的设计与实现及其微核心系统运行环境的构造 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1993
王冰
收藏  |  浏览/下载：6/0  |  提交时间：2011/03/17

©版权所有 ©2017 CSpace - Powered by CSpace