학술논문
'학술논문'
에서 검색결과 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: Journal of Invertebrate Pathology . (Journal of Invertebrate Pathology, January 2018, 151:59-75)
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)
주제어
언어