CORC

在结果中检索

CORC

浏览/检索结果: 共15条，第1-10条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
Global advection transport model on hexagonal-pentagonal geodesic grid by multi-moment scheme 会议论文
International Conference on Computational Science (ICCS) on the Ascent of Computational Excellence, Singapore, SINGAPORE, JUN 01-03, 2011
作者:  Bin JZ(宾聚忠);  Chen CG(陈春刚);  Xiao F(肖锋)
收藏  |  浏览/下载：29/0  |  提交时间：2013/02/26
Has China Caught Up in IT? 期刊论文
COMMUNICATIONS OF THE ACM, 2010, 卷号: 53, 期号: 8, 页码: 3,30-32
Gao, P; Yu, JA
收藏  |  浏览/下载：6/0  |  提交时间：2012/11/12
a problem reduction based approach to discrete optimization algorithm design 期刊论文
COMPUTING, 2010, 卷号: 88, 期号: 40545, 页码: 31-54
Zheng Yujun; Xue Jinyun
收藏  |  浏览/下载：7/0  |  提交时间：2011/05/23
on collaborative tracking of a target group using binary proximity sensors 期刊论文
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2010, 卷号: 70, 期号: 8, 页码: 825-838
Cao Donglei; Jin Beihong; Das Sajal K.; Cao Jiannong
收藏  |  浏览/下载：9/0  |  提交时间：2011/05/24
reasoning with recursive loops under the plp framework 期刊论文
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2008, 卷号: 9, 期号: 4, 页码: -
Shen Yi-Dong
收藏  |  浏览/下载：12/0  |  提交时间：2011/06/10
Founding of the Chinese Academy of Sciences' Institute of Computing Technology 期刊论文
IEEE ANNALS OF THE HISTORY OF COMPUTING, 2007, 卷号: 29, 期号: 1, 页码: 18,16-33
作者:  Zhang, JC;  Zhang, BC
收藏  |  浏览/下载：12/0  |  提交时间：2012/11/12
Assessment the operational risk for Chinese commercial banks 期刊论文
COMPUTATIONAL SCIENCE - ICCS 2006, PT 4, PROCEEDINGS, 2006, 卷号: 3994, 期号: 1, 页码: 8,501-508
作者:  Gao, LJ;  Li, JP;  Chen, JM;  Xu, WX
收藏  |  浏览/下载：10/0  |  提交时间：2012/11/12
eigenvariables, bracketing and the decidability of positive minimal predicate logic 期刊论文
THEORETICAL COMPUTER SCIENCE, 2006, 卷号: 360, 期号: 1-3, 页码: 193-208
Dowek Gilles; Jiang Ying
收藏  |  浏览/下载：10/0  |  提交时间：2011/07/13
eigenvariables, bracketing and the decidability of positive minimal predicate logic 期刊论文
THEORETICAL COMPUTER SCIENCE, 2006, 卷号: 360, 期号: 1-3, 页码: 193-208
Dowek Gilles; Jiang Ying
收藏  |  浏览/下载：10/0  |  提交时间：2011/07/13
eigenvariables, bracketing and the decidability of positive minimal predicate logic 期刊论文
THEORETICAL COMPUTER SCIENCE, 2006, 卷号: 360, 期号: 1-3, 页码: 193-208
Dowek Gilles; Jiang Ying
收藏  |  浏览/下载：13/0  |  提交时间：2011/07/13

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