2024年12月24日
星期二
|
欢迎来到佛山市图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
西安电子科技大学计算理论与技术研究所
作品数:
61
被引量:182
H指数:7
相关作者:
范全润
雷丽晖
聂鹏程
杨潇潇
刘晓芳
更多>>
相关机构:
武汉大学计算机学院软件工程国家重点实验室
武汉大学计算机学院
西安邮电学院计算机学院
更多>>
发文基金:
国家自然科学基金
国家重点基础研究发展计划
中央高校基本科研业务费专项资金
更多>>
相关领域:
自动化与计算机技术
更多>>
合作机构
武汉大学计算机学院软件工程国家...
武汉大学计算机学院
西安邮电学院计算机学院
西安邮电学院计算机学院计算机系
发表作品
相关人物
相关机构
所获资助
研究领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
35个
自动化与计算...
12个
电子电信
11个
理学
10个
经济管理
9个
天文地球
9个
交通运输工程
9个
航空宇航科学...
9个
社会学
9个
文化科学
9个
自然科学总论
8个
生物学
8个
化学工程
8个
矿业工程
8个
石油与天然气...
8个
冶金工程
8个
金属学及工艺
8个
机械工程
8个
动力工程及工...
8个
电气工程
8个
建筑科学
主题
26个
时序逻辑
21个
投影时序逻辑
21个
工作流
21个
PETRI网
19个
多核
19个
形式化
18个
调度
16个
自动机
16个
命题投影时序...
15个
工作流网
14个
形式化验证
14个
面向对象
13个
正则
13个
数据流
13个
区间时序逻辑
13个
逻辑
13个
面向对象程序
13个
面向对象程序...
13个
可满足性
12个
逻辑语言
机构
35个
西安电子科技...
16个
武汉大学
12个
西安邮电学院
11个
西北大学
10个
郑州大学
9个
东南大学
9个
南京航空航天...
9个
清华大学
8个
河海大学
8个
长沙理工大学
8个
福建师范大学
8个
北京大学
8个
合肥工业大学
8个
国防科学技术...
8个
湖南大学
7个
北海道大学
7个
北京工商大学
7个
哈尔滨工程大...
6个
安徽工业大学
6个
北京中医药大...
作者
30个
段振华
19个
王小兵
18个
张海宾
17个
张曼
15个
黄伯虎
13个
聂鹏程
12个
田聪
10个
舒新峰
10个
张琛
9个
杨琛
9个
逄涛
8个
朱维军
8个
门鹏
7个
李建东
6个
胡文斌
5个
余丽丽
5个
潘伟丰
5个
齐治昌
4个
王树良
4个
郭思培
传媒
28个
西安电子科技...
25个
西安交通大学...
17个
计算机科学
16个
软件学报
13个
四川大学学报...
12个
计算机研究与...
12个
华中科技大学...
12个
计算机工程与...
12个
西北大学学报...
11个
计算机学报
11个
电子科技大学...
11个
系统仿真学报
11个
现代电子技术
11个
科学技术与工...
10个
模式识别与人...
10个
兰州大学学报...
9个
系统工程与电...
9个
计算机集成制...
8个
工业安全与环...
7个
分析化学
共
35
条 记 录,以下是 1-10
全选
清除
导出
国家自然科学基金
相关领域:医药卫生 理学 自动化与计算机技术 经济管理 农业科学
相关作品
相关人物
相关机构
相关资助
相关领域
国家重点基础研究发展计划
相关领域:天文地球 医药卫生 理学 农业科学 自动化与计算机技术
相关作品
相关人物
相关机构
相关资助
相关领域
中央高校基本科研业务费专项资金
相关领域:经济管理 文化科学 自动化与计算机技术 政治法律 理学
相关作品
相关人物
相关机构
相关资助
相关领域
国家重点基础研究发展计划(2010CB328102)
相关领域:自动化与计算机技术
相关作品
相关人物
相关机构
相关资助
相关领域
国家自然科学基金(60873018)
相关领域:自动化与计算机技术
相关作品
相关人物
相关机构
相关资助
相关领域
国家自然科学基金(60433010)
相关领域:自动化与计算机技术 理学
相关作品
相关人物
相关机构
相关资助
相关领域
中央高校基本科研业务费专项资金(JY10000903004)
相关领域:自动化与计算机技术
相关作品
相关人物
相关机构
相关资助
相关领域
国家教育部博士点基金
相关领域:理学 自动化与计算机技术 医药卫生 农业科学 经济管理
相关作品
相关人物
相关机构
相关资助
相关领域
国家自然科学基金(60910004)
相关领域:自动化与计算机技术
相关作品
相关人物
相关机构
相关资助
相关领域
国家教育部博士点基金(200807010012)
相关领域:自动化与计算机技术
相关作品
相关人物
相关机构
相关资助
相关领域
全选
清除
导出
共4页
<
1
2
3
4
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张