默认搜索操作

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

问别人

《理论计算机科学》第291卷

>主页 >期刊销售 >理论计算机科学

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第291卷第1期，2003年1月

分布式计算

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/KuttenS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/KuttenS03
谢·库滕,保罗·G·斯皮拉基斯:
前言。 1
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BermondMPP03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BermondMPP03
Jean-Claude Bermond女士,鹦鹉螺马林,大卫·佩莱,斯蒂芬·佩雷内斯:
ATM网络中的定向虚拟路径布局。 3-28
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/FlocchiniMS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/FlocchiniMS03
保拉·弗洛奇尼,伯纳德·曼斯,尼古拉·桑托罗:
分布式计算的方向感。 29-53
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/HerlihyR03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/HerlihyR03
赫利希,塞尔吉奥·拉兹鲍姆:
无等待循环协议任务的分类。 55-77
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/PedoneS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/PedoneS03
费尔南多·佩多内,安德烈·希珀:
乐观的原子广播：务实的观点。 79-101
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/SussmanM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/SussmanM03
杰里米·苏斯曼,基思·马尔祖洛:
Bancomat问题：可分区异步系统中的资源分配示例。 103-131

第291卷第2期，2003年1月

实数和计算机

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/KornerupBFM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/KornerupBFM03
彼得·科纳鲁普,Jean-Claude巴贾德,克里斯蒂安·弗劳格尼,珍妮·米歇尔·穆勒:
前言。 133-134
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tcs/HanrotRTZ03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/HanrotRTZ03
纪尧姆·汉洛,乔尔·里瓦特,杰拉尔德·特南鲍姆,保罗·齐默尔曼:
浮点可逆数的密度结果。 135-141
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/DaumasL03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/DaumasL03
马克·达马斯,菲利普·兰格洛伊斯:
加法对称：非负情况。 143-157
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/MatulaM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/MatulaM03
大卫·W·马图拉,Lee D.McFearin先生:
二进制浮点除法和极值舍入情况的p×p位分数模型。 159-182
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/ZivF03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/ZivF03
阿维·齐夫,劳伦特·福尼尔:
求解二进制浮点加法运算测试生成的广义掩码约束。 183-201
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/LesterG03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/LesterG03
大卫·R·莱斯特,保罗·高兰德:
使用PVS验证精确算法的算法。 203-218

第291卷第3期，2003年1月

代数方法论与软件技术

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/TinelliR03a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/TinelliR03a
塞萨尔·蒂内利,特奥多尔·罗斯:
前言。 219-221
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/AdiDM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/AdiDM03
卡梅勒·阿迪,穆拉德·德巴比,穆罕默德·梅杰里:
电子商务协议的新逻辑。 223-283
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/FocardiGM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/FocardiGM03
里卡多·福卡迪,罗伯托·戈里耶,法比奥·马蒂内利:
三种身份验证属性的比较。 285-327
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/雅各布斯P03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Jobsp03
雅各布施,埃里克·波尔:
Java语义中的Coalgebras和monad。 329-349
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Wyk03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Wyk03
埃里克·范·威克:
代数编译器中的规范语言。 351-385

管理网站设置

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