您的位置: 专家智库 > >

江西省教育厅科学技术研究项目(GJJ09142)

作品数:2 被引量:3H指数:1
相关作者:化志章杨庆红揭安全更多>>
相关机构:江西师范大学更多>>
发文基金:江西省教育厅科学技术研究项目江西省自然科学基金国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

领域

  • 6个自动化与计算...
  • 4个电子电信
  • 4个文化科学
  • 4个兵器科学与技...
  • 3个经济管理
  • 3个哲学宗教
  • 3个生物学
  • 3个天文地球
  • 3个化学工程
  • 3个矿业工程
  • 3个石油与天然气...
  • 3个冶金工程
  • 3个金属学及工艺
  • 3个机械工程
  • 3个动力工程及工...
  • 3个电气工程
  • 3个建筑科学
  • 3个水利工程
  • 3个轻工技术与工...
  • 3个交通运输工程

主题

  • 6个递归
  • 6个递归算法
  • 6个形式化
  • 6个形式化方法
  • 6个循环不变式
  • 5个递推
  • 5个递推关系
  • 5个信息系统
  • 5个形式化描述
  • 5个形式化推导
  • 5个时间复杂度
  • 5个契约
  • 5个自动生成
  • 5个谓词
  • 5个物流
  • 5个物流信息
  • 3个大位移
  • 2个大宛齐油田
  • 2个大网膜
  • 2个大苇莺

机构

  • 6个江西师范大学
  • 6个中国科学院软...
  • 5个南昌大学
  • 5个江西省高性能...
  • 3个安徽工业大学
  • 3个安徽医科大学
  • 3个北方工业大学
  • 3个北方民族大学
  • 3个北京工商大学
  • 3个北京中医药大...
  • 3个长治学院
  • 2个安徽国际商务...
  • 2个安徽省农业科...
  • 2个安徽新华学院
  • 2个北海道大学
  • 2个北京跟踪与通...
  • 2个北京工业职业...
  • 2个北京航空工程...
  • 2个北京矿产地质...
  • 2个北京市药品检...

作者

  • 6个揭安全
  • 6个杨庆红
  • 6个石海鹤
  • 6个薛锦云
  • 6个化志章
  • 5个肖美华
  • 5个王昌晶
  • 5个钟林辉
  • 5个万剑怡
  • 5个胡启敏
  • 5个郑宇军
  • 4个游珍
  • 4个左正康
  • 2个张晓华
  • 2个张晓华
  • 2个张晓华
  • 2个张晓华
  • 2个张晓华
  • 2个张晓华
  • 2个丁一阳

传媒

  • 6个计算机工程与...
  • 6个江西师范大学...
  • 5个计算机研究与...
  • 5个计算机工程
  • 5个微电子学与计...
  • 3个分析化学
  • 3个分子科学学报
  • 3个化工科技
  • 3个工业安全与环...
  • 3个中国科技论坛
  • 3个中国临床药理...
  • 3个中国药物依赖...
  • 3个植物学通报
  • 3个资源科学
  • 3个植物生态学报
  • 3个林业科学
  • 3个生态学报
  • 3个中国仪器仪表
  • 3个心理学报
  • 3个计算机安全
6 条 记 录,以下是 1-6
国家重点基础研究发展计划
相关领域:天文地球 医药卫生 理学 农业科学 自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
国家重点基础研究发展计划(2003CCA02800)
相关领域:自动化与计算机技术 电子电信
相关作品相关人物相关机构相关资助相关领域
江西省自然科学基金
相关领域:理学 医药卫生 自动化与计算机技术 农业科学 金属学及工艺
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(60273092)
基于PAR方法的算法设计形式化和自动化研究
相关领域:自动化与计算机技术 文化科学 兵器科学与技术
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金
相关领域:医药卫生 理学 自动化与计算机技术 经济管理 农业科学
相关作品相关人物相关机构相关资助相关领域
江西省自然科学基金(2008GQS0056)
相关领域:自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
共1页<1>
聚类工具0