国家科技图书文献中心 杭州服务站
首页
资源导航
特色服务
知识发现
关于我们
检索
代查代借

检索历史
浏览历史

订阅
收藏
0 申请单

个人中心
账号设置
充值
全部 |
  • 全部
  • 题名
  • 关键词
  • NSTL主题词
  • 摘要
  • 会议名称
  • 论文-出处
  • 论文-作者
  • 论文-机构
  • 论文-DOI
  • 会议-出版者
  • 会议-出版地
  • 会议-主编
  • 会议-主办单位
  • 会议-举办地
  • ISSN
  • EISSN
  • ISBN
  • EISBN
检索 搜索会议录 二次检索 AI检索
高级检索
外文文献 中文文献
筛选条件：

共搜索到2条信息
默认排序

1. Computer Aided Verification,Part II NSTL国家科技图书文献中心

International Conference on Computer Aided Verification -  Springer -  Constantin Enea |  Akash Lal (Eds.) -  瑞士 -  Cham - 2024,

2. Computer Aided Verification,Part III NSTL国家科技图书文献中心

International Conference on Computer Aided Verification -  Springer -  Constantin Enea |  Akash Lal (Eds.) -  瑞士 -  Cham - 2024,

相关推荐

检索结果集分析
检索结果集分析
结构化综述分析
检索条件主编：Akash Lal (Eds.)

  • 检索词扩展

NSTL主题词

  • NSTL学科导航

服务站

成员单位

友情链接

NSTL官方微信

官方微信

NSTL安卓APP

安卓APP

服务热线：

4008-161-200 800-990-8900

国家科技图书文献中心

国家科技图书文献中心

京ICP备10027328号

© Copyright(C)2023 NSTL.All Rights Reserved 版权所有

杭州服务站

0571-85112211；0571-85058943zj85112211@163.com

地址：浙江省杭州市滨江区信诚路572号 科技大市场A座318室

页面总访问量：32642554