2024年8月26日
星期一
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
贾娟娟
作品数:
1
被引量:3
H指数:1
供职机构:
首都师范大学信息工程学院
更多>>
发文基金:
国际科技合作与交流专项项目
国家自然科学基金
北京市教委科学研究与科研基地建设项目
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
李勇坚
中国科学院软件研究所
关永
首都师范大学信息工程学院
魏洪兴
北京航空航天大学机械工程及自动...
施智平
首都师范大学信息工程学院
作品列表
供职机构
相关作者
所获基金
研究领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
4个
自动化与计算...
3个
电子电信
3个
文化科学
2个
机械工程
2个
电气工程
2个
建筑科学
2个
环境科学与工...
2个
理学
1个
经济管理
1个
生物学
1个
天文地球
1个
矿业工程
1个
金属学及工艺
1个
交通运输工程
1个
航空宇航科学...
1个
医药卫生
1个
一般工业技术
1个
军事
主题
4个
定理
4个
定理证明
3个
代数
3个
电机
3个
电路
3个
调度
3个
定理证明器
2个
代码
2个
代码生成
2个
代码生成器
2个
袋模型
2个
弹力带
2个
电流
2个
电流传感器
2个
电能
1个
带轮
1个
代价函数
1个
代理
1个
代数多项式
1个
代数语义
机构
2个
首都师范大学
1个
内蒙古大学
1个
北京航空航天...
1个
上海交通大学
1个
首钢工学院
1个
中国科学院
1个
中国农业大学
1个
中国矿业大学...
1个
中国科学院研...
1个
中国科学院软...
1个
军事科学院
1个
联合国大学
1个
内蒙古工学院
1个
北京航天数控...
1个
天津工程机械...
资助
4个
国家自然科学...
4个
北京市优秀人...
4个
北京市教委科...
4个
国际科技合作...
3个
北京市自然科...
3个
国家高技术研...
3个
国家科技支撑...
3个
北京市科委项...
2个
北京市科技新...
2个
国家重点基础...
2个
中国博士后科...
2个
北京市科技计...
2个
北京市教委科...
2个
中央级公益性...
2个
北京市教委资...
2个
国家教育部博...
2个
国家重点实验...
2个
河北省科技计...
1个
北京市科委基...
1个
国防基础科研...
传媒
4个
小型微型计算...
3个
计算机工程
3个
计算机应用与...
3个
软件学报
3个
计算机工程与...
3个
机器人
3个
计算机科学
3个
传感器与微系...
2个
内蒙古大学学...
2个
电子技术应用
2个
电子学报
2个
计算机工程与...
2个
机床与液压
2个
计算机应用
2个
计算机应用研...
2个
计算机仿真
2个
计算机工程与...
2个
计算机教育
1个
中国科学(C...
1个
中国图象图形...
地区
4个
北京市
共
4
条 记 录,以下是 1-4
全选
清除
导出
魏洪兴
供职机构:北京航空航天大学
研究主题:机器人 嵌入式系统 模块化 自组装 装载机
发表作品
相关人物
供职机构
所获资助
研究领域
李勇坚
供职机构:中国科学院软件研究所
研究主题:VERILOG 语义研究 VERILOG语言 操作语义 形式化验证
发表作品
相关人物
供职机构
所获资助
研究领域
施智平
供职机构:首都师范大学
研究主题:形式化验证 定理证明 形式化 图像检索 机器人
发表作品
相关人物
供职机构
所获资助
研究领域
关永
供职机构:首都师范大学
研究主题:形式化验证 定理证明 嵌入式系统 形式化 机器人
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张