机构

• 软件研究所 [53]
• 国家授时中心 [4]
• 长春光学精密机械与物... [3]
• 计算技术研究所 [2]
• 电子学研究所 [2]
• 数学与系统科学研究院 [2]
• 更多

采集方式

• OAI收割 [76]

内容类型

• 期刊论文 [45]
• 学位论文 [24]
• 会议论文 [7]

发表日期

• 2014 [2]
• 2013 [4]
• 2012 [4]
• 2011 [3]
• 2010 [4]
• 2009 [3]
• 更多

学科主题

• 计算机应用 [2]
• Computer S... [1]
• Computer S... [1]
• 科技哲学 [1]
• 网络心理学 [1]
• 计算机应用::计算机... [1]
• 更多

筛选

浏览/检索结果: 共76条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 矩阵形式二次修正Maxwell-Dirac系统的多尺度算法 期刊论文  OAI收割 计算数学, 2019, 卷号: 41.0, 期号: 004, 页码: 419-439 作者:  付姚姚;  曹礼群   |  收藏  |   基于启发式方法的带参系统形式化验证 学位论文  OAI收割 硕士, 北京: 中国科学院大学, 2016 段凯强   |  收藏  |   关节中线缆的动力学建模和布置方案研究 会议论文  OAI收割 第九届全国多体系统动力学暨第四届全国航天动力学与控制学术会议, 武汉, 2015年10月17-18日 作者:  张赵威 收藏  |   纳米银的神经毒理学效应研究 会议论文  OAI收割 第十届全国生物医药色谱及相关技术学术交流会, 中国山东威海, 2014-04-19 作者:  殷诺雅;  周群芳;  刘稷燕;  江桂斌 收藏  |   SRLtoRadl生成系统及其范畴论语义 期刊论文  OAI收割 电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143 王昌晶; 薛锦云; 左正康   |  收藏  |   空气泵实验的理论预设与实验系统 期刊论文  OAI收割 自然辩证法研究, 2013, 卷号: 29, 期号: 10, 页码: 21-28 作者:  陈仕丹;  袁江洋 收藏  |   基于PVS的数据库安全策略形式化分析方法 期刊论文  OAI收割 中国科学技术大学学报, 2013, 卷号: 43, 期号: 7, 页码: 591-598 李昊; 张敏; 王榕   |  收藏  |   Radl 形式规格说明相对正确性研究 期刊论文  OAI收割 Journal of Software, 2013, 卷号: 24, 期号: 4 Wang Changjing; Xue Jinyun   |  收藏  |   Radl形式规格说明相对正确性研究 期刊论文  OAI收割 软件学报, 2013, 卷号: 24, 期号: 4, 页码: 715-729 王昌晶; 薛锦云   |  收藏  |   空间光学系统设计技术发展探讨 会议论文  OAI收割 中国北京 作者:  张新 收藏  |