2024年8月20日
星期二
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
搜索到
篇“
谓词抽象
“的相关文章
资源类型:
全部数字资源类型
期刊文章
政策法规
学位论文
专利
会议论文
标准
专著
科技成果
产品样本
科技报告
排序方式:
相关度排序
被引量排序
时效性降序
时效性升序
相关作者
魏燕侠
作品数:21
被引量:21
H指数:3
供职机构:华侨大学哲学与社会发展学院
研究主题:模态逻辑 知识论 信念 谓词抽象 辖域
屈婉霞
作品数:79
被引量:69
H指数:5
供职机构:国防科学技术大学
研究主题:环形振荡器 并行计算机系统 参数化系统 测试装置 可配置
任强
作品数:3
被引量:0
H指数:0
供职机构:苏州大学计算机科学与技术学院
研究主题:谓词抽象 WEB服务 WEB服务组合 精华 源程序
李暾
作品数:74
被引量:433
H指数:9
供职机构:国防科学技术大学计算机学院
研究主题:模拟矢量自动生成 RTL 计算思维 大学计算机基础 微处理器
郭阳
作品数:587
被引量:525
H指数:10
供职机构:国防科学技术大学
研究主题:单粒子翻转 单粒子 向量处理器 寄存器 向量化
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张