×

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

最新的 引文 关联
马丁·伦伯格;拉尔夫·拉梅尔;斯特芬·斯塔布

语义数据函数编程的本质。 （英语） Zbl 1485.68042号

Yang，Hongseok（编辑），《编程语言与系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10201, 750-776 (2017).
MSC公司：68甲18 03B40型 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{M.Leinberger}等人，Lect。注释计算。科学。10201、750——776（2017；Zbl 1485.68042）
全文： 内政部 链接
杨燕鹏;碧、轩;布鲁诺·C·d·S·奥利维拉。

具有iso-types的统一语法。 （英语） Zbl 1483.68065号

Igarashi，Atsushi（编辑），《编程语言和系统》。2016年11月21日至23日，第14届亚洲研讨会，2016年APLAS，越南河内。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。第10017页，第251-270页（2016年）。
MSC公司：68甲18 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{Y.Yang}等人，Lect。注释计算。科学。10017、251--270（2016；Zbl 1483.68065）
全文： 内政部
彼得·蒂曼

用于混合类型检查的增量。 （英语） Zbl 1343.68050号

林德利，萨姆（编辑）等人，《改变世界的成功列表》。在菲利普·沃德勒60岁生日之际为他撰写的论文。查姆：施普林格（ISBN 978-3-319-30935-4/pbk；978-3-3169-30936-1/电子书）。计算机科学讲座笔记9600，411-432（2016）。
MSC公司：68甲18 68号30
PDF格式BibTeX公司 XML格式引用
\textit{P.Thiemann}，莱克特。注释计算。科学。9600、411--432（2016；Zbl 1343.68050）
全文： 内政部
鲁道夫·勒皮格雷

语义值限制的经典可实现性模型。 （英语） Zbl 1335.68059号

Peter Thiemann（编辑），《编程语言和系统》。2016年4月2日至8日，作为欧洲软件理论与实践联合会议的一部分，在荷兰埃因霍温举行了第25届欧洲编程研讨会，即2016年ESOP。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-49497-4/pbk；978-3-562-49498-1/电子书）。计算机科学讲座笔记9632476-502（2016）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{R.Lepigre}，莱克特。注释计算。科学。9632476--502（2016；Zbl 1335.68059）
全文： 内政部 arXiv公司 哈尔
马里奥·科普;Dezani Ciancaglini，马里亚焦拉;卢卡·帕多瓦尼;吉田、Nobuko

对多方异步会话类型的简单介绍。 （英语） Zbl 1346.68034号

Bernardo，Marco（编辑）等人，《多核编程的形式化方法》。2015年6月15日至19日，意大利贝蒂诺罗，第15所计算机、通信和软件系统正式设计方法国际学校，SFM 2015。高级讲座。查姆：施普林格（ISBN 978-3-319-18940-6/pbk；978-3-316-18941-3/电子书）。计算机科学课堂讲稿9104146-178（2015）。
MSC公司：68个M12 64岁以下 68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Coppo}等人，Lect。注释计算。科学。9104146--178（2015年；Zbl 1346.68034）
全文： 内政部 链接
卢埃萨·卢伦索;路易斯·凯雷斯

有值索引数据安全分区的信息流分析。 （英语） Zbl 1348.68019号

Abadi，Martín（编辑）等人，《值得信赖的全球计算》。2013年8月30日至31日在阿根廷布宜诺斯艾利斯举行的第八届TGC国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-05118-5/pbk；978-3-3169-05119-2/电子书）。计算机科学课堂讲稿8358180-198（2014）。
MSC公司：68米14 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{L.Lourenço}和\textit{L.Caires}，莱克特。注释计算。科学。8358，180--198（2014；Zbl 1348.68019）
全文： 内政部
弗兰克·芬宁;路易斯·凯雷斯;伯纳多·托尼霍

会话型进程演算中的校验代码。 （英语） Zbl 1350.68204号

Jouannaud，Jean-Pierre（编辑）等人，《认证程序和证明》。2011年12月7日至9日在台湾垦丁举行的CPP 2011第一届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-25378-2/pbk）。计算机科学课堂讲稿7086，21-36（2011）。
MSC公司：68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit｛F.Pfenning｝等人，Lect。注释计算。科学。7086，21-36（2011；Zbl 1350.68204）
全文： 内政部
塞德里克·Fornet;卡尔蒂基扬·巴尔干;安德鲁·戈登。

通过键入样本协议实现进行加密验证。 （英语） Zbl 1344.68072号

Aldini，Alessandro（编辑）等人，《安全分析和设计基础》，第六版，FOSAD教程讲座。柏林：施普林格出版社（ISBN 978-3-642-23081-3/pbk）。计算机科学课堂讲稿6858，66-100（2011）。
MSC公司：68第25页 94A60型
PDF格式BibTeX公司 XML格式引用
\textit｛C.Fournet｝等人，Lect。注释计算。科学。6858、66-100（2011年；Zbl 1344.68072）
全文： 内政部 哈尔

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件