国际科技合作与交流专项项目(2008DFA11940)

作品数：11被引量：63H指数：5
导出分析报告
相关作者：薛锦云石海鹤游珍王昌晶杨乐更多>>
相关机构：江西师范大学中国科学院软件研究所中国科学院研究生院江西农业大学更多>>
相关期刊：《中国科学：信息科学》《计算机与现代化》《武汉大学学报（理学版）》《计算机研究与发展》更多>>
相关主题：PAR方法PAR形式化方法形式化推导规约更多>>
相关领域：自动化与计算机技术农业科学更多>>
-
在结果中检索

检索结果分析

基金关系类型

  • 合作项目
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
排序：
国家自然科学基金
查看相关作品
作品数：3164197被引量：8349380H指数：432
相关主题：数值模拟 英文 影响因素 稳定性 神经网络
相关领域：医药卫生 理学 自动化与计算机技术 经济管理 农业科学
国家自然科学基金(60773054)
查看相关作品
作品数：23被引量：70H指数：4
相关主题：PAR方法 形式化推导 PAR平台 形式化方法 形式化开发
相关领域：自动化与计算机技术 电子电信 社会学 经济管理 农业科学
江西省教育厅青年科学基金(GJJ09461)
查看相关作品
作品数：3被引量：6H指数：1
相关主题：形式化推导 0-1背包 高可信 组合优化 TS
相关领域：自动化与计算机技术
江西省自然科学基金
查看相关作品
作品数：24335被引量：114235H指数：66
相关主题：数值模拟 化学成分 水稻 力学性能 性能研究
相关领域：理学 医药卫生 自动化与计算机技术 农业科学 金属学及工艺
江西省教育厅青年科学基金
查看相关作品
作品数：1695被引量：8734H指数：34
相关主题：稳定性 鄱阳湖 数值模拟 ZRB 骨髓间充质干细胞
相关领域：医药卫生 理学 自动化与计算机技术 农业科学 化学工程
国家自然科学基金(60573080)
查看相关作品
作品数：11被引量：47H指数：3
相关主题：形式化开发 形式化方法 PAR方法 PAR 循环不变式
相关领域：自动化与计算机技术 机械工程 兵器科学与技术
国家重点基础研究发展计划(2003CCA02800)
查看相关作品
作品数：15被引量：37H指数：4
相关主题：PAR方法 形式化方法 形式化推导 循环不变式 高可靠性
相关领域：自动化与计算机技术 电子电信
江西师范大学青年成长基金(3174)
查看相关作品
作品数：1被引量：4H指数：1
相关主题：APLA语言
相关领域：自动化与计算机技术
北京市属高等学校人才强教计划资助项目(PHR200907136)
查看相关作品
作品数：34被引量：259H指数：10
相关主题：番茄 叶用莴苣 高温胁迫 低温胁迫 农艺性状
相关领域：农业科学 环境科学与工程 生物学 轻工技术与工程
北京市属高等学校人才强教计划资助项目
查看相关作品
作品数：4885被引量：26670H指数：47
相关主题：油气润滑 高校 实证研究 影响因素 实证分析
相关领域：经济管理 自动化与计算机技术 文化科学 理学 医药卫生
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部