2024年8月20日
星期二
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
吴萍
作品数:
5
被引量:30
H指数:3
供职机构:
中国科学技术大学计算机科学与技术学院
更多>>
发文基金:
国家自然科学基金
国家杰出青年科学基金
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
陈意云
中国科学技术大学计算机科学与技...
张健
中国科学院软件研究所
项森
中国科学技术大学计算机科学与技...
陈晖
中国科学技术大学计算机科学与技...
茹祥民
中国科学技术大学计算机科学与技...
作品列表
供职机构
相关作者
所获基金
研究领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
5个
自动化与计算...
2个
电气工程
1个
经济管理
1个
电子电信
1个
文化科学
1个
自然科学总论
主题
4个
虚拟机
4个
JAVA程序
4个
JAVA虚拟...
3个
代码
3个
代码安全
3个
形式化
3个
形式化方法
3个
软件开发
3个
高可信
2个
定理证明
2个
动态存储管理
1个
代码迷惑
1个
代数
1个
代数表示
1个
代数规范
1个
代数规范说明
1个
弹性网格
1个
等价
1个
等价性
1个
等式
机构
4个
中国科学技术...
2个
中国科学院软...
1个
中国科学院
1个
安徽省计算与...
1个
中国科学院大...
资助
5个
国家自然科学...
2个
国家高技术研...
2个
国家重点基础...
2个
国家杰出青年...
1个
安徽省自然科...
1个
江苏省自然科...
1个
中国博士后科...
1个
中国科学技术...
1个
中国科学院留...
1个
华为科技基金...
1个
安徽省高校省...
1个
国家教育部博...
1个
中国科学技术...
1个
中国科学院知...
1个
中国科学院重...
传媒
4个
计算机研究与...
4个
软件学报
3个
小型微型计算...
2个
计算机学报
2个
计算机工程
2个
计算机应用与...
2个
计算机工程与...
2个
计算机工程与...
2个
计算机科学
1个
自动化学报
1个
电信科学
1个
中国大学教学
1个
中国科学技术...
1个
电力系统自动...
1个
电子技术(上...
1个
计算机应用
1个
微型机与应用
1个
计算机辅助设...
1个
计算机仿真
1个
教育与现代化
地区
4个
安徽省
1个
北京市
共
5
条 记 录,以下是 1-5
全选
清除
导出
陈意云
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:HOARE逻辑 指针逻辑 代码迷惑 出具证明编译器 面向对象
发表作品
相关人物
供职机构
所获资助
研究领域
张健
供职机构:中国科学院软件研究所
研究主题:一阶逻辑 程序静态分析 软件测试 软件开发 并发程序
发表作品
相关人物
供职机构
所获资助
研究领域
茹祥民
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:JAVA虚拟机 JAVA程序 虚拟机 JAVA 移动计算
发表作品
相关人物
供职机构
所获资助
研究领域
项森
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:形式化方法 代码安全 高可信软件 动态存储管理 COQ
发表作品
相关人物
供职机构
所获资助
研究领域
陈晖
供职机构:中国科学技术大学
研究主题:代码安全 液流电池 变流量控制 电压分布 JAVA虚拟机
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张