中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 81-90 of 163)

Items/Page:    Sort:
高等级安全操作系统的设计 [期刊论文]
中国科学E辑, 2007-01-01, 卷号: 37, 期号: 2, 页码: 238-253
卿斯汉; 沈昌祥
  |  
 
基于CTL的循环优化变换描述方法 [期刊论文]
计算机应用研究, 2007-01-01, 卷号: 24, 期号: 7, 页码: 49
夏勇; 薛云志; 陶秋铭; 赵琛
  |  
 
移动分布式环境下服务适配系统研究 [期刊论文]
计算机科学, 2007-01-01, 卷号: 34, 期号: 1, 页码: 97-99,108
丛兰兰; 金蓓弘; 张英
  |  
 
无线局域网的Web缓存系统研究 [期刊论文]
计算机科学, 2007-01-01, 卷号: 34, 期号: 8, 页码: 83-85,285
田四化; 任鑫; 金蓓弘
  |  
 
基于数据依赖的过程合理性分析和优化 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-15
丁婧
  |  
 
软件过程柔性运作的研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-15
田勇
  |  
 
基于SIP的网络视频监控服务器的设计与实现 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-05
凌庆华
  |  
 
基于时序逻辑的编译优化形式化描述及测试用例生成方法 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-02
夏勇
  |  
 
语义Web环境中本体库管理系统体系结构研究 [期刊论文]
计算机研究与发展, 2006-01-01, 卷号: 43, 期号: z3, 页码: 39-45
李曼; 杜小勇; 王珊
  |  
 
重点项目 [期刊论文]
中国科学基金, 2006-01-01, 卷号: 20, 期号: 4, 页码: 236-237
石教英; 胡占义; 吴恩华; 彭群生
  |  
 

previous 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 next

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace