形式化分析方法

作品数：41被引量：79H指数：5
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：张倩颖关永施智平李黎明李晓娟更多>>
相关机构：西安电子科技大学首都师范大学苏州大学中国科学院软件研究所更多>>
相关期刊：《计算机光盘软件与应用》《计算机仿真》《科技资讯》《清华大学学报（自然科学版）》更多>>
相关基金：国家自然科学基金中国科学院研究生院院长基金国家科技重大专项江苏省高校自然科学研究项目更多>>
-
在结果中检索

检索结果分析

基金类型

  • 全部
  • 基金项目
  • 基金课题
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
排序：
国家自然科学基金
查看相关作品
作品数：3164202被引量：8320308H指数：431
相关主题：数值模拟 英文 影响因素 稳定性 神经网络
相关领域：医药卫生 理学 自动化与计算机技术 经济管理 农业科学
国家自然科学基金(69931040)
查看相关作品
作品数：199被引量：1253H指数：19
相关主题：数据挖掘 网络安全 关联规则 数据库 调度
相关领域：自动化与计算机技术 电子电信 军事 理学 兵器科学与技术
中国科学院研究生院院长基金
查看相关作品
作品数：299被引量：2361H指数：25
相关主题：稳定同位素分析 无线传感器网络 实证研究 脂肪酸合酶 N
相关领域：经济管理 自动化与计算机技术 理学 语言文字 生物学
江苏省高校自然科学研究项目
查看相关作品
作品数：24079被引量：118161H指数：72
相关主题：数值模拟 性能研究 无线传感器网络 遗传算法 小鼠
相关领域：自动化与计算机技术 医药卫生 理学 农业科学 电子电信
中国科学院研究生院院长基金(Y15102HN00)
查看相关作品
作品数：3被引量：6H指数：1
相关主题：CPN 安全协议 形式化分析方法 形式化分析 性能分析
相关领域：自动化与计算机技术
国家科技重大专项
查看相关作品
作品数：155256被引量：842058H指数：181
相关主题：数值模拟 鄂尔多斯盆地 影响因素 煤层气 页岩气
相关领域：医药卫生 石油与天然气工程 天文地球 环境科学与工程 农业科学
河北省重大技术创新项目
查看相关作品
作品数：224被引量：1312H指数：18
相关主题：奶牛 猪繁殖与呼吸综合征病毒 蛋鸡 奶牛生产性能 小麦
相关领域：农业科学 环境科学与工程 化学工程 交通运输工程 机械工程
河北省自然科学基金(G2011203195)
查看相关作品
作品数：11被引量：38H指数：3
相关主题：电子商务协议 电子商务 隐私保护 颜色PETRI网 形式化分析
相关领域：自动化与计算机技术 文化科学 交通运输工程 经济管理
河北省重大技术创新项目(09213562Z)
查看相关作品
作品数：3被引量：2H指数：1
相关主题：电子商务协议 电子商务 CPN 颜色PETRI网 TOOLS
相关领域：自动化与计算机技术
“核心电子器件、高端通用芯片及基础软件产品”国家科技重大专项(2010ZX01042-001-001-05)
查看相关作品
作品数：9被引量：88H指数：4
相关主题：MAPREDUCE 密文检索 HADOOP平台 可视化 数据挖掘平台
相关领域：自动化与计算机技术
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部