학술논문
'학술논문'
에서 검색결과 180건 | 목록
140~150
Conference
Jacobs, S.; Klein, F.; Kreber, J.; Tentrup, L.; Bloem, R.; Khalimov, A.; Könighofer, R.; Brenguier, R.; Legg, A.; Narodytska, N.; Ryzhyk, L.; Pérez, G.A.; Raskin, J.-F.; Sankur, O.; Seidl, M.; Walker, A.
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)
Academic Journal
Physica Status Solidi (B); Jul2000, Vol. 220 Issue 1, p381-383, 3p
Periodical
In: Ingenieria Quimica (Spain) . (Ingenieria Quimica (Spain), March 2010, 42(480):106-110)
In: arXiv . (arXiv, 17 November 2018)
Conference
Jacobs, S.; Tentrup, L.; Bloem, R.; Könighofer, R.; Brenguier, R.; Pérez, G.A.; Raskin, J.-F.; Sankur, O.; Ryzhyk, L.; Walker, A.; Seidl, M.
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
Brenguier, R.; Clemente, L.; Hunter, P.; Pérez, G.A.; Randour, M.; Raskin, J.-F.; Sankur, O.; Sassolas, M.
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)
주제어
언어