×
安东尼奥·塞隆（编辑）;彼得·塞巴·奥维茨基（编辑）

计算的理论方面——ICTAC 2021。第18届国际学术讨论会，虚拟活动，哈萨克斯坦努尔苏尔坦，2021年9月8日至10日。诉讼程序。 （英语） 兹比尔1483.68007

计算机科学讲义12819.查姆：施普林格（ISBN 978-3-030-85314-3/pbk；978-3-0030-85315-0/ebook）。xiv，405页。(2021).

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

本卷的文章将单独进行审查。关于前面的座谈会，请参阅[Zbl 1464.68020号].
索引文章：
Wil M.P.范德阿尔斯特。，并发和对象很重要！解开实际操作过程的结构，创建数字孪生兄弟，3-17[Zbl 07500634号]
艾伦·迪克斯，定性-定量推理：非正式思考正式事物，18-35[Zbl 07500635号]
布斯塔曼特，路易斯·恩里克；阿娜·特蕾莎·马丁斯，数据库弹性的一些方面，39-46[Zbl 07500636号]
库尔根·科尼；海克·卫尔海姆，关于序列化的正确性问题，47-64[Zbl 07500637号]
瑞克·埃尔肯斯（Rick Erkens）；Jan Friso，格鲁特，用于定位术语中所有模式匹配的集合自动机，67-85[兹标07500638]
穆罕默德·汉南（Muhammad Hannan Khan）；奥斯曼·哈桑；沙希德·汗，使用GPU加速概率模型检查器中的SpMV乘法，86-104[Zbl 07500639号]
Phyo、Yati；Do、Canh Minh；Kazuhiro绪方，条件稳定模型检查的分治方法，105-111[Zbl 07500640号]
鲁伊斯·克鲁斯·菲利佩；蒙泰西（Fabrizio Montesi）；马可·佩雷索蒂，认证编舞，115-133[Zbl 07500641号]
圣菲省卡斯滕鲍姆；贝诺·博伊尔；Jean-Pierre塔宾，机械验证的契约理论，134-151[Zbl 07500642号]
李，李毅；埃尔萨·甘特。，\（\mathbb｛K｝\）的完整语义及其对Isabelle的翻译，152-171[Zbl 07500643号]
迪亚斯·卡洛，亚历杭德罗；Gilles Dowek，自然演绎中的一个新连接词及其在量子计算中的应用，175-193[Zbl 07500644号]
赛扬·比斯瓦斯；Jung，Kangsoo；卡图西亚帕拉米德斯，数据市场中个人数据交易的激励机制，197-213[Zbl 07500645号]
朱莉娅·艾森特罗（Julia Eisentraut）；斯蒂芬·霍尔泽（Stephan Holzer）；卡塔琳娜·克利奥巴；Křetínsk \345]，Jan；Pin，卢卡斯；亚历山大·瓦格纳，《使用攻击防御树评估加密货币的安全性：概念证明和未来方向》，214-234[Zbl 07500646号]
罗斯·霍恩；绍克·莫；塞门·尤尔科夫，使用拟开双相似性对应用（pi）演算中的协议等价性进行组合分析，235-255[Zbl 07500647号]
吉福满万内；小野，Hibiki，基于卡的加密协议，带有使用私有操作的标准卡组，256-274[Zbl 07500648号]
桑吉瓦·普拉萨德；Yerragundla，R.马杜卡尔，正常化Lustre保护安全，275-292[Zbl 07500649号]
楚文静；陈硕；马塞洛·邦桑格，使用残差学习概率自动机，295-313[兹标07500650]
mnesc博士，Isabela；都铎Jebelean,AlCons公司：中排序算法的演绎综合枣灰蝶属, 314-333 [Zbl 07500651号]
森达，龙马；高田、吉崎；弘久世奇（Hiroyuki Seki），基于可视寄存器下推自动机的反应合成，334-353[兹标07500652]
埃曼纽尔·海因里；伊曼纽尔·詹德尔；罗曼·佩乔；奥利维尔·泽恩,复杂性分析器：用于证明Java程序的多时间复杂性的自动工具，357-365[Zbl 07500653号]
马里诺·米库兰；米歇尔·帕斯夸，基于属性的内存更新演算，366-385[Zbl 07500654号]
Shiraishi，Tomoki；Kentaro Kikuchi；高仁青藤，项重写系统局部充分完备性的证明方法，386-404[Zbl 07500655号]

引用于1审查

MSC公司：

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

引文：

Zbl 1464.68020号
PDF格式BibTeX公司 XML格式引用
\textit{A.Cerone}（编辑）和\textit{P.C.Ølveczky}（编者），计算的理论方面——ICTAC 2021。第18届国际学术讨论会，虚拟活动，哈萨克斯坦努尔苏尔坦，2021年9月8日至10日。诉讼程序。查姆：施普林格（2021；Zbl 1483.68007）
全文： 内政部