학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 147건 | 목록 20~30
Conference
In: EPiC Series in Computing, Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. (EPiC Series in Computing, 2023, 94:144-163)
Book
In: Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13908 LNCS:144-162)
Book
In: Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13908 LNCS:172-191)
Book
In: Formal Techniques for Distributed Objects, Components, and Systems - 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13910 LNCS:29-36)
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, January 2019, 3(POPL))
Academic Journal
In: Distributed Computing. (Distributed Computing, 1 February 2018, 31(1):51-67)
Academic Journal
In: Acta Informatica. (Acta Informatica, 1 May 2017, 54(3):243-269)
Academic Journal
In: Science of Computer Programming. (Science of Computer Programming, 15 November 2016, 130:69-96)
Book
In: Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13572 LNCS:212-237)
검색 결과 제한하기
제한된 항목
[AR] Montesi, F.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어