2024年12月24日
星期二
|
欢迎来到佛山市图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
长沙市科技计划项目(K1109020-11)
作品数:
6
被引量:29
H指数:3
相关作者:
徐亮
谭煌
余建平
刘宏
更多>>
相关机构:
湖南师范大学
教育部
更多>>
发文基金:
长沙市科技计划项目
湖南省重点学科建设项目
国家自然科学基金
更多>>
相关领域:
自动化与计算机技术
更多>>
相关作品
相关人物
相关机构
相关资助
相关领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
4个
自动化与计算...
1个
经济管理
1个
天文地球
1个
矿业工程
1个
电子电信
1个
电气工程
1个
建筑科学
1个
社会学
1个
文化科学
主题
4个
定理
3个
定理证明
3个
形式化
3个
自动化
2个
代理
2个
调度
2个
形式化方法
2个
形式化描述
2个
云计算
2个
自动化验证
2个
安全操作
2个
安全操作系统
2个
BLP
2个
BLP模型
2个
操作系
2个
操作系统
1个
电路
1个
电路设计
1个
电路设计方法
1个
电子商务
机构
4个
湖南师范大学
4个
教育部
1个
湖南大学
资助
4个
国家自然科学...
4个
湖南省科技计...
4个
长沙市科技计...
4个
湖南省教育厅...
4个
湖南省重点学...
3个
湖南省自然科...
2个
国家高技术研...
1个
福建省自然科...
1个
广东省自然科...
1个
湖南省软科学...
1个
湖南省教育厅...
1个
广东省教育部...
1个
国家教育部博...
1个
湖南省高等学...
1个
湖南省教育厅...
1个
湖南省普通高...
1个
湖南省重点科...
1个
茂名市科技计...
传媒
4个
计算机工程
3个
计算机工程与...
3个
计算机科学
2个
计算机工程与...
2个
湖南大学学报...
2个
计算机与现代...
2个
计算技术与自...
2个
电脑知识与技...
1个
计算机安全
1个
计算机光盘软...
1个
中小学信息技...
1个
系统工程理论...
1个
计算机研究与...
1个
通信学报
1个
湖南师范大学...
1个
湖南师范大学...
1个
计算机应用
1个
计算机应用研...
1个
信息与控制
1个
小型微型计算...
地区
4个
湖南省
共
4
条 记 录,以下是 1-4
全选
清除
导出
徐亮
供职机构:湖南师范大学数学与计算机科学学院
研究主题:BLP模型 安全操作系统 定理证明 SMT 触屏
发表作品
相关人物
供职机构
所获资助
研究领域
谭煌
供职机构:湖南师范大学数学与计算机科学学院
研究主题:执行引擎 WEB服务 距离函数 电子商务 BLP模型
发表作品
相关人物
供职机构
所获资助
研究领域
余建平
供职机构:湖南师范大学数学与计算机科学学院
研究主题:传感器网络 无线传感器网络 多目标优化 量子遗传算法 AGENT联盟
发表作品
相关人物
供职机构
所获资助
研究领域
刘宏
供职机构:湖南师范大学数学与计算机科学学院
研究主题:信息家电 家庭网关 IAIDL 嵌入式系统 IPSEC
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张