×

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

最新的 引文 关联
马西莫·巴托莱蒂;伊利亚卡斯特拉尼;德尼卢，皮埃尔·马洛;马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;约万卡·潘托维奇;佩雷斯（Jorge A.Pérez）。;彼得·蒂曼;伯纳多·托尼霍;雨果·托雷斯·维埃拉

将行为类型与安全分析相结合。 （英语） Zbl 1330.68045号

J.日志。阿尔盖布。方法计划。 84，第6号，763-780（2015）.
MSC公司：第68页第19页
PDF格式BibTeX公司 XML格式引用
\textit{M.Bartoletti}等人，J.Log。阿尔盖布。方法程序。84，第6号，763-780（2015年；兹bl 1330.68045）
全文： 内政部 arXiv公司
马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇

动态web数据的基于角色的访问控制类型。 （英语） 兹比尔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）
全文： 内政部 链接
马里亚纽拉州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）
全文： 内政部 哈尔
M.科波。;Dezani-Ciancaglini，M。

移动环境的完全抽象模型。 （英语） Zbl 1268.68124号

Lenisa，Mariana（编辑）等人，TOSCA 2001。并发理论、高级语言和类型研讨会论文集，意大利乌迪内，2001年11月19-21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记62，177-194（2002）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Coppo}和\textit{M.Dezani-Ciancaglini}，电子。注释Theor。计算。科学。62、177--194（2002年；Zbl 1268.68124）
全文： 内政部
佛朗哥·巴巴内拉;马里亚纽拉州Dezani-Ciancaglini;伊万诺·萨尔沃;弗拉迪米罗·萨松

一种用于安全环境的类型推理算法。 （英语） Zbl 1268.68120号

Lenisa，Mariana（编辑）等人，TOSCA 2001。并发理论、高级语言和类型研讨会论文集，意大利乌迪内，2001年11月19-21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记62，83-101（2002）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Barbanera}等人，《电子》。注释Theor。计算。科学。62、83--101（2002年；Zbl 1268.68120）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件