机构

• 软件研究所 [10]
• 数学与系统科学研究院 [3]
• 计算技术研究所 [2]
• 地理科学与资源研究所 [1]
• 长春光学精密机械与物... [1]
• 自动化研究所 [1]
• 更多

采集方式

• OAI收割 [18]

内容类型

• 期刊论文 [12]
• 会议论文 [4]
• 学位论文 [2]

发表日期

• 2019 [1]
• 2017 [1]
• 2016 [2]
• 2014 [1]
• 2012 [1]
• 2010 [2]
• 更多

学科主题

• Computer S... [1]
• Computer S... [1]
• Computer S... [1]
• Computer S... [1]
• 计算机软件::软件理... [1]

筛选

浏览/检索结果: 共18条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 Apparent singularities of D-finite systems 期刊论文  OAI收割 JOURNAL OF SYMBOLIC COMPUTATION, 2019, 卷号: 95, 页码: 217-237 作者:  Chen, Shaoshi;  Kauers, Manuel;  Li, Ziming;  Zhang, Yi   |  收藏  |   Barrier certificates revisited 期刊论文  OAI收割 JOURNAL OF SYMBOLIC COMPUTATION, 2017, 卷号: 80, 页码: 62-86 作者:  Dai, Liyun;  Gan, Ting;  Xia, Bican 收藏  |   Convergence analysis of the formal energies of symplectic methods for Hamiltonian systems 期刊论文  OAI收割 SCIENCE CHINA-MATHEMATICS, 2016, 卷号: 59, 期号: 2, 页码: 379-396 作者:  Zhang RuiLi;  Tang YiFa;  Zhu BeiBei;  Tu XiongBiao;  Zhao Yue   |  收藏  |   基于Pushdown系统证明的可视化 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2016 周青   |  收藏  |   SRLtoRadl生成系统及其范畴论语义 期刊论文  OAI收割 电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143 王昌晶; 薛锦云; 左正康   |  收藏  |   MOTEC:一个存储一致性模型验证工具 期刊论文  OAI收割 计算机工程, 2012, 卷号: 38, 期号: 11, 页码: 242-246 吕正; 陈昊; 陈峰; 吕毅   |  收藏  |   formal based operation strategy design for collaborative shared teleoperation system 会议论文  OAI收割 International Conference on Control, Automation and Systems, ICCAS 2010, Gyeonggi, 40843 Fengge Wu; Junsuo Zhao; Huaping Liu; Xiaohui Hu; Fanjiang Xu   |  收藏  |   一种基于安全状态转移的简并测试集生成方法 期刊论文  OAI收割 软件学报, 2010, 卷号: 21, 期号: 3, 页码: 539-547 程亮; 张阳; 冯登国   |  收藏  |   a petri net-based model for verification of obligations and accountability in cooperative systems 期刊论文  OAI收割 IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2009, 卷号: 39, 期号: 2, 页码: 299-308 Du YuYue; Jiang ChangJun; Zhou MengChu   |  收藏  |   A new authentication protocol for wireless communication network based on IEEE802.16 (EI CONFERENCE) 会议论文  OAI收割 2008 International Symposium on Parallel and Distributed Processing with Applications, ISPA 2008, December 10, 2008 - December 12, 2008, Sydney, NSW, Australia Li R.; Fang Z.; Cao W.; Yin Y.; Xu P. 收藏  |