학술논문
'학술논문'
에서 검색결과 20건 | 목록
1~10
Academic Journal
In: Information and Computation . (Information and Computation, January 2023, 290)
Book
In: Multi-Agent Systems - 20th European Conference, EUMAS 2023, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14282 LNAI:312-327)
Academic Journal
In: Theoretical Computer Science . (Theoretical Computer Science, 22 March 2017, 669:33-58)
Book
Honda, K.; Chen, T.-C.; Demangeon, R.; Hu, R.; Neykova, R.; Deníelou, P.-M.; Yoshida, N.; Deníelou, P.-M.
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8665:105-127)
Academic Journal
In: Formal Methods in System Design . (Formal Methods in System Design, 13 June 2015, 46(3):197-225)
Conference
In: Proceedings - Symposium on Logic in Computer Science , Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. (Proceedings - Symposium on Logic in Computer Science, 9 July 2018, :344-353)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2015. (Leibniz International Proceedings in Informatics, LIPIcs, 1 December 2015, 45:560-574)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS , Proceedings of the 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 8 December 2013, 137:53-62)
Book
In: Trustworthy Global Computing - 7th International Symposium, TGC 2012, Revised Selected Papers . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013, 8191 LNCS:97-111)
Book
In: Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on DisCoTec 2013, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013, 7892 LNCS:50-65)
검색 결과 제한하기
제한된 항목
[AR] Demangeon, R.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어