학술논문
'학술논문'
에서 검색결과 71건 | 목록
1~10
Book
In: Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14576 LNCS:206-235)
Academic Journal
Oliveira, D.; Leite, F.S.; Kaid, C.; Esposito, J.; Goulart, E.; Caires, L.; Alves, L.M.; Melo, U.S.; Figueiredo, T.; Okamoto, O.K.; Zatz, M.; Morales-Vicente, D.A.; Amaral, M.S.; Verjovski-Almeida, S.; Luz, L.; Sertié, A.L.; Navarro, C.; Mitne-Neto, M.
In: Human Molecular Genetics . (Human Molecular Genetics, 3 June 2020, 29(9):1465-1475)
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, October 2019, 3(OOPSLA))
Book
In: Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13990 LNCS:421-450)
Academic Journal
Hüttel, H.; Lanese, I.; Vasconcelos, V.T.; Mostrous, D.; Zavattaro, G.; Caires, L.; Carbone, M.; Deniélou, P.-M.; Padovani, L.; Nióravara, A.; Tuosto, E.; Vieira, H.T.
In: ACM Computing Surveys . (ACM Computing Surveys, April 2016, 49(1))
Academic Journal
In: Mathematical Structures in Computer Science . (Mathematical Structures in Computer Science, 1 March 2016, 26(3):367-423)
Conference
In: ACM International Conference Proceeding Series , Proceedings of the 23rd International Symposium on Principles and Practice of Declarative Programming, PPDP 2021, co-located with LOPSTR 2021 - 31st International Symposium on Logic-Based Program Synthesis and Transformation. (ACM International Conference Proceeding Series, 6 September 2021)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1 January 2014, 8902:159-175)
Academic Journal
In: Mathematical Structures in Computer Science . (Mathematical Structures in Computer Science, 10 November 2014, 760:367-423)
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, August 2021, 5(ICFP))
검색 결과 제한하기
제한된 항목
[AR] Caires, L.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어