학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 180건 | 목록 140~150
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings - 5th Workshop on Synthesis, SYNT 2016. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 22 November 2016, 229:149-177)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, Computer Science Logic 2016, CSL 2016. (Leibniz International Proceedings in Informatics, LIPIcs, 1 August 2016, 62)
Periodical
In: Ingenieria Quimica (Spain). (Ingenieria Quimica (Spain), March 2010, 42(480):106-110)
In: arXiv. (arXiv, 17 November 2018)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings of the 4th Workshop on Synthesis, SYNT 2015. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 2 February 2016, 202:27-57)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings of the 4th Workshop on Synthesis, SYNT 2015. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 2 February 2016, 202:98-111)
Book
In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, 9618:3-23)
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:293-306)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 26th International Conference on Concurrency Theory, CONCUR 2015. (Leibniz International Proceedings in Informatics, LIPIcs, 1 August 2015, 42:114-127)
검색 결과 제한하기
제한된 항목
[AR] Perez, G.A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어