학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 23건 | 목록 1~10
Conference
2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER) Software Analysis, Evolution and Reengineering (SANER), 2017 IEEE 24th International Conference on. :497-501 Feb, 2017
Conference
2011 Fifth International Conference on Theoretical Aspects of Software Engineering Theoretical Aspects of Software Engineering (TASE), 2011 Fifth International Symposium on. :133-141 Aug, 2011
Academic Journal
Formal Methods in System Design; 2019, Vol. 54 Issue 2, p232-277, 46p
Conference
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :211-224
Academic Journal
Formal Aspects of Computing. Jan2017, Vol. 29 Issue 1, p33-55. 23p.
Book
GraphBased Representations in Pattern Recognition; 2015, p98-107, 10p
Book
Programming Languages & Systems: 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings; 2014, p296-313, 18p
Book
Programming Languages & Systems (9783642171635); 2010, p156-171, 16p
검색 결과 제한하기
제한된 항목
[AR] Chawdhary, Aziem
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어