×

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

最新的 引文 关联
路易斯·凯雷斯；佩雷斯（Jorge A.Pérez）。；弗兰克·芬宁；伯纳多·托尼霍

域软件会话类型。 （英语） Zbl 07649947号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第39条，第17页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Caires}等人，LIPIcs——莱布尼茨国际程序。通知。140，第39条，第17页（2019年；Zbl 07649947）
全文： 内政部 arXiv公司
马里亚纽拉州Dezani-Ciancaglini；西尔维娅·吉勒赞；斯维特拉纳·雅克西奇；约万卡·潘托维奇

动态web数据的基于角色的访问控制类型。 （英语） Zbl 1327.68169号

Mariño，Julio（编辑），功能和约束逻辑编程。2010年1月17日在西班牙马德里举行的2010年世界粮食计划署第19届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-20774-7/pbk）。计算机科学课堂讲稿6559，1-29（2011）。
MSC公司：68问题85 68英里11
PDF格式BibTeX公司 XML格式引用
\textit{M.Dezani-Ciancaglini}等人，Lect。注释计算。科学。6559，1--29（2011；Zbl 1327.68169）
全文： 内政部 链接
德尼古拉，罗科；丹尼尔·戈拉；汉森、雷内·里多夫；弗莱明·尼尔森；尼尔森、汉内·里斯；克里斯蒂安·W·普罗布斯特。；罗萨里奥·普格利泽

从流逻辑到协调语言的静态类型系统。 （英语） Zbl 1192.68126号

科学。计算。程序。 75，第6期，376-397（2010）.
MSC公司：68甲15 60年第68季度 64岁以下
PDF格式BibTeX公司 XML格式引用
\textit{R.de Nicola}等人，科学。计算。程序。75，第6号，376--397（2010；Zbl 1192.68126）
全文： 内政部
杨林敏；王勇；当、哲

多组通信对象上的自动机。 （英语） Zbl 1166.68330号

Calude，Cristian S.（编辑）等人，《非常规计算》。2008年8月25日至28日在奥地利维也纳举行的2008年加州大学第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85193-6/pbk）。计算机科学课堂讲稿5204，242-257（2008）。
MSC公司：65年第68季度 05年3月 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Yang}等人，Lect。注释计算。科学。5204、242--257（2008年；Zbl 1166.68330）
全文： 内政部
丹尼尔·戈拉

过程计算的可编码性和分离结果的统一方法。 （英语） Zbl 1160.68466号

van Breugel，Franck（编辑）等人，CONCUR 2008–并发理论。第19届国际会议，CONCUR 2008，加拿大多伦多，2008年8月19-22日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85360-2/pbk）。《计算机科学讲义》5201492-507（2008）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Gorla}，莱克特。注释计算。科学。5201492--507（2008年；Zbl 1160.68466）
全文： 内政部
多伊纳·布库尔；尼尔森，莫根斯

上下文感知演算中的安全数据流。 （英语） Zbl 1143.68477号

Degano，Pierpaolo（编辑）等人，《并发、图形和模型》。在乌戈·蒙塔纳里65岁生日之际献给他的散文。柏林：施普林格出版社（ISBN 978-3-540-68676-7/pbk）。计算机科学课堂讲稿5065439-456（2008）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Bucur}和\textit{M.Nielsen}，莱克特。注释计算。科学。5065439--456（2008年；Zbl 1143.68477）
全文： 内政部
马里亚纽拉州Dezani-Ciancaglini；西尔维娅·吉勒赞；约万卡·潘托维奇

动态web数据的安全类型。 （英语） Zbl 1211.68267号

Montanari，Ugo（编辑）等人，《值得信赖的全球计算》。第二次研讨会，TGC 2006，意大利卢卡，2006年11月7日至9日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-75333-9/pbk）。计算机科学课堂讲稿4661263-280（2007）。
MSC公司：68问题85 68英里11
PDF格式BibTeX公司 XML格式引用
\textit{M.Dezani-Ciancaglini}等人，Lect。注释计算。科学。4661、263--280（2007年；Zbl 1211.68267）
全文： 内政部 哈尔

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件