CORC

浏览/检索结果: 共8条,第1-8条 帮助

限定条件                
已选(0)清除 条数/页:   排序方式:
基于完全有限前缀的过程实例表示图的分解 期刊论文
2016, 2016
宋亮; 闻立杰; 王建民; 刘国平; 刘廷龙; 杨剑勇; SONG Liang; WEN Lijie; WANG Jianmin; LIU Guoping; LIU Tinglong; YANG Jianyong
收藏  |  浏览/下载:9/0
FFTSnake模型研究 期刊论文
2010, 2010
李天庆; 张毅; 刘志; 胡东成; LI Tianqing; ZHANG Yi; LIU Zhi; HU Dongcheng
收藏  |  浏览/下载:4/0
基于生成图的工作流多过程动态时序一致性验证方法 期刊论文
2010, 2010
杜彦华; 范玉顺; DU Yan-hua; FAN Yu-shun
收藏  |  浏览/下载:3/0
基于超图的生态环境修复模型的研究与应用 期刊论文
2010, 2010
罗静; 毛其智; 党安荣; LUO Jing; MAO Qi-zhi; DANG An-rong.
收藏  |  浏览/下载:2/0
工作流的不确定时间建模与分析新方法 期刊论文
2010, 2010
杜彦华; 范玉顺; Du Yanhua; Fan Yushun
收藏  |  浏览/下载:3/0
Cortical network dynamics during foot movements 期刊论文
2010, 2010
Fallani, Fabrizio De Vico; Astolfi, Laura; Cincotti, Febo; Mattia, Donatella; Marciani, Maria Grazia; Tocci, Andrea; Salinari, Serenella; Witte, Herbert; Hesse, Wolfram; Gao, Shangkai; Colosimo, Alfredo; Babiloni, Fabio
收藏  |  浏览/下载:3/0
Study and application of ecological rehabilitation model based on hyper-graph theory 期刊论文
2010, 2010
Luo Jing; Mao Qi-zhi; Dang An-rong
收藏  |  浏览/下载:4/0
Research on model-checking based on Petri nets 期刊论文
2010, 2010
Jiang Yi-Xin; Lin Chuang; Qu Yang; Yin Hao
收藏  |  浏览/下载:2/0


©版权所有 ©2017 CSpace - Powered by CSpace