×

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

最新的 引文 关联
啊，帕特里克；哈，迈克尔

安全多方计算：输出信息流和博弈论。 （英语） 兹比尔1444.68014

Maffei，Matteo（编辑）等人，《安全与信任原则》。2017年4月22日至29日在瑞典乌普萨拉举行的第六届国际会议，即2017年POST，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10204, 71-92 (2017).
MSC公司：64岁以下 68平方米25 91A80型 94甲17 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{P.Ah-Fat}和\textit{M.Huth}，莱克特。注释计算。科学。10204、71--92（2017；Zbl 1444.68014）
全文： 内政部 链接
蒂姆·伍德；索菲亚·德罗索波洛；Shuvendu K.拉希里。；苏珊·艾森巴赫

内存分配情况下程序等效性的模块化验证。 （英语） Zbl 1485.68077号

Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10201, 937-963 (2017).
MSC公司：68号30 68第05页 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Wood}等人，Lect。注释计算。科学。10201、937--963（2017；Zbl 1485.68077）
全文： 内政部 链接
伯恩哈德·贝克特；丹尼尔·布伦斯；弗拉基米尔·克莱巴诺夫；克里斯托弗·舍本；彼得·施密特（Peter H.Schmitt）。；马蒂亚斯·乌尔布里奇

面向对象软件中的信息流。 （英语） Zbl 1453.68027号

Gupta，Gopal（编辑）等，基于逻辑的程序合成和转换。2013年9月18日至19日在西班牙马德里举行的2013年LOPSTR第23届国际研讨会。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。8901, 19-37 (2014).
MSC公司：68甲15 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{B.Beckert}等人，Lect。注释计算。科学。8901、19-37（2014；Zbl 1453.68027）
全文： 内政部
理查德·布贝尔；雷纳·哈内尔；本杰明·韦伊

使用显式状态更新对符号执行进行抽象解释。 （英语） Zbl 1254.68073号

de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2008年10月21日至23日在法国索菲亚·安蒂波利斯举行的2008年FMCO第七届国际研讨会。修订的讲座。柏林：施普林格出版社（ISBN 978-3-642-04166-2/pbk）。计算机科学课堂讲稿5751247-277（2009）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{R.Bubel}等人，Lect。注释计算。科学。5751、247--277（2009年；Zbl 1254.68073）
全文： 内政部
安妮迪亚·班纳吉；罗伯托·贾科巴齐；伊莎贝拉·马斯特罗埃尼

你所失去的是你所泄漏的：解密策略中的信息泄漏。 （英语） Zbl 1316.68040号

Fiore，Marcelo（编辑），第23届编程语义数学基础会议论文集（MFPS XXIII），美国洛杉矶新奥尔良，2007年4月11-14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记173，47-66（2007）。
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Banerjee}等人，《电子》。注释Theor。计算。科学。173、47-66（2007年；Zbl 1316.68040）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件