CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
Numerical prediction of thermal contact resistance of 3D C/C-SiC needled composites based on measured practical topography 期刊论文
International Journal of Heat and Mass Transfer, 2019, 卷号: 131, 页码: 176-188
作者:  Ren, Xing-Jie;  Dai, Yan-Jun;  Gou, Jian-Jun;  Tao, Wen-Quan
收藏  |  浏览/下载：10/0  |  提交时间：2019/11/19
A Self-Indexed Register File for Efficient Arithmetical Computing Hardware 会议论文
UK, 2017-10
作者:  Lei Yang;  Shaolin Xie;  Zijun Liu;  Xueliang Du;  DongLin Wang
收藏  |  浏览/下载：30/0  |  提交时间：2018/05/07
Completeness of Hoare logic with inputs over the standard model 期刊论文
THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 612, 页码: 23-28
作者:  Xu, Zhaowei;  Sui, Yuefei;  Zhang, Wenhui
收藏  |  浏览/下载：21/0  |  提交时间：2019/12/13
Completeness of Hoare logic with inputs over the standard model 期刊论文
THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 612, 页码: 23-28
Xu, ZW; Sui, YF; Zhang, WH
收藏  |  浏览/下载：19/0  |  提交时间：2016/12/13
微处理器高性能部件设计关键技术研究 学位论文
工学博士, 中国科学院自动化研究所: 中国科学院大学, 2015
作者:  肖偌舟
收藏  |  浏览/下载：118/0  |  提交时间：2015/09/02
3D resistivity inversion using improved parallel genetic algorithm 期刊论文
Yantu Gongcheng Xuebao/Chinese Journal of Geotechnical Engineering, 2014, 卷号: 36, 期号: 7, 页码: 1252-1261
作者:  Liu, Bin;  Wang, Chuan-Wu;  Yang, Wei-Min;  Li, Shu-Cai;  Nie, Li-Chao
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/17
on the number of infinite sequences with trivial initial segment complexity 期刊论文
Theoretical Computer Science, 2011, 卷号: 412, 期号: 52, 页码: 7133-7146
George Barmpalias; T.F. Sterkenburg
收藏  |  浏览/下载：13/0  |  提交时间：2013/10/08
Farhi函数的周期性 学位论文
: 四川大学, 2008
作者:  杨钰娟
收藏  |  浏览/下载：1/0  |  提交时间：2019/04/19
A note on Hoffman-type identities of graphs 期刊论文
LINEAR ALGEBRA AND ITS APPLICATIONS, 2005, 卷号: 402, 页码: 143-149
作者:  Hou, YP;  Tian, F
收藏  |  浏览/下载：8/0  |  提交时间：2018/07/30
Finite groups with few regular orbits on the power set 其他
1997-01-01
Zhang, JP
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/16

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