CORC

在结果中检索

CORC

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

限定条件    
已选(0)清除 条数/页：   排序方式：
Context matching with reasoning and decision support using hedge algebra with kansei evaluation 会议论文
5th Symposium on Information and Communication Technology, SoICT 2014, Hanoi, Viet nam, December 4, 2014 - December 5, 2014
作者:  Van Pham, Hai;  Moore, Philip;  Tran, Khang Dinh
收藏  |  浏览/下载：4/0  |  提交时间：2017/01/18
基于公式学习的循环不变式的推导 学位论文
硕士, 北京: 中国科学院研究生院, 2014
哈晓琳
收藏  |  浏览/下载：18/0  |  提交时间：2014/06/06
电场调制FeCoSi/PZT驱动器磁性研究 期刊论文
西安交通大学学报/Hsi-An Chiao Tung Ta Hsueh/Journal of Xi'an Jiaotong University, 2014, 卷号: 48, 期号: 7, 页码: 136-140
作者:  韩学梦;  郭晓斌;  王真;  左亚路;  席力
收藏  |  浏览/下载：4/0  |  提交时间：2015/06/24
Specification and analysis of Null Convention Logic (NCL) circuits using PAFSV 会议论文
作者:  Man, Ka Lok;  Zhang, Nan;  Lei, Chi-Un;  Lim, Eng Gee;  Ting, T.O.
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/02
Modeling and Analysis of Component Connectors in Coq 其他
2014-01-01
Li, Yi; Sun, Meng
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/16
Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components 其他
2014-01-01
Hong, Ali; Liu, Yijing; Qiu, Zongyan
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/16
Modeling and analysis of component connectors in coq 其他
2014-01-01
Li, Yi; Sun, Meng
收藏  |  浏览/下载：3/0  |  提交时间：2017/12/03
A knowledge base with dependencies 其他
2014-01-01
Zhuang, Chaohui; 庄朝晖
收藏  |  浏览/下载：5/0  |  提交时间：2015/07/22
A vertex centric parallel algorithm for linear temporal logic model checking in Pregel 期刊论文
Journal of Parallel and Distributed Computing, 2014, 卷号: 74, 期号: 11, 页码: 3161-3174
Xie, Miao (1); Yang, Qiusong (1); Zhai, Jian (1); Wang, Qing (1)
收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16
Compensation by design 期刊论文
Formal Aspects of Computing, 2014, 卷号: 26, 期号: 4, 页码: 623-676
Liu, Xi (1); Yang, Shaofa (2); Sanders, J.W. (3)
收藏  |  浏览/下载：10/0  |  提交时间：2014/12/16

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