CORC

浏览/检索结果: 共4条,第1-4条 帮助

限定条件    
已选(0)清除 条数/页:   排序方式:
Spatial and Temporal Variability of Snow Depth Derived from Passive Microwave Remote Sensing Data in Kazakhstan 期刊论文
JOURNAL OF METEOROLOGICAL RESEARCH, 2016, 卷号: 30, 期号: 6, 页码: 1033-1043
作者:  Mashtayeva, Shamshagul;  Dai Liyun;  Che Tao;  Sagintayev, Zhanay;  Sadvakasova, Saltanat
收藏  |  浏览/下载:29/0  |  提交时间:2019/10/09
Interpolant synthesis for quadratic polynomial inequalities and combination with EUF 其他
2016-01-01
Gan, Ting; Dai, Liyun; Xia, Bican; Zhan, Naijun; Kapur, Deepak; Chen, Mingshuai
收藏  |  浏览/下载:9/0  |  提交时间:2017/12/03
Interpolant synthesis for quadratic polynomial inequalities and combination with EUF 期刊论文
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, 卷号: 9706
作者:  Chen, Mingshuai;  Gan, Ting;  Xia, Bican;  Dai, Liyun;  Zhan, Naijun
收藏  |  浏览/下载:2/0  |  提交时间:2019/12/05
Interpolant synthesis for quadratic polynomial inequalities and combination with EUF 会议论文
作者:  Gan, Ting;  Dai, Liyun;  Xia, Bican;  Zhan, Naijun;  Kapur, Deepak
收藏  |  浏览/下载:4/0  |  提交时间:2019/12/05


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