CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
Experimental evidence for "double-edged sword" effect of the fibrous d-ferrite on mechanical properties: a case study of Fe-5.95Mn-1.55Si-1.0Al-0.055C medium-Mn steel 期刊论文
JOURNAL OF MATERIALS RESEARCH AND TECHNOLOGY-JMR&T, 2022, 卷号: 18, 页码: 3834-3840
作者:  Yan, Shu;  Li, Tianle;  Xu, Zigan;  Liang, Taosha;  Wang, Sai
收藏  |  浏览/下载：19/0  |  提交时间：2022/07/14
Theoretical Prediction from Classical Equations and Rational Synthesis of Ultrafine LTL Zeolite Nanocrystals 期刊论文
JOURNAL OF PHYSICAL CHEMISTRY C, 2020, 卷号: 124, 期号: 25, 页码: 13819-13824
作者:  Zhang, Fen;  Chen, Wei;  Wu, Qinming;  Yang, Zhichao;  Wang, Liang
收藏  |  浏览/下载：41/0  |  提交时间：2021/02/02
Theoretical Prediction from Classical Equations and Rational Synthesis of Ultrafine LTL Zeolite Nanocrystals 期刊论文
JOURNAL OF PHYSICAL CHEMISTRY C, 2020, 卷号: 124, 期号: 25, 页码: 13819-13824
作者:  Zhang, Fen;  Chen, Wei;  Wu, Qinming;  Yang, Zhichao;  Wang, Liang
收藏  |  浏览/下载：72/0  |  提交时间：2021/02/02
Fatty Acid Profile of Muscles from Crossbred Angus-Simmental, Wagyu-Simmental, and Chinese Simmental Cattles 期刊论文
FOOD SCIENCE OF ANIMAL RESOURCES, 2020, 卷号: 40, 期号: 4, 页码: 563-577
作者:  Liu, Ting;  Wu, Jian-Ping;  Lei, Zhao-Min;  Zhang, Ming;  Gong, Xu-Yin
收藏  |  浏览/下载：3/0  |  提交时间：2022/03/01
纳米颗粒原位植入法制备改性超滤膜及其抗生物污染性能研究 期刊论文
2016, 2016
董蕾茜; 王小; 丁文明; 杨宏伟; 解跃峰; DONG Leixi; WANG Xiaomao; DING Wenming; YANG Hongwei; XIE Yuefeng
收藏  |  浏览/下载：6/0
Concurrent Algorithms in SPIN Model Checker 其他
2016-01-01
Nawaz, M. Saqib; Ali, Hussam; Lali, M. IkramUllah
收藏  |  浏览/下载：2/0  |  提交时间：2017/12/03
Modeling and verification of component connectors in Coq 其他
2015-01-01
Li, Yi; Sun, Meng
收藏  |  浏览/下载：7/0  |  提交时间：2017/12/03
IscasMc: A web-based probabilistic model checker 其他
2014-01-01
Hahn, Ernst Moritz; Li, Yi; Schewe, Sven; Turrini, Andrea; Zhang, Lijun
收藏  |  浏览/下载：4/0  |  提交时间：2015/11/13
Efficient controller synthesis for a fragment of MTL0, &infin 期刊论文
Acta Informatica, 2014, 卷号: 51, 期号: 3-4, 页码: 165-192
Bulychev, Peter (1); David, Alexandre (1); Larsen, Kim G. (1); Li, Guangyuan (2)
收藏  |  浏览/下载：9/0  |  提交时间：2014/12/16
IscasMc: A web-based probabilistic model checker 会议论文
19th International Symposium on Formal Methods, FM 2014, Singapore, Singapore, May 12, 2014 - May 16, 2014
Hahn, Ernst Moritz (1); Li, Yi (2); Schewe, Sven (3); Turrini, Andrea (1); Zhang, Lijun (1)
收藏  |  浏览/下载：24/0  |  提交时间：2014/12/16

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