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

Search Results

Help

Item hits: (Results 1-3 of 3)

Filters    
Items/Page:    Sort:
需求驱动的Web服务建模及其验证:一个基于本体的方法 [期刊论文]
中国科学E辑, 2006-01-01, 卷号: 36, 期号: 10, 页码: 1189-1219
侯丽珊; 金芝; 吴步丹
  |  
 
移动进程的空间逻辑 [期刊论文]
中国科学E辑, 2004-01-01, 卷号: 34, 期号: 2, 页码: 139-150
林惠民
  |  
 
高阶时段演算及其完备性 [期刊论文]
中国科学E辑, 2001-01-01, 卷号: 31, 期号: 1, 页码: 71-85
詹乃军
  |  
 

1

 

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