2024年8月19日
星期一
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
国家科技支撑计划(SQ2012BAJY4052)
作品数:
3
被引量:6
H指数:1
相关作者:
贺飞
顾明
张硕
何巍
更多>>
相关机构:
清华大学
教育部
更多>>
发文基金:
国家自然科学基金
国家重点基础研究发展计划
国家科技支撑计划
更多>>
相关领域:
自动化与计算机技术
更多>>
相关作品
相关人物
相关机构
相关资助
相关领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
4个
自动化与计算...
2个
电子电信
1个
经济管理
1个
化学工程
1个
石油与天然气...
1个
机械工程
1个
动力工程及工...
1个
建筑科学
1个
交通运输工程
1个
航空宇航科学...
1个
一般工业技术
1个
理学
主题
3个
形式化
3个
形式化方法
3个
硬件
3个
软硬件
3个
软硬件协同
2个
代码
2个
对象模型
1个
代理
1个
代码克隆
1个
代码库
1个
单点
1个
单点登录
1个
单根纤维
1个
档位
1个
导向性
1个
登录
1个
等效
1个
低油耗
1个
电计量
1个
电视
机构
4个
清华大学
3个
教育部
1个
北京清软英泰...
资助
4个
国家科技支撑...
4个
国家重点基础...
4个
国家自然科学...
4个
清华大学自主...
2个
国家高技术研...
2个
北京市属高等...
1个
北京市自然科...
1个
中国博士后科...
1个
北京市科技计...
1个
国家杰出青年...
1个
国家科技重大...
1个
中央级公益性...
1个
广西青年科学...
1个
国家部委资助...
1个
国家教育部博...
1个
国家重点实验...
1个
中国航空科学...
传媒
3个
计算机工程与...
3个
计算机科学
2个
计算机集成制...
2个
计算机学报
2个
计算机应用
2个
计算机应用研...
1个
中国勘察设计
1个
新型炭材料
1个
工程热物理学...
1个
电视技术
1个
仪器仪表学报
1个
物理学报
1个
计算机研究与...
1个
通信学报
1个
北京大学学报...
1个
电子学报
1个
清华大学学报...
1个
南京大学学报...
1个
计算机工程与...
1个
国防科技大学...
地区
4个
北京市
共
4
条 记 录,以下是 1-4
全选
清除
导出
贺飞
供职机构:清华大学软件学院
研究主题:形式化方法 数据分析 仿真 嵌入式软件 接口自动机
发表作品
相关人物
供职机构
所获资助
研究领域
顾明
供职机构:清华大学
研究主题:计算机设备 领域知识 存储介质 漏洞 WEB服务
发表作品
相关人物
供职机构
所获资助
研究领域
何巍
供职机构:清华大学软件学院
研究主题:服务器模型 分布式嵌入式系统 仿真平台 仿真 浏览器
发表作品
相关人物
供职机构
所获资助
研究领域
张硕
供职机构:清华大学软件学院
研究主题:形式化方法
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张