학술논문
'학술논문'
에서 검색결과 76건 | 목록
1~10
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 20 June 2024, 8)
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 16 October 2023, 7(OOPSLA2))
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 38th European Conference on Object-Oriented Programming, ECOOP 2024. (Leibniz International Proceedings in Informatics, LIPIcs, September 2024, 313)
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 6 June 2023, 7:1414-1437)
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 6 June 2023, 7)
Academic Journal
In: ACM Transactions on Software Engineering and Methodology . (ACM Transactions on Software Engineering and Methodology, 31 March 2023, 32(2))
Report
Pieńkowski, D.; Gałan, C.; Tomov, T.; Gazeas, K.; Wychudzki, P.; Mikołajewski, M.; Kubicki, D.; Staels, B.; Zoła, S.; Pakońska, P.; Dȩbski, B.; Kundera, T.; Ogłoza, W.; Dróżdż, M.; Baran, A.; Winiarski, M.; Siwak, M.; Dimitrov, D.; Kjurkchieva, D.; Marchev, D.; Armiński, A.; Miller, I.; Kołaczkowski, Z.; Moździerski, D.; Zahajkiewicz, E.; Bruś, P.; Pigulski, A.; Smela, T.; Conseil, E.; Boyd, D.; Conidis, G. J.; Plauchu-Frayn, I.; Heras, T. A.; Kardasis, E.; Biskupski, M.; Kneip, R.; Hambálek, L.; Pribulla, T.; Kundra, E.; Nedoroščik, J.; Lopatovský, J.; Garai, Z.; Rodriguez, D.; Kamiński, T.; Dubois, F.; Logie, L.; Blanco, A. Capetillo; Kankiewicz, P.; Świerczyński, E.; Martignoni, M.; Sergey, I.; Qvam, J. Kare Trandem; Semkov, E.; Ibryamov, S.; Peneva, S.; Carballo, J. -L. Gonzalez; Ribeiro, J.; Dean, S.; Apostolovska, G.; Donchev, Z.; Corp, L.; McDonald, P.; Rodriguez, M.; Sanchez, A.; Wiersema, K.; Menke, J.; Richardson, N.
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 29 August 2022, 6(ICFP))
Conference
In: CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024 , CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024. (CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024, 9 January 2024, :45-59)
Conference
In: CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security , CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. (CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 15 November 2023, :1615-1629)
검색 결과 제한하기
제한된 항목
[AR] Sergey, I.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어