학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 90건 | 목록 1~10
Conference
2020 International Symposium on Theoretical Aspects of Software Engineering (TASE) TASE Theoretical Aspects of Software Engineering (TASE),2020 International Symposium on. :49-56 Dec, 2020
Academic Journal
In Electronic Notes in Theoretical Computer Science 1 September 2007 72(1):45-58
Academic Journal
In Electronic Notes in Theoretical Computer Science 28 May 2007 176(1):139-163
Editorial & Opinion
In Journal of Logical and Algebraic Methods in Programming August 2022 128
Academic Journal
In Electronic Notes in Theoretical Computer Science December 2003 86(4):625-640
Conference
2013 IEEE 37th Annual Computer Software and Applications Conference Computer Software and Applications Conference (COMPSAC), 2013 IEEE 37th Annual. :519-528 Jul, 2013
Conference
2010 8th IEEE International Conference on Software Engineering and Formal Methods Software Engineering and Formal Methods (SEFM), 2010 8th IEEE International Conference on. :93-102 Sep, 2010
검색 결과 제한하기
제한된 항목
[AR] Pinto, Jorge Sousa
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어