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

Search Results

Help

Item hits: (Results 1-6 of 6)

Items/Page:    Sort:
Global core, and galaxy structure of networks [期刊论文]
Science China Information Sciences, 2014-01-01, 卷号: 57, 期号: 7, 页码: 1-20
Zhang, Wei (1); Pan, YiCheng (1); Peng, Pan (1); Li, JianKou (1); Li, XueChen (3); Li, AngSheng (1)

 
The Application of the Combinatorial Relaxation Theory on the Structural Index Reduction of DAE [会议论文]
12th International Symposium on Distributed Computing and Applications to Business, Engineering and Science (DCABES), London, ENGLAND, SEP 02-04, 2012
Wu, Xuesong; Zeng, Yan; Cao, Jianwen

 
holographic reduction, interpolation and hardness [期刊论文]
COMPUTATIONAL COMPLEXITY, 2012-01-01, 卷号: 21, 期号: 4, 页码: 573-604
Cai Jin-Yi; Lu Pinyan; Xia Mingji

 
近似骨架导向的归约聚类算法 [期刊论文]
电子与信息学报, 2009-01-01, 卷号: 31, 期号: 12, 页码: 2953-2957
宗瑜; 李明楚; 江贺

 
ltl model checking via search space partition [会议论文]
6th International Conference on Quality Software, Beijing, PEOPLES R CHINA, OCT 27-28,
Pu Fei; Zhang Wenhui
  |  
 
ltl model checking via search space partition [会议论文]
6th International Conference on Quality Software, Beijing, PEOPLES R CHINA, OCT 27-28,
Pu Fei; Zhang Wenhui
  |  
 

1

 

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