机构

• 软件研究所 [56]
• 沈阳应用生态研究所 [2]
• 合肥物质科学研究院 [1]
• 西安光学精密机械研究... [1]

采集方式

• OAI收割 [60]

内容类型

• 期刊论文 [38]
• 会议论文 [21]
• 专利 [1]

发表日期

• 2020 [1]
• 2014 [1]
• 2013 [2]
• 2012 [1]
• 2011 [3]
• 2010 [7]
• 更多

学科主题

• Computer S... [3]
• Artificial... [1]
• Computer S... [1]
• Interdisci... [1]
• Operations... [1]
• Theory & M... [1]
• 更多

筛选

浏览/检索结果: 共60条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 A novel silicon nanoparticles-infilled capsule prepared by an oil-in-water emulsion strategy for high-performance Li-ion battery anodes 期刊论文  OAI收割 NANOTECHNOLOGY, 2020, 卷号: 31 作者:  Wu, Yong;  Han, Tianli;  Zhou, Ting;  Qiao, Xue;  Chen, Xi   |  收藏  |   SRLtoRadl生成系统及其范畴论语义 期刊论文  OAI收割 电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143 王昌晶; 薛锦云; 左正康   |  收藏  |   Radl 形式规格说明相对正确性研究 期刊论文  OAI收割 Journal of Software, 2013, 卷号: 24, 期号: 4 Wang Changjing; Xue Jinyun   |  收藏  |   Radl形式规格说明相对正确性研究 期刊论文  OAI收割 软件学报, 2013, 卷号: 24, 期号: 4, 页码: 715-729 王昌晶; 薛锦云   |  收藏  |   基于PAR的排序算法自动生成研究 期刊论文  OAI收割 软件学报, 2012, 卷号: 23, 期号: 9, 页码: 2248-2260 石海鹤; 薛锦云   |  收藏  |   formal derivation of two algorithms involving sequences 会议论文  OAI收割 2011 10th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2011, Sanya, Hainan Island, China, May 16, 20 Shi Haihe; Xue Jinyun   |  收藏  |   a generative approach to searching algorithmic programs development 会议论文  OAI收割 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, Shaanxi, China, August 29, Shi Haihe; Xue Jinyun   |  收藏  |   组合优化问题简约与算法推演 期刊论文  OAI收割 Journal of Software, 2011, 卷号: 22, 期号: 9, 页码: 1985-1993 郑宇军; 薛锦云; 凌海风   |  收藏  |   generating provably correct algorithmic programs from formal specifications 会议论文  OAI收割 10th International Conference on Quality Software, QSIC 2010, Zhangjiajie, China, 37451 Shi Haihe; Xue Jinyun   |  收藏  |   an algebraic approach to mechanical tabu search algorithm generation 会议论文  OAI收割 2010 1st IEEE International Conference on Progress in Informatics and Computing, PIC 2010, Shanghai, China, 40878 Zheng Yujun; Shi Haihe; Xue Jinyun   |  收藏  |