×
曼努埃尔·马扎拉（编辑）；安德烈·沃伦科夫（编辑）

系统信息学的观点。2015年8月24日至27日，第十届安德烈·埃尔肖夫国际信息学会议，PSI 2015，纪念俄罗斯喀山和因诺波利斯的赫尔穆特·维思。修订了选定的论文。 （英语） Zbl 1347.68011号

计算机科学课堂讲稿9609.商会：施普林格出版社（ISBN 978-3-319-41578-9/pbk；978-3-319-41579-6/ebook）。x、 第341页。(2016).

将索引文章显示为搜索结果。

对数学感兴趣的文章将单独复习。有关上一次会议，请参阅[Zbl 1318.68039号].
索引文章：
伊戈尔·康诺夫；赫尔穆特·维思（Helmut Veith）；约瑟夫·威德，关于容错分布式算法的模型检查，您一直想知道什么，6-21[Zbl 1461.68115号]
Franz Brauße；科洛维纳、玛格丽塔；Müller，Norbert Th。，针对初值问题使用精确实数算法，61-74[Zbl 1461.65286号]
新娘，哈迪恩；奥尔加库什纳伦科；法比安·佩鲁克斯，用数据验证工作流网络的模式规范的约束求解，75-90[Zbl 1461.68111号]
加布里埃尔·乔巴努；罗斯·霍恩，使用结构演算对会话进行行为分析，91-106[Zbl 1461.68129号]
娜塔莉亚·加拉尼娜；埃琳娜·西多罗娃（Elena Sidorova）；斯捷潘·阿诺钦，本体填充中具有类型连接的多代理系统中的冲突解决，116-129[Zbl 1461.68233号]
罗伯特·格莱克，多项式时间内的最大多元部分求值，130-148[Zbl 1461.68055号]
Damas P.格鲁斯卡。，定时进程代数的Dynamics安全策略和进程不透明性，149-157[Zbl 1461.68134号]
Ilham W.Kurnia。；阿恩·施·赫夫特，使用动态I/O自动机建模参与者系统，186-202[Zbl 1461.68135号]
托本·吉迪乌斯·莫根森，RSSA：可逆SSA形式，203-217[Zbl 1461.68053号]
尼古拉·希洛夫，解决命题程序逻辑的程序图式技术修订，245-259[Zbl 1461.68059号]
玛格斯·维纳斯（Margus Veanes）；尼古拉·比约纳，有限值符号有限传感器的等效性，276-290[Zbl 1461.68106号]
叶卡捷琳娜·维尔比茨凯亚；谢苗·格里戈列夫；德米特里·阿夫久钦，字符串嵌入语言正则近似的松弛解析，291-302[兹比尔1461.68107]
维氏夕卡岩，伊琳娜；维克托·博罗夫利奥夫（Victor Borovlyov）；波波瓦·齐格曼（Louchka Popova-Zeugmann），定时Petri网的分支过程，303-313[Zbl 1461.68138号]
布鲁诺沃尔岑洛格尔古，用于最小逻辑的上下文自然推导的实现和评估，314-324[Zbl 1461.68248号]

引用于1审查

MSC公司：

68-06 与计算机科学有关的会议记录、会议、收藏等
68季度xx 计算理论
00B25型 杂项特定利益的会议记录

传记参考：

赫尔穆特·维思；安德烈·埃尔肖夫

引文：

Zbl 1318.68039号
PDF格式BibTeX公司 XML格式引用
\textit{M.Mazzara}（编辑）和textit{A.Voronkov}（主编），《系统信息学的观点》。2015年8月24日至27日，第十届安德烈·埃尔肖夫国际信息学会议，PSI 2015，纪念俄罗斯喀山和因诺波利斯的赫尔穆特·维思。修订了选定的论文。商会：施普林格（2016；兹bl 1347.68011）
全文： 内政部