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

Search Results

Help

Item hits: (Results 1-4 of 4)

Filters    
Items/Page:    Sort:
基于PAR的排序算法自动生成研究 [期刊论文]
软件学报, 2012-01-01, 卷号: 23, 期号: 9, 页码: 2248-2260
石海鹤; 薛锦云

 
移动代理完整性协议形式化分析方法研究 [期刊论文]
电子学报, 2009-01-01, 卷号: 37, 期号: 8
李鹏飞; 马恒太; 侯玉文; 邱田
  |  
 
特洛伊木马隐藏技术研究 [期刊论文]
通信学报, 2004-01-01, 卷号: 25, 期号: 7
张新宇; 卿斯汉; 马恒太; 张楠; 孙淑华; 蒋建春
  |  
 
移动计算形式理论分析与研究 [期刊论文]
计算机研究与发展, 2000-01-01, 卷号: 37, 期号: 2, 页码: 129-139
魏峻; 冯玉琳
  |  
 

1

 

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