停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

计算机进展，第65卷

>主页 >期刊销售 >计算机的进展

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2005年第65卷

十亿英镑0-12-012165-4

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ac/Hopgood05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ac/Hopgood05
阿德里安·霍普古德:
人工智能的状态。 3-77
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ac/Holzmann05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ac/Holzmann05
杰拉德·J·霍尔兹曼:
使用SPIN检查软件模型。 78-109
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ac/Geusebroek05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ac/Geusebroek05
Jan-Mark Geusebroek公司:
早期认知计算机视觉。 110-153
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ac/MenziesP05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ac/MenziesP05
蒂姆·门齐斯,查尔斯·佩切尔:
验证和确认以及人工智能。 154-203
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ac/HuiskesP05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ac/HuiskesP05
Mark J.Huiskes公司,埃里克·鲍威尔:
特殊用途图像数据库的索引、学习和基于内容的检索。 204-259
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/ac/Card05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ac/Card05
大卫·N·卡德:
缺陷分析：管理和学习的基本技巧。 260-297
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ac/Lokan05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ac/Lokan05
克里斯托弗·洛坎:
功能点。 298-349
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ac/Henderson05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ac/Henderson05
彼得·亨德森:
数学在计算机科学和软件工程教育中的作用。 350-396

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。