학술논문
'학술논문'
에서 검색결과 42건 | 목록
1~10
Conference
2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI) Tools with Artificial Intelligence (ICTAI), 2019 IEEE 31st International Conference on. :50-58 Nov, 2019
Academic Journal
In Electronic Notes in Theoretical Computer Science 26 October 2006 164(3):153-167
Academic Journal
In Theoretical Computer Science 2005 342(1):56-78
Report
Logical Methods in Computer Science, Volume 15, Issue 2 (May 24, 2019) lmcs:2677
Conference
Proceedings of the 33rd Annual ACM Symposium on Applied Computing. :1881-1890
Conference
Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs. :1-6
Academic Journal
Zakowski, Yannick; Cachera, David; Demange, Delphine; Petri, Gustavo; Pichardie, David; Jagannathan, Suresh; Vitek, Jan
Journal of Automated Reasoning; Aug2019, Vol. 63 Issue 2, p489-515, 27p
Academic Journal
ACM Transactions on Embedded Computing Systems (TECS). 4(2):228-266
Academic Journal
검색 결과 제한하기
제한된 항목
[AR] Cachera, David
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어