QQ客服 官方微博 反馈留言

浏览/检索结果: 共9条，第1-9条 帮助 限定条件 专题：暨南大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 A Dynamic-Logical Characterization of Solutions to Sight-limited Extensive Games 期刊论文 2018, 卷号: 158, 期号: 1-3, 页码: 149 作者:  Liu, Chanjuan[1];  Liu, Fenrong[2];  Su, Kaile[3,4] 收藏  |  浏览/下载：8/0  |  提交时间：2019/12/17 Verification of web service protocols by logic of knowledge 期刊论文 2011, 卷号: 8, 期号: 6, 页码: 921 作者:  Chen, Qingliang[1,2,3];  Su, Kaile[1,4];  Cao, Ying[2];  Liu, Chanjuan[1] 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/10 A Dynamic-Logical Characterization of Solutions in Sight-Limited Extensive Games 会议论文 Bertinoro, ITALY, OCT 26-30, 2015 作者:  Liu, Chanjuan[1,4];  Liu, Fenrong[2,4];  Su, Kaile[3,4] 收藏  |  浏览/下载：7/0  |  提交时间：2019/12/13 A Study of the Present Situation of College Education about Internet Culture and its Solution 会议论文 Macao, PEOPLES R CHINA, MAR 05-05, 2011 作者:  Cai, Zhe[1];  Liu, Chanjuan 收藏  |  浏览/下载：0/0  |  提交时间：2019/12/17 Knowledge-theoretic approach to formal verification of web services protocols 会议论文 Beijing, China, July 16, 2010 - July 18, 2010 作者:  Yao, Guoxiang[1];  Chen, Qingliang[1,2];  Liu, Chanjuan[1];  Yang, Zhuolin[1] 收藏  |  浏览/下载：5/0  |  提交时间：2019/12/17 Discussion for the Practice on College Students' Job Choosing Psychological Assistance and Model Establishment 会议论文 Macao, PEOPLES R CHINA, MAR 05-05, 2011 作者:  Cai, Zhe[1];  Liu, Chanjuan 收藏  |  浏览/下载：0/0  |  提交时间：2019/12/17 Investigation into Postgraduate's Career Planning & Development and Its Solution-A Case Study of Postgraduates Majoring in Computer Science 会议论文 Beijing, PEOPLES R CHINA, AUG 16-18, 2011 作者:  Cai, Zhe[1];  Liu, Chanjuan[2];  Cao, Ying[1] 收藏  |  浏览/下载：0/0  |  提交时间：2019/12/23 A Multimedia Interactive Classroom Quiz Competition System with an Item Bank 会议论文 Chongqing, PEOPLES R CHINA, SEP 10-11, 2011 作者:  Huang, Zhan[1];  Jiang, Yuying[1];  Liu, Chanjuan[2] 收藏  |  浏览/下载：0/0  |  提交时间：2019/12/23 Automatic verification of web service protocols for epistemic specifications under dolev-yao model 会议论文 Hangzhou, China, May 12, 2010 - May 14, 2010 作者:  Chen, Qingliang[1];  Su, Kaile[2];  Liu, Chanjuan[1];  Xiao, Yinyin[3] 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/06