학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 10건 | 목록 1~10
Academic Journal
In: Science of Computer Programming. (Science of Computer Programming, January 2024, 232)
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, 30 August 2023, 7(ICFP))
Book
In: Coordination Models and Languages - 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13271 LNCS:200-219)
Conference
In: Erlang 2021 - Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, co-located with ICFP 2021, Erlang 2021 - Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, co-located with ICFP 2021. (Erlang 2021 - Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, co-located with ICFP 2021, 18 August 2021, :2-14)
Book
In: Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 12719 LNCS:207-225)
Academic Journal
In: Applied Optics. (Applied Optics, 20 August 2010, 49(24):4498-4505)
Book
In: Behavioural Types: from Theory to Tools English. (Behavioural Types: from Theory to Tools English, 31 July 2017, :49-76)
Book
In: Runtime Verification - 17th International Conference, RV 2017, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017, 10548 LNCS:8-29)
Book
In: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017, 10469 LNCS:219-235)
Book
In: Runtime Verification - 16th International Conference, RV 2016, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, 10012 LNCS:473-481)
검색 결과 제한하기
제한된 항목
[AR] Attard, D.P.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어