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

Search Results

Help

Item hits: (Results 1-10 of 17)

Filters        
Items/Page:    Sort:
从多幅参考图像合成目标图像的逆映射算法 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 10, 页码: 1464-1471
郑新; 吴恩华

 
认证协议的一些新攻击方法 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 6, 页码: 907-913
王贵林; 卿斯汉; 周展飞
  |  
 
一种分析电子商务协议的新工具 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 9, 页码: 1318-1328
周典萃; 卿斯汉; 周展飞
  |  
 
一种基于对象序列图的组件交互协议设计方法 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 7, 页码: 996-1006
魏峻; 王栩; 李京
  |  
 
Verilog语言形式化语义研究 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 10
李勇坚; 孙永强; 何积丰
  |  
 
多媒体节目时序描述的组合技术 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 3, 页码: 398-404
赵琛
  |  
 
加权非对称选择网活性和有界性分析 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 12
焦莉; 陆维明
  |  
 
非对称选择网活性的一个多项式时间判定 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 3
焦莉; 陆维明
  |  
 
扩展强化非对称选择网的活性和有界性 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 9
焦莉; 陆维明
  |  
 
π-演算互模拟判定算法的优化和实现 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 2, 页码: 159
许文; 方海; 林惠民
  |  
 

1 2 next

 

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