학술논문
'학술논문'
에서 검색결과 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
Francalanza, A.; Attard, D.P.; Cassar, I.; Aceto, L.; Achilleos, A.; Ingólfsdóttir, A.; Monica, D.D.
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)
주제어
언어