학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 32건 | 목록 1~10
Academic Journal
In: Communications of the ACM. (Communications of the ACM, 21 December 2023, 67(1):68-76)
Academic Journal
In: Queue. (Queue, 31 August 2023, 21(4):94-122)
Academic Journal
In: Communications of the ACM. (Communications of the ACM, June 2021, 64(6):54-61)
Academic Journal
In: Queue. (Queue, 28 February 2021, 19(1))
Conference
In: CPP 2023 - Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023, CPP 2023 - Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023. (CPP 2023 - Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023, 11 January 2023, :275-289)
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, September 2017, 1(ICFP))
Book
In: Advances in Cryptology – ASIACRYPT 2022 - 28th International Conference on the Theory and Application of Cryptology and Information Security, 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13791 LNCS:621-650)
Conference
In: Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2022, Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2022. (Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2022, 2022, :467-491)
Academic Journal
In: Communications of the ACM. (Communications of the ACM, February 2017, 60(2):99-107)
Academic Journal
In: ACM SIGPLAN Notices. (ACM SIGPLAN Notices, 8 April 2016, 51(1):256-270)
검색 결과 제한하기
제한된 항목
[AR] Delignat-Lavaud, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어