循环不变式

作品数：51被引量：83H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：薛锦云杨庆红左正康石海鹤游珍更多>>
相关机构：江西师范大学中国科学院软件研究所中国科学技术大学南京大学更多>>
相关期刊：《计算机与数字工程》《计算机与现代化》《西北师范大学学报（自然科学版）》《福州大学学报（自然科学版）》更多>>
相关基金：国家自然科学基金江西省自然科学基金江西省教育厅科学技术研究项目国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

基金类型

  • 全部
  • 基金项目
  • 基金课题
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
排序：
国家自然科学基金
查看相关作品
作品数：3164197被引量：8349380H指数：432
相关主题：数值模拟 英文 影响因素 稳定性 神经网络
相关领域：医药卫生 理学 自动化与计算机技术 经济管理 农业科学
江西省自然科学基金
查看相关作品
作品数：24335被引量：114235H指数：66
相关主题：数值模拟 化学成分 水稻 力学性能 性能研究
相关领域：理学 医药卫生 自动化与计算机技术 农业科学 金属学及工艺
国家自然科学基金(60273092)
查看相关作品
作品数：42被引量：211H指数：7
相关主题：形式化方法 PAR方法 程序设计 并发 形式化推导
相关领域：自动化与计算机技术 文化科学 兵器科学与技术
国家重点基础研究发展计划
查看相关作品
作品数：273389被引量：1709417H指数：255
相关主题：数值模拟 英文 力学性能 气候变化 影响因素
相关领域：天文地球 医药卫生 理学 农业科学 自动化与计算机技术
江西省教育厅科学技术研究项目
查看相关作品
作品数：19911被引量：85329H指数：58
相关主题：数值模拟 影响因素 鄱阳湖 大数据 力学性能
相关领域：自动化与计算机技术 医药卫生 理学 经济管理 农业科学
国家自然科学基金(69783006)
查看相关作品
作品数：8被引量：22H指数：3
相关主题：循环不变式 PAR方法 分划递推法 可重用部件 可重用部件库
相关领域：自动化与计算机技术
江西省教育厅科学技术研究项目(GJJ09142)
查看相关作品
作品数：2被引量：3H指数：1
相关主题：循环不变式 解法 遍历序列 二叉树遍历 遍历
相关领域：自动化与计算机技术
国家高技术研究发展计划
查看相关作品
作品数：254143被引量：1396218H指数：194
相关主题：数值模拟 水稻 仿真 遗传算法 机器人
相关领域：自动化与计算机技术 农业科学 电子电信 医药卫生 理学
国家重点基础研究发展计划(2003CCA02800)
查看相关作品
作品数：15被引量：37H指数：4
相关主题：PAR方法 形式化方法 形式化推导 循环不变式 高可靠性
相关领域：自动化与计算机技术 电子电信
江西省自然科学基金(2008GQS0056)
查看相关作品
作品数：3被引量：38H指数：2
相关主题：循环不变式 非递归算法 PAR 规约 形式化开发
相关领域：自动化与计算机技术
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部