公共文化服务平台

2024年7月9日星期二

|

欢迎来到青海省图书馆•公共文化服务平台

登录 | 注册 | 进入后台

[APP下载]

[APP下载]

扫一扫,既下载

全民阅读
职业技能
专家智库
参考咨询

您的位置： 专家智库 > >

国家自然科学基金(60573080): 作品数：11 被引量：49H指数：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>

执行隐藏清空

用户登录

用户反馈

标题：

*标题长度不超过50

邮箱：

*

反馈意见：

反馈意见字数长度不超过255

验证码：

看不清楚？点击换一张