2024年8月28日
星期三
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
国家自然科学基金(60273092)
作品数:
42
被引量:270
H指数:7
相关作者:
薛锦云
揭安全
化志章
胡启敏
杨庆红
更多>>
相关机构:
江西师范大学
中国科学院软件研究所
江西省高性能计算技术重点实验室
更多>>
发文基金:
国家自然科学基金
国家重点基础研究发展计划
江西师范大学青年成长基金
更多>>
相关领域:
自动化与计算机技术
文化科学
兵器科学与技术
更多>>
相关作品
相关人物
相关机构
相关资助
相关领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
36个
自动化与计算...
20个
文化科学
13个
电子电信
11个
经济管理
7个
理学
5个
社会学
4个
机械工程
4个
交通运输工程
3个
化学工程
3个
环境科学与工...
3个
农业科学
2个
哲学宗教
2个
生物学
2个
天文地球
2个
轻工技术与工...
2个
政治法律
2个
军事
2个
自然科学总论
1个
矿业工程
1个
金属学及工艺
主题
21个
形式化
21个
程序设计
19个
教学
19个
PAR方法
17个
计算机
16个
网络
15个
自动化
15个
面向对象
14个
循环不变式
13个
规约
12个
递归
12个
形式化方法
12个
体系结构
12个
课程
11个
语义
10个
递归算法
8个
递推
8个
形式化验证
7个
代理
5个
代码
机构
34个
江西师范大学
10个
中国科学院软...
9个
江西省高性能...
3个
武汉大学
3个
浙江工业大学
3个
中国科学院研...
3个
中国科学院大...
2个
南昌大学
2个
上海交通大学
2个
浙江大学
1个
北京大学
1个
杭州师范大学
1个
华南农业大学
1个
江西医学院
1个
井冈山大学
1个
南昌工程学院
1个
南京工业大学
1个
南昌航空大学
1个
北京电子科技...
1个
北京交通大学
资助
36个
国家自然科学...
21个
江西省教育厅...
18个
江西省自然科...
16个
国家重点基础...
10个
江西省高等学...
9个
国际科技合作...
8个
江西师范大学...
7个
国家重大基础...
6个
国家高技术研...
5个
江西省教育厅...
4个
江西省研究生...
4个
江西省科技支...
3个
国家留学基金
3个
江西省软科学...
3个
浙江省自然科...
3个
博士科研启动...
3个
江西省高校人...
3个
江西省教育厅...
3个
江西省科技厅...
2个
广东省科技计...
传媒
19个
计算机与现代...
18个
江西师范大学...
17个
计算机研究与...
17个
计算机工程
15个
计算机工程与...
15个
计算机工程与...
14个
计算机科学
11个
计算机应用研...
11个
计算机教育
9个
微计算机信息
9个
计算机技术与...
8个
计算机工程与...
7个
软件学报
6个
计算机学报
6个
计算机应用与...
6个
小型微型计算...
5个
计算机时代
5个
微电子学与计...
5个
中文信息学报
5个
2005年全...
地区
27个
江西省
4个
浙江省
1个
湖北省
1个
北京市
1个
陕西省
1个
广东省
共
36
条 记 录,以下是 1-10
全选
清除
导出
薛锦云
供职机构:江西师范大学
研究主题:PAR方法 程序设计 形式化方法 循环不变式 PAR
发表作品
相关人物
供职机构
所获资助
研究领域
揭安全
供职机构:江西师范大学计算机信息工程学院
研究主题:教学改革 并发 APLA-JAVA 可重用部件库 PAR方法
发表作品
相关人物
供职机构
所获资助
研究领域
化志章
供职机构:江西师范大学计算机信息工程学院
研究主题:教学改革 程序设计 教学模式 数据结构 计算机程序设计
发表作品
相关人物
供职机构
所获资助
研究领域
胡启敏
供职机构:江西师范大学
研究主题:PAR方法 J2EE 形式化方法 形式化描述 形式化推导
发表作品
相关人物
供职机构
所获资助
研究领域
杨庆红
供职机构:江西师范大学计算机信息工程学院
研究主题:循环不变式 程序设计 教学改革 递归问题 递推关系
发表作品
相关人物
供职机构
所获资助
研究领域
王昌晶
供职机构:江西师范大学
研究主题:形式化推导 泛型 PAR平台 APLA 循环不变式
发表作品
相关人物
供职机构
所获资助
研究领域
肖美华
供职机构:华东交通大学
研究主题:形式化方法 SPIN 安全协议 形式化分析 图像
发表作品
相关人物
供职机构
所获资助
研究领域
陈勇光
供职机构:江西师范大学计算机信息工程学院
研究主题:XML 工作流管理系统 工作流 基于XML 可适应性
发表作品
相关人物
供职机构
所获资助
研究领域
郑宇军
供职机构:浙江工业大学计算机科学与技术学院、软件学院
研究主题:形式化方法 水波 优化算法 AGENT 契约
发表作品
相关人物
供职机构
所获资助
研究领域
李英龙
供职机构:浙江工业大学
研究主题:物联网 隐私保护 模糊信息 语言变量 操作符
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共4页
<
1
2
3
4
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张