학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 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
(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)
주제어
언어