×

找到7个文档(结果1-7)

走向社会网络中群体两极分化的正式模型。 (英语) Zbl 07817563号

Alvim,Mário S.(编辑)等人,《计算系统建模的艺术:从逻辑和并发到安全和隐私的旅程》。在卡图西娅·帕拉米德斯60岁生日之际为她撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。11760, 419-441 (2019).
MSC公司:91天30分
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于具有无限多代理的组的分布式知识的推理。 (英语) Zbl 07649937号

Fokkink,Wan(编辑)等人,第30届并发理论国际会议,CONCUR 2019,荷兰阿姆斯特丹,2019年8月27日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。140,第29条,第15页(2019年)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过函数表达式族对马尔可夫决策过程进行互模拟。 (英语) Zbl 1408.68100号

van Breugel,Franck(编辑)等人,《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际为他撰写的论文。柏林:斯普林格。莱克特。注释计算。科学。8464, 319-342 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

并发过程的认知策略和游戏。 (英语) Zbl 1206.68211号

尼尔森,莫根斯(编辑)等人,《SOFSEM 2009:计算机科学的理论与实践》。2009年1月24日至30日,第35届计算机科学理论与实践当前趋势会议,Špindlerův Ml \367]n,捷克共和国。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-95890-1/pbk)。计算机科学课堂讲稿5404153-166(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

出版年份

软件