학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 15건 | 목록 1~10
Academic Journal
In: Journal of the ACM. (Journal of the ACM, 12 February 2024, 71(1))
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, 5 January 2024, 8)
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, 16 October 2023, 7(OOPSLA2))
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, January 2021, 5(POPL))
Conference
In: Proceedings - IEEE Computer Security Foundations Symposium, Proceedings - 2022 IEEE 35th Computer Security Foundations Symposium, CSF 2022. (Proceedings - IEEE Computer Security Foundations Symposium, 2022, 2022-August:80-95)
Conference
In: JFLA 2021 - 32emes Journees Francophones des Langages Applicatifs, JFLA 2021 - 32emes Journees Francophones des Langages Applicatifs. (JFLA 2021 - 32emes Journees Francophones des Langages Applicatifs, 2021, :157-173)
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, August 2021, 5(ICFP))
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 10th International Conference on Interactive Theorem Proving, ITP 2019. (Leibniz International Proceedings in Informatics, LIPIcs, September 2019, 141)
Book
In: Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 10801 LNCS:533-560)
Book
In: Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017, 10201 LNCS:584-610)
검색 결과 제한하기
제한된 항목
[AR] Guéneau, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어