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

Search Results

Help

Item hits: (Results 1-5 of 5)

Items/Page:    Sort:
串空间理论及其对公平交换协议的分析 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-05
卢凤清
  |  
 
一种电子商务协议形式化分析方法 [期刊论文]
软件学报, 2005-01-01, 卷号: 16, 期号: 10, 页码: 1757-1765
王常青; 邓昌智; 马翠霞; 华庆一; 戴国忠
  |  
 
一种分析电子商务协议的新工具 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 9, 页码: 1318-1328
周典萃; 卿斯汉; 周展飞
  |  
 
电子商务协议的公平性 [期刊论文]
电子学报, 2000-01-01, 卷号: 28, 期号: 9, 页码: 13-15
周展飞; 周典萃; 王贵林; 卿斯汉

 
电子商务协议的形式化分析方法 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1999-01-01
周典萃
  |  
 

1

 

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