×

找到15个文档(结果1-15)

JRIF:Java的反应式信息流控制。 (英语) Zbl 07176723号

Guttman,Joshua D.(编辑)等人,《安全、协议和等式推理的基础》。献给凯瑟琳·梅多斯的散文。查姆:斯普林格。莱克特。票据计算。科学。11565, 70-88 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

主字段