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

Search Results

Help

Item hits: (Results 31-37 of 37)

Filters            
Items/Page:    Sort:
基于SPIN/Promela的并发系统验证 [期刊论文]
计算机科学, 2004-01-01, 卷号: 31, 期号: 8, 页码: 201-203,208
肖美华; 薛锦云
  |  
 
Linux进程管理体系的研究与分析 [期刊论文]
计算机科学, 2003-01-01, 卷号: 30, 期号: 10, 页码: 84-88
赵慧斌; 李小群; 叶以民
  |  
 
基于本体论的民族知识获取与分析 [期刊论文]
计算机科学, 2003-01-01, 卷号: 30, 期号: 5, 页码: 47-54,81
王丽丽; 曹存根; 顾芳; 田雯
  |  
 
分布事务处理中的资源管理 [期刊论文]
计算机科学, 2003-01-01, 卷号: 30, 期号: 4, 页码: 30-32
张昕; 丁柯
  |  
 
模型检测新技术研究 [期刊论文]
计算机科学, 2003-01-01, 卷号: 30, 期号: 5, 页码: 102-104
戎玫; 张广泉
  |  
 
入侵检测系统发展的研究综述 [期刊论文]
计算机科学, 2003-01-01, 卷号: 30, 期号: 8, 页码: 45-49,155
张相锋; 孙玉芳
  |  
 
软件体系结构求精方法研究 [期刊论文]
计算机科学, 2003-01-01, 卷号: 30, 期号: 4, 页码: 108-110
戎玫; 张广泉
  |  
 

previous 1 2 3 4

 

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