CORC

在结果中检索

CORC

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

限定条件    
已选(0)清除 条数/页：   排序方式：
Design of Real-Time Communication Social Software Based on XMPP 会议论文
2018 IEEE International Conference of Safety Produce Informatization, IICSPI 2018, Chongqing, China, 2018-12-10
作者:  Xiao, Dawei;  Jiang, Liqiu
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/02
The stability analysis and control of uncertain singular biological economic system with invasion of alien species based on sliding mode control 会议论文
作者:  Jin, Zhenghong;  Zhang, Qingling;  Meng, Xinyou
收藏  |  浏览/下载：1/0  |  提交时间：2020/11/15
Construction of Intelligent Tutoring System Based on Semantic Web 会议论文
作者:  Dai Kai-yu;  Lu Jian;  Lu Sheng-qi;  Zhao Yi-ming
收藏  |  浏览/下载：2/0  |  提交时间：2019/08/22
Design and Implementation of Health Management System Based on IOS Platform[C]. 会议论文
Proceedings of the 5th International Conference on Computer Engineering and Networks.
作者:  Hu YP(胡延平)
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/09
Design and implementation of health management system based on IOS platform 会议论文
5th International Conference on Computer Engineering and Networks, CENet 2015, Shanghai, China, 2015-09-12
作者:  Xu, Fei;  Hu, Yanping;  Cheng, Yahui;  Zhang, Yan;  Sun, Zhe
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/09
Super-dense computation in verification of hybrid CSP processes 会议论文
10th International Symposium on Formal Aspects of Component Software, FACS 2013, Nanchang, China, October 27, 2013 - October 29, 2013
Guelev, Dimitar P. (1); Wang, Shuling (2); Zhan, Naijun (2); Zhou, Chaochen (2)
收藏  |  浏览/下载：14/0  |  提交时间：2014/12/16
QBF encoding of temporal properties and QBF-based verification 会议论文
7th International Joint Conference on Automated Reasoning, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19, 2014 - July 22, 2014
Zhang, Wenhui (1)
收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16
Efficient texture synthesis of aggregate solid material 会议论文
Shu, Yue (1); Qian, Yinling (3); Sun, Hanqiu (3); Chen, Yanyun (1)
收藏  |  浏览/下载：21/0  |  提交时间：2014/12/16
Formal verification of a descent guidance control program of a lunar lander 会议论文
19th International Symposium on Formal Methods, FM 2014, Singapore, Singapore, May 12, 2014 - May 16, 2014
Zhao, Hengjun (1); Yang, Mengfei (2); Zhan, Naijun (1); Gu, Bin (3); Zou, Liang (1); Chen, Yao (3)
收藏  |  浏览/下载：17/0  |  提交时间：2014/12/16
An Information Retrieval System Based on Portable Device 会议论文
ADVANCES IN MANUFACTURING SCIENCE AND ENGINEERING, PTS 1-4, 2013-03-30
作者:  Yu, Xiaoqing[1];  Wang, Wengen[2];  Shi, Jianhua[3];  Wang, Yunhui[4]
收藏  |  浏览/下载：5/0  |  提交时间：2019/04/30

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