下载地址:
下载地址1(本站为飞网专业下载站,域名:down.cfei.net)
资源简介:
(我现在主要在CSDN上整理计算机安全、软件工程(可信软件)、系统及通信方面的论文及相关理论书籍,如果对这方面内容感兴趣,可以访问:http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多,需要大家人工手动查找。另外,资料顺序并不按照时间排列,只是想起来了就上传。CSDN这套系统不敢恭维,也请大家见谅。)国际软件工程和编程语言界的顶级会议,POPL 2010年的会议论文集。POPL通常被认为是软件方面最顶级的国际会议之一,对程序语言、软件工程、可信软件等方面的研究者具有很重要的参考意义。
飞网下载站,免费下载共享资料,内容涉及教育资源、专业资料、IT资源、娱乐生活、经济管理、办公文书、游戏资料等。
相关资源:
在编程语言2011论文集原理POPL 2011年学术年会.rar
作业系统原理2011科学院SOSP 2011-ACM研讨会.rar
NFM 2010年美国航空航天局的形式化方法研讨会2010论文集.rar
ISSTA 2009年国际研讨会软件测试和分析2009年科学院.rar
软件可靠性工程2010论文集ISSRE 2010年国际研讨会.rar
在数据通信SIGCOMM 2009-ACM SIGCOMM会议2009科学院(SIGCOMM 2009年的法律程序).rar
USENIX OSDI 2010科学院(USENIX OSDI 2010年论文集).rar