학술논문
'학술논문'
에서 검색결과 180건 | 목록
120~130
Academic Journal
In: Computers and Industrial Engineering . (Computers and Industrial Engineering, July 1997, 32(3):509-527)
Academic Journal
In: Boletin - Real Sociedad Espanola de Historia Natural: Seccion Geologica . (Boletin - Real Sociedad Espanola de Historia Natural: Seccion Geologica, 1997, 91(1-4):297-304)
Product Composition Regions of Single-Feed Reactive Distillation Columns: Mixtures Containing Inerts
Academic Journal
In: Industrial and Engineering Chemistry Research . (Industrial and Engineering Chemistry Research, 1 March 1995, 34(3):853-861)
Academic Journal
In: G.E.N . (G.E.N, 1994 Jan-Mar, 48(1):29-33)
Conference
In: ACM International Conference Proceeding Series , Practice and Experience in Advanced Research Computing 2018: Seamless Creativity, PEARC 2018. (ACM International Conference Proceeding Series, 22 July 2018)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018. (Leibniz International Proceedings in Informatics, LIPIcs, 1 July 2018, 107)
Book
In: Developments in Language Theory - 22nd International Conference, DLT 2018, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 11088 LNCS:83-95)
Book
In: Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 10803 LNCS:367-383)
Conference
Jacobs, S.; Faymonville, P.; Finkbeiner, B.; Klein, F.; Tentrup, L.; Basset, N.; Pérez, G.A.; Raskin, J.-F.; Bloem, R.; Khalimov, A.; Brenguier, R.; Colange, M.; Michaud, T.; Sankur, O.
In: Electronic Proceedings in Theoretical Computer Science, EPTCS , Proceedings - 6th Workshop on Synthesis, SYNT 2017. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 28 November 2017, 260:116-143)
Conference
In: Proceedings - Symposium on Logic in Computer Science , 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. (Proceedings - Symposium on Logic in Computer Science, 8 August 2017)
검색 결과 제한하기
제한된 항목
[AR] Perez, G.A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어