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

Search Results

Help

Item hits: (Results 1-3 of 3)

Items/Page:    Sort:
任务分配问题的对称群方法 [期刊论文]
海军工程大学学报, 2007-01-01, 卷号: 19, 期号: 5
严平; 郑昌文; 杨文亮; 邓大新
  |  
 
时态逻辑形式化描述并发系统性质 [期刊论文]
海军工程大学学报, 2004-01-01, 卷号: 16, 期号: 5, 页码: 2'10-13
肖美华; 薛锦云
  |  
 
基于QoS的网络计费管理软件的设计与实现 [期刊论文]
海军工程大学学报, 2004-01-01, 卷号: 16, 期号: 5
任淑婷; 吴志美; 顾国昌
  |  
 

1

 

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