학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 87건 | 목록 1~10
Conference
2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation Source Code Analysis and Manipulation (SCAM), 2014 IEEE 14th International Working Conference on. :105-114 Sep, 2014
Conference
2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2024 IEEE/ACM 12th International Conference on. :100-110 Apr, 2024
Conference
Proceedings of the 30th Annual ACM Symposium on Applied Computing. :1765-1772
Conference
Proceedings of the 28th Annual ACM Symposium on Applied Computing. :1230-1235
Academic Journal
Electronic Proceedings in Theoretical Computer Science, Vol 187, Iss Proc. F-IDE 2015, Pp 86-96 (2015)
검색 결과 제한하기
제한된 항목
[검색어] Signoles, C.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어