停止战争！

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

对于科学家：

默认搜索操作

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

问别人

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

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

将细化列表导出为

显示全部 ??记录

第538卷，2014年6月

前言

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/MassinkNW14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/MassinkNW14
梅克·马西克,格钦·诺曼,赫伯特·威克利基:
编程语言和系统的定量方面（2011-12）。 1

特刊文章

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tcs/AdaoMV14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/AdaoMV14
佩德罗·阿德诺,保罗·马特乌斯,卢卡·维甘:
具有有限会话数和成本敏感猜测入侵者的协议不安全性是NP完全的。 2-15
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/DengGHM14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/DengGHM14网址
邓玉欣,罗布·范·格拉贝克,马修·轩尼诗,卡罗尔·摩根:
概率过程的实时测试。 16-36
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/DragerKPQ14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/DragerKPQ14
克劳斯博士,Marta Z.Kwiatkowska公司,大卫·帕克,红阳区:
概率定时程序的局部抽象精化。 37-53
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/FhrenbergL14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/FahrenbergL14
乌里·法伦伯格,Axel Legay公司:
定量线性时间分支时间谱。 54-69
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tcs/Giro14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Giro14
塞尔吉奥·吉罗:
最优调度与最优基：一种有效精确求解马尔可夫决策过程的方法。 70-83
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tcs/GiroDF14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/GiroDF14
塞尔吉奥·吉罗,佩德罗·达吉尼奥,路易斯·玛丽亚·费雷尔·菲奥里蒂:
分布式概率输入/输出自动机：表达性、（不）可判定性和算法。 84-102
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/HansenT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/HansenT14
亨利·汉森,马克·蒂默:
概率和非概率分支时间中的集合和样本集的比较。 103-123
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Klebanov14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Klebanov14
弗拉基米尔·克莱巴诺夫:
精确定量信息流分析——符号方法。 124-139
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/TschaikowskiT14a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/TschaikowskiT14a
马克斯·柴可夫斯基,Mirco Tribastone公司:
马尔科夫过程代数中的精确流体集总性。 140-166
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/YasuokaT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/YasuokaT14网站
Hirotoshi Yasuoka先生,塔奇·特劳奇:
作为安全性和活性超属性的定量信息流。 167-182

服务

管理网站设置

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