×

兹马思-数学第一资源

处理并发信息流系统中的秘密终止和定时通道。(英语) Zbl 1291.68057
2012年9月9日至15日,丹麦哥本哈根,ICFP'12第17届ACM SIGPLAN国际功能编程会议论文集。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-1054-3)。ACM SIGPLAN公告47,第9号,201-214(2012年)。

理学硕士:
68米14 分布式系统
68米11 Internet主题
68N18 函数规划与lambda演算
软件:
肩带
PDF格式 BibTeX公司 XML 引用
全文: 内政部