×

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

DABSTERS:用于许可区块链的保护隐私的电子投票协议。 (英语) Zbl 07142682号

Hierons,Robert Mark(编辑)等人,《计算的理论方面——2019年ICTAC》。2019年10月31日至11月4日,第16届国际学术讨论会,突尼斯哈马马特。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11884, 292-312 (2019).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于应用积分中过程的唯一分解。 (英语) Zbl 1260.68265号

Pfenning,Frank(编辑),《软件科学和计算结构基础》。2013年3月16日至24日在意大利罗马举行的第16届国际会议FOSSACS 2013,是欧洲软件理论与实践联合会议ETAPS 2013的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-37074-8/pbk)。计算机科学课堂讲稿7794,50-64(2013)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段

软件