CORC

在结果中检索

CORC

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

限定条件    
已选(0)清除 条数/页：   排序方式：
Barrier certificates revisited 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2017, 卷号: 80, 页码: 62-86
作者:  Dai, Liyun;  Gan, Ting;  Xia, Bican;  Zhan, Naijun
收藏  |  浏览/下载：34/0  |  提交时间：2017/02/16
Environmental reconstruction and dating of Shizitan 29, Shanxi Province: An early microblade site in north China 期刊论文
JOURNAL OF ARCHAEOLOGICAL SCIENCE, 2017, 卷号: 79, 期号: 1, 页码: 19-35
作者:  Song, Yanhua;  Cohen, David J.;  Shi, Jinming;  Wu, Xiaohong;  Kvavadze, Eliso
收藏  |  浏览/下载：29/0  |  提交时间：2017/07/21
Environmental reconstruction and dating of Shizitan 29, Shanxi Province: An early microblade site in north China 期刊论文
JOURNAL OF ARCHAEOLOGICAL SCIENCE, 2017
Song, Yanhua; Cohen, David J.; Shi, Jinming; Wu, Xiaohong; Kvavadze, Eliso; Goldberg, Paul; Zhang, Shuangquan; Zhang, Yue; Bar-Yosef, Ofer
收藏  |  浏览/下载：29/0  |  提交时间：2017/12/03
Debugging multithreaded programs using symbolic analysis 会议论文
作者:  Zhang, Xiaodong;  Liu, Ting;  Yang, Zijiang
收藏  |  浏览/下载：10/0  |  提交时间：2019/11/26
Structural and compositional analysis of a casting mold sherd from ancient China 期刊论文
PLOS ONE, 2017, 卷号: 12, 期号: 3, 页码: -
作者:  Zong, YB;  Yao, SK;  Lang, JF;  Chen, XX;  Fan, JD
收藏  |  浏览/下载：25/0  |  提交时间：2017/12/08
Elite bases regression: A real-time algorithm for symbolic regression 会议论文
Guilin, Guangxi, China, July 29, 2017 - July 31, 2017
作者:  Chen C(陈辰);  Luo ZT(罗长童);  Jiang ZL(姜宗林)
收藏  |  浏览/下载：36/0  |  提交时间：2018/11/08

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