학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 20건 | 목록 1~10
Book
In: Implementation and Application of Automata - 28th International Conference, CIAA 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 15015 LNCS:19-34)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2023. (Leibniz International Proceedings in Informatics, LIPIcs, December 2023, 284)
Book
In: Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13465 LNCS:65-79)
Academic Journal
In: Revue de l'OFCE. (Revue de l'OFCE, 17 December 2015, 143(7):169-223)
Academic Journal
In: Information and Computation. (Information and Computation, 1 April 2015, 241:142-176)
Academic Journal
In: Economie et Statistique. (Economie et Statistique, 2010, (424-425):3-30)
Book
In: Formal Modeling and Analysis of Timed Systems - 16th International Conference, FORMATS 2018, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 11022 LNCS:199-214)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016. (Leibniz International Proceedings in Informatics, LIPIcs, 1 February 2016, 47)
Conference
In: Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014, Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014. (Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014, 2014)
검색 결과 제한하기
제한된 항목
[AR] Degorre, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어