2024年8月17日
星期六
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
郭欣
作品数:
22
被引量:2
H指数:1
供职机构:
华东师范大学
更多>>
相关领域:
自动化与计算机技术
文化科学
更多>>
合作作者
史建琦
华东师范大学
黄滟鸿
华东师范大学
杨洋
华东师范大学
李昂
华东师范大学
曹桂涛
华东师范大学
作品列表
供职机构
相关作者
所获基金
研究领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
7个
自动化与计算...
7个
文化科学
5个
经济管理
3个
医药卫生
2个
哲学宗教
2个
生物学
2个
天文地球
2个
金属学及工艺
2个
电子电信
2个
农业科学
2个
一般工业技术
2个
政治法律
2个
艺术
2个
历史地理
2个
理学
1个
机械工程
1个
动力工程及工...
1个
建筑科学
1个
轻工技术与工...
1个
交通运输工程
主题
6个
形式化
5个
代码
5个
信号
5个
形式化验证
5个
形式化验证方...
4个
形式化描述
4个
隐私
3个
代码段
3个
代数
3个
等价
3个
等价类
3个
递归
3个
信号采集
3个
信号采集模块
3个
信号处理
3个
信号处理模块
3个
信号流
3个
信息查询
3个
形式化分析
3个
异常性
机构
8个
华东师范大学
资助
3个
国家自然科学...
1个
国家重点基础...
1个
上海市自然科...
1个
上海市教育委...
1个
上海市科委科...
1个
上海市科学技...
1个
上海市人才发...
1个
中央高校基本...
传媒
2个
软件学报
1个
华东师范大学...
1个
临床麻醉学杂...
1个
上海金属
1个
化学学报
1个
计算机应用与...
1个
地理教学
1个
计算机应用
1个
海洋学报
1个
党史研究与教...
1个
中国高新技术...
1个
环境监测管理...
1个
上海土地
1个
文教资料
1个
中国地方志
1个
计算机科学
1个
中国实验血液...
1个
中小学心理健...
1个
体育科技文献...
1个
红色文化学刊
地区
8个
上海市
共
8
条 记 录,以下是 1-8
全选
清除
导出
史建琦
供职机构:华东师范大学
研究主题:形式化验证 目标代码 控制流图 反汇编 中间语言
发表作品
相关人物
供职机构
所获资助
研究领域
黄滟鸿
供职机构:华东师范大学
研究主题:目标代码 形式化验证 反汇编 L模型 控制流图
发表作品
相关人物
供职机构
所获资助
研究领域
杨洋
供职机构:华东师范大学
研究主题:下肢 分子动力学 12 机载软件 目标代码
发表作品
相关人物
供职机构
所获资助
研究领域
李昂
供职机构:华东师范大学
研究主题:目标代码 反汇编 控制流图 自适应 程序模型
发表作品
相关人物
供职机构
所获资助
研究领域
曹桂涛
供职机构:华东师范大学
研究主题:规约 形式化验证 形式化描述 计算机辅助诊断 数学
发表作品
相关人物
供职机构
所获资助
研究领域
李钦
供职机构:华东师范大学
研究主题:安全性质 EVENT-B 形式化建模 建模语言 计算软件
发表作品
相关人物
供职机构
所获资助
研究领域
张鹏
供职机构:华东师范大学
研究主题:热法 氮化钛 复合半导体 二氧化钛 合成工艺
发表作品
相关人物
供职机构
所获资助
研究领域
石奇
供职机构:华东师范大学
研究主题:操作系统 数据更新 数据格式 神经网络技术 入侵检测
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张