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