CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
面向Web应用的回归测试选择工具设计与实现 学位论文
硕士, 北京: 中国科学院研究生院, 2021
作者:  敖泽柳
收藏  |  浏览/下载：27/0  |  提交时间：2021/06/11
Android应用的GUI运行流畅度检测与分析 学位论文
硕士, 北京: 中国科学院研究生院, 2016
黄甜
收藏  |  浏览/下载：17/0  |  提交时间：2016/06/03
桌面搜索若干关键技术研究与系统实现 学位论文
硕士, 北京: 中国科学院大学, 2016
杨凯飞
收藏  |  浏览/下载：17/0  |  提交时间：2016/05/31
An Efficient Approach for Solving Optimization over Linear Arithmetic Constraints 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016, 卷号: 31, 期号: 5, 页码: 987-1011
Chen, L; Wu, JZ; Lv, YR; Wang, YJ
收藏  |  浏览/下载：25/0  |  提交时间：2016/12/09
Deciding probabilistic automata weak bisimulation: theory and practice 期刊论文
FORMAL ASPECTS OF COMPUTING, 2016, 卷号: 28, 期号: 1, 页码: 109-143
Fioriti, LMF; Hashemi, V; Hermanns, H; Turrini, A
收藏  |  浏览/下载：20/0  |  提交时间：2016/12/09
组合测试：测试生成、错误定位与应用 学位论文
博士, 北京: 中国科学院大学, 2015
张智强
收藏  |  浏览/下载：18/0  |  提交时间：2015/06/30
格子Boltzmann 方程组的高可扩展隐式方法 研究报告
2014
黄记祖
收藏  |  浏览/下载：18/0  |  提交时间：2015/10/16
Differential analysis of the Extended Generalized Feistel Networks 期刊论文
Information Processing Letters, 2014, 卷号: 114, 期号: 12, 页码: 723-727
Zhang, Lei (1); Wu, Wenling (1)
收藏  |  浏览/下载：21/0  |  提交时间：2014/12/16
The typical Turing degree 期刊论文
PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY, 2014, 卷号: 109, 页码: 1-39
Barmpalias, George; Day, Adam R.; Lewis-Pye, Andy E. M.
收藏  |  浏览/下载：15/0  |  提交时间：2014/12/16
Parallel Domain Decomposition Methods with Mixed Order Discretization for Fully Implicit Solution of Tracer Transport Problems on the Cubed-Sphere 期刊论文
Journal of Scientific Computing, 2014, 卷号: 61, 期号: 2, 页码: 1-23
Yang, Haijian (1); Yang, Chao (2); Cai, Xiao-Chuan (4)
收藏  |  浏览/下载：13/0  |  提交时间：2014/12/16

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