查看最新文献
订阅
分享
1192发文信息
历年影响因子
历年发表
投稿信息
同类期刊
Proceedings of the IRE
PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON BIOSCIENCE, BIOTECHNOLOGY, AND BIOMETRICS 2019
Proceedings of the Second ACM Workshop on Moving Target Defense
PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON BIOSCIENCES AND MEDICAL ENGINEERING (ICBME2019): Towards innovative research and cross-disciplinary collaborations
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation - 最新文献
Decidable verification under a causally consistent shared memory
Pub Date : 2020-06-11 DOI: 10.1145/3385412.3385966 O. Lahav, Udi BokerLearning fast and precise numerical analysis
Pub Date : 2020-06-11 DOI: 10.1145/3385412.3386016 Jingxuan He, Gagandeep Singh, Markus Püschel, Martin T. VechevPMThreads: persistent memory threads harnessing versioned shadow copies
Pub Date : 2020-06-11 DOI: 10.1145/3385412.3386000 Zhenwei Wu, Kai Lu, A. Nisbet, Wen-zhe Zhang, M. Luján
免责声明：
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
京公网安备 11010802042870号
