2024年8月19日
星期一
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
张海宾
作品数:
39
被引量:23
H指数:3
供职机构:
西安电子科技大学
更多>>
发文基金:
国家自然科学基金
国家教育部博士点基金
国家高技术研究发展计划
更多>>
相关领域:
自动化与计算机技术
电子电信
生物学
更多>>
合作作者
段振华
西安电子科技大学计算理论与技术...
李晓军
西安电子科技大学
朱维军
郑州大学信息工程学院
王超
西安电子科技大学
李赞
西安电子科技大学
作品列表
供职机构
相关作者
所获基金
研究领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
30个
自动化与计算...
14个
生物学
13个
电子电信
11个
理学
10个
经济管理
10个
哲学宗教
10个
天文地球
10个
化学工程
10个
矿业工程
10个
石油与天然气...
10个
冶金工程
10个
金属学及工艺
10个
机械工程
10个
动力工程及工...
10个
电气工程
10个
建筑科学
10个
水利工程
10个
轻工技术与工...
10个
交通运输工程
10个
航空宇航科学...
主题
24个
时序逻辑
21个
可满足性
20个
投影时序逻辑
18个
形式化
18个
可满足性判定
17个
多核
17个
自动机
16个
调度
16个
正则
16个
逻辑
16个
命题投影时序...
16个
工作流
15个
形式化验证
15个
区间时序逻辑
15个
PETRI网
15个
WEB服务
14个
形式化方法
14个
实时系统
13个
定理
13个
正则图
机构
30个
西安电子科技...
21个
郑州大学
16个
武汉大学
16个
河南工业大学
10个
北京工商大学
9个
安徽工业大学
9个
北海道大学
9个
北京中医药大...
9个
长春理工大学
9个
成都理工大学
8个
安徽省农业科...
8个
北方工业大学
8个
北方民族大学
8个
北京跟踪与通...
8个
北京工业职业...
8个
北京印刷学院
8个
滨州医学院
8个
长春中医药大...
8个
长治学院
8个
成都中医药大...
作者
30个
张海宾
20个
朱维军
19个
周清雷
16个
黄伯虎
16个
段振华
15个
王小兵
12个
杨卫东
11个
聂鹏程
10个
张曼
10个
逄涛
10个
田聪
10个
徐朝辉
9个
张琛
9个
张金磊
8个
刘旭东
7个
万敏
6个
丁文其
5个
丁兵
5个
丁建宁
5个
万力
传媒
24个
西安电子科技...
21个
西安交通大学...
19个
计算机科学
17个
华中科技大学...
16个
电子科技大学...
14个
西北大学学报...
10个
分析化学
10个
工业安全与环...
9个
化工科技
9个
中国临床药理...
9个
植物生态学报
9个
林业科学
9个
生态学报
9个
计算机安全
9个
中国康复理论...
8个
分子科学学报
8个
中华精神科杂...
8个
商业时代
8个
中国科技论坛
8个
中国药物依赖...
共
30
条 记 录,以下是 1-10
全选
清除
导出
国家自然科学基金
相关领域:医药卫生 理学 自动化与计算机技术 经济管理 农业科学
相关作品
相关人物
相关机构
相关资助
相关领域
国家教育部博士点基金
相关领域:理学 自动化与计算机技术 医药卫生 农业科学 经济管理
相关作品
相关人物
相关机构
相关资助
相关领域
国家高技术研究发展计划
相关领域:自动化与计算机技术 农业科学 电子电信 医药卫生 理学
相关作品
相关人物
相关机构
相关资助
相关领域
国家高技术研究发展计划(2007AA010408)
基于ASP模式的软件服务支持技术研究
相关领域:自动化与计算机技术 电子电信
相关作品
相关人物
相关机构
相关资助
相关领域
国家教育部博士点基金(20100203120012)
相关领域:自动化与计算机技术 电子电信 生物学
相关作品
相关人物
相关机构
相关资助
相关领域
中央高校基本科研业务费专项资金
相关领域:经济管理 文化科学 自动化与计算机技术 政治法律 理学
相关作品
相关人物
相关机构
相关资助
相关领域
陕西省科技攻关计划
相关领域:医药卫生 农业科学 自动化与计算机技术 化学工程 理学
相关作品
相关人物
相关机构
相关资助
相关领域
陕西省科技攻关计划(2009K01-36)
相关领域:自动化与计算机技术
相关作品
相关人物
相关机构
相关资助
相关领域
国家教育部博士点基金(20030701015)
相关领域:自动化与计算机技术
相关作品
相关人物
相关机构
相关资助
相关领域
国家自然科学基金(60433010)
相关领域:自动化与计算机技术 理学
相关作品
相关人物
相关机构
相关资助
相关领域
全选
清除
导出
共3页
<
1
2
3
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张