CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
Barrier certificates revisited 其他
2017-01-01
Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun
收藏  |  浏览/下载：5/0  |  提交时间：2017/12/03
Barrier certificates revisited 其他
2017-01-01
Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun
收藏  |  浏览/下载：7/0  |  提交时间：2017/12/03
New local search methods for partial MaxSAT 期刊论文
ARTIFICIAL INTELLIGENCE, 2016
Cai, Shaowei; Luo, Chuan; Lin, Jinkun; Su, Kaile
收藏  |  浏览/下载：4/0  |  提交时间：2017/12/03
Android multi-level system permission management approach 期刊论文
Ruan Jian Xue Bao/Journal of Software, 2015
Luo, Yang; Zhang, Qi-Xun; Shen, Qing-Ni; Liu, Hong-Zhi; Wu, Zhong-Hai
收藏  |  浏览/下载：4/0  |  提交时间：2017/12/03
A probabilistic QoS model-checking for dynamic routing protocol 其他
2010-01-01
Yang, Hongli; Zhou, Liang; He, Kang; Deng, Chen; Zhao, Xiangpeng; Qiu, Zongyan
收藏  |  浏览/下载：7/0  |  提交时间：2015/11/12
Improved method for LDPC decoding algorithm aided by segmented Cyclic Redundancy Checks 期刊论文
dianzi yu xinxi xuebaojournal of electronics and information technology, 2008
Li, Wei-Hua; Jiao, Bing-Li
收藏  |  浏览/下载：1/0  |  提交时间：2015/11/17
A type system for the relational calculus of object systems 其他
2006-01-01
Zhao, Liang; Zhao, Xiangpeng; Long, Quan; Qiu, Zongyan
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/16
Edge-endpoint-based configurable hardware architecture for VLSI layout Design Rule Checking 期刊论文
2000
Luo, Zhen; Martonosi, Margaret; Ashar, Pranav
收藏  |  浏览/下载：1/0  |  提交时间：2015/11/17

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