2024年12月25日
星期三
|
欢迎来到海南省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
国家自然科学基金(60573080)
作品数:
11
被引量:50
H指数:4
相关作者:
薛锦云
石海鹤
石海鹏
郑宇军
游珍
更多>>
相关机构:
江西师范大学
中国科学院软件研究所
中国科学院研究生院
更多>>
发文基金:
国家自然科学基金
江西省自然科学基金
江西师范大学青年成长基金
更多>>
相关领域:
自动化与计算机技术
机械工程
兵器科学与技术
更多>>
相关作品
相关人物
相关机构
相关资助
相关领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
12个
自动化与计算...
8个
电子电信
8个
农业科学
7个
经济管理
6个
天文地球
6个
化学工程
6个
机械工程
6个
轻工技术与工...
6个
交通运输工程
6个
环境科学与工...
6个
一般工业技术
6个
文化科学
6个
理学
5个
哲学宗教
5个
生物学
5个
矿业工程
5个
石油与天然气...
5个
冶金工程
5个
金属学及工艺
5个
动力工程及工...
主题
11个
形式化
11个
形式化方法
10个
PAR方法
9个
形式化推导
9个
循环不变式
9个
规约
9个
PAR
8个
面向对象
7个
递归
7个
递归算法
7个
信息系统
7个
形式化验证
7个
搜索
7个
自动生成
7个
谓词
7个
可靠性
6个
递推
6个
物流
6个
解法
5个
形式化描述
机构
11个
江西师范大学
11个
中国科学院软...
8个
江西省高性能...
7个
南昌大学
7个
南昌航空大学
6个
浙江大学
5个
复旦大学
5个
湖南科技大学
4个
安徽医科大学
4个
东北大学
4个
广东药学院
4个
广东医学院
4个
贵州大学
4个
贵州师范大学
4个
河北医科大学
4个
河海大学
4个
安徽理工大学
4个
大连理工大学
4个
福建农林大学
4个
福建省农业科...
作者
11个
石海鹤
11个
薛锦云
10个
郑宇军
8个
王昌晶
7个
揭安全
7个
游珍
6个
万松松
6个
左正康
6个
谢武平
3个
兰健
3个
华红霞
3个
吕爱平
3个
孙凌宇
2个
张晓华
2个
上官周平
2个
代飞飞
2个
余龙江
2个
刘再华
2个
刘迎新
2个
卢冠忠
传媒
10个
计算机工程
9个
计算机工程与...
9个
江西师范大学...
9个
计算机科学
8个
计算机研究与...
8个
计算机应用研...
8个
计算机工程与...
7个
计算机学报
7个
计算机与现代...
5个
现代化工
5个
计算机时代
5个
微电子学与计...
4个
分析化学
4个
化工科技
4个
植物学通报
4个
植物生态学报
4个
林业科学
4个
生态学报
4个
岩石矿物学杂...
4个
植物营养与肥...
共
12
条 记 录,以下是 1-10
全选
清除
导出
江西省自然科学基金
相关领域:理学 医药卫生 自动化与计算机技术 农业科学 金属学及工艺
相关作品
相关人物
相关机构
相关资助
相关领域
江西师范大学青年成长基金
相关领域:理学 自动化与计算机技术 文化科学 化学工程 经济管理
相关作品
相关人物
相关机构
相关资助
相关领域
江西省自然科学基金(0511041)
曙光并行机上的新型并行程序开发环境
相关领域:自动化与计算机技术
相关作品
相关人物
相关机构
相关资助
相关领域
国家自然科学基金(60773054)
相关领域:自动化与计算机技术 电子电信 社会学 经济管理 农业科学
相关作品
相关人物
相关机构
相关资助
相关领域
国际科技合作与交流专项项目
相关领域:农业科学 医药卫生 自动化与计算机技术 天文地球 环境科学与工程
相关作品
相关人物
相关机构
相关资助
相关领域
国际科技合作与交流专项项目(2008DFA11940)
相关领域:自动化与计算机技术 农业科学
相关作品
相关人物
相关机构
相关资助
相关领域
国家重点基础研究发展计划
相关领域:天文地球 医药卫生 理学 农业科学 自动化与计算机技术
相关作品
相关人物
相关机构
相关资助
相关领域
国家重大基础研究前期研究专项
相关领域:理学 生物学 农业科学 天文地球 医药卫生
相关作品
相关人物
相关机构
相关资助
相关领域
国家重点基础研究发展计划(2003CCA02800)
相关领域:自动化与计算机技术 电子电信
相关作品
相关人物
相关机构
相关资助
相关领域
国家自然科学基金(60273092)
基于PAR方法的算法设计形式化和自动化研究
相关领域:自动化与计算机技术 文化科学 兵器科学与技术
相关作品
相关人物
相关机构
相关资助
相关领域
全选
清除
导出
共2页
<
1
2
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张