中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码？
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [10]
采集方式
OAI收割 [10]
内容类型
期刊论文 [8]
学位论文 [2]
发表日期
2012 [1]
2010 [4]
2009 [1]
2007 [2]
2006 [2]
学科主题
计算机软件 [1]
计算机软件::软件工... [1]
筛选
浏览/检索结果:
共10条，第1-10条
帮助
条数/页：
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式：
请选择
提交时间升序
提交时间降序
发表日期升序
发表日期降序
题名升序
题名降序
作者升序
作者降序
基于PAR的排序算法自动生成研究
期刊论文
OAI收割
软件学报, 2012, 卷号: 23, 期号: 9, 页码: 2248-2260
石海鹤
;
薛锦云
|
收藏
|
基于PAR的置换和查找类算法的自动生成研究
学位论文
OAI收割
博士, 北京: 中国科学院研究生院, 2010
石海鹤
|
收藏
|
循环不变式开发技术研究
期刊论文
OAI收割
计算机工程与科学, 2010, 卷号: 32, 期号: 9, 页码: 84-88,94
万松松
;
薛锦云
;
谢武平
|
收藏
|
后序遍历二叉树非递归算法的推导及形式化证明
期刊论文
OAI收割
计算机工程与科学, 2010, 卷号: 32, 期号: 3, 页码: 119-123
左正康
;
游珍
;
薛锦云
|
收藏
|
Huffman算法程序的形式化推导
期刊论文
OAI收割
计算机工程, 2010, 卷号: 36, 期号: 5, 页码: 49-51
王昌晶
;
罗海梅
;
左正康
;
薛锦云
|
收藏
|
基于PAR的高可信装备保障算法推演
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2009
郑宇军
|
收藏
|
形式化开发Hanoi塔问题非递归算法
期刊论文
OAI收割
计算机工程与应用, 2007, 期号: 11, 页码: 96-99
石海鹤
;
石海鹏
;
薛锦云
收藏
|
形式化开发Hanoi塔问题非递归算法
期刊论文
OAI收割
计算机工程与应用, 2007, 期号: 11, 页码: 96-99
石海鹤
;
石海鹏
;
薛锦云
|
收藏
|
循环不变式开发新策略及其应用
期刊论文
OAI收割
计算机工程与应用, 2006, 期号: 4, 页码: 105-107,161
石海鹤
;
肖正兴
;
薛锦云
|
收藏
|
形式化开发若干组合数学问题的算法
期刊论文
OAI收割
江西师范大学学报(自然科学版), 2006, 期号: 5, 页码: 423-427
石海鹤
;
石海鹏
;
薛锦云
|
收藏
|
