CSpace

Browse/Search Results:  1-6 of 6 Help

Selected(0)Clear Items/Page:    Sort:
RCC8的一致分割及其算法 期刊论文
计算机工程与应用, 2015, 卷号: 000, 期号: 001, 页码: 143
Authors:  崔文正
Favorite  |  View/Download:32/0  |  Submit date:2020/01/10
需求驱动的web服务建模及其验证一个基于本体的方法 期刊论文
中国科学e辑技术科学, 2006, 卷号: 36, 期号: 10, 页码: 1189
Authors:  侯丽珊;  金芝;  吴步丹
Favorite  |  View/Download:47/0  |  Submit date:2020/01/10
需求驱动的Web服务建模及其验证:一个基于本体的方法 期刊论文
中国科学E辑:信息科学, 2006, 页码: 1189-1219
Authors:  侯丽珊;  金芝;  吴步丹
Favorite  |  View/Download:42/0  |  Submit date:2021/01/14
Web服务  环境本体  自动组合  π演算  形式化验证  
余式方法中的线性策略以及语义策略和锁策略 期刊论文
计算机学报, 1997, 卷号: 020, 期号: 002, 页码: 174
Authors:  刘卓军;  吴尽昭
Favorite  |  View/Download:5/0  |  Submit date:2020/01/10
资源探测中应用波动方程的反演方法 期刊论文
物理, 1997, 卷号: 026, 期号: 009, 页码: 542
Authors:  常谦顺;  孙刚
Favorite  |  View/Download:6/0  |  Submit date:2020/01/10
一阶谓词演算定理机器胆的余式方法 期刊论文
计算机学报, 1996, 卷号: 19, 期号: 10, 页码: 728
Authors:  刘卓军;  吴尽昭
Favorite  |  View/Download:3/0  |  Submit date:2020/01/10