×

找到24个文档（结果1-24）

最新的 引文 关联
Wan Fokkink公司;罗布·范格拉贝克;巴斯鲁提克

分而治之。三： 稳定性和发散性。 （英文） Zbl 1442.68139号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第15条，第16页（2017年）。
MSC公司：68问题85 03B45号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{W.Fokkink}等人，LIPIcs——莱布尼茨国际程序。通知。85，第15条，第16页（2017年；Zbl 1442.68139）
全文： 内政部
A.W.罗斯科。

具有优先级的CSP的表达能力。 （英文） Zbl 1351.68148号

Dan Ghica（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记319，387-401，仅电子版（2015）。
MSC公司：68问题55 2010年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.W.Roscoe}，电子。注释Theor。计算。科学。319387——401（2015年；Zbl 1351.68148）
全文： 内政部
哈什·贝哈尔;穆罕默德·雷扎·穆萨维

（XY）模拟的预同余格式。 （英文） Zbl 1434.68322号

Dastani，Mehdi（编辑）等人，《软件工程基础》，第六届国际会议，FSEN 2015，伊朗德黑兰，2015年4月22日至24日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9392, 215-229 (2015).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Beohar}和\textit{M.R.Mousavi}，莱克特。注释计算。科学。9392、215--229（2015年；Zbl 1434.68322）
全文： 内政部
Aceto，卢卡;Anna Ingólfsdóttir;克里斯蒂安·普里萨卡里奥;约书亚·萨克

多模态逻辑的组合推理。 （英文） Zbl 1419.03019号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2013年1月6日至8日在美国加利福尼亚州圣地亚哥举行的2013年LFCS国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。7734, 1-15 (2013).
MSC公司：03B45号
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，Lect。注释计算。科学。7734，1-15（2013；Zbl 1419.03019）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

传记参考

全部的 前3名

软件