학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 147건 | 목록 30~40
Book
In: Logic-Based Program Synthesis and Transformation - 32nd International Symposium, LOPSTR 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13474 LNCS:103-120)
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:223-240)
Book
In: Service-Oriented and Cloud Computing - 9th IFIP WG 6.12 European Conference, ESOCC 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13226 LNCS:v-vi)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2015, 8950:506-521)
Academic Journal
In: Foundations and Trends in Programming Languages. (Foundations and Trends in Programming Languages, 2016, 3(2-3):95-230)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 35th European Conference on Object-Oriented Programming, ECOOP 2021. (Leibniz International Proceedings in Informatics, LIPIcs, 1 July 2021, 194)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 12th International Conference on Interactive Theorem Proving, ITP 2021. (Leibniz International Proceedings in Informatics, LIPIcs, 1 June 2021, 193)
검색 결과 제한하기
제한된 항목
[AR] Montesi, F.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어