학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 469건 | 목록 1~10
Report
M. Kohlhase, M. Johansson, B. Miller, L. de Moura, F. Tompa, eds., Intelligent Computer Mathematics (Proceedings of CICM 2016), pp. 28-43, (Lecture Notes in Computer Science, 9791). Springer International Publishing, 2016
Report
ACM Communications in Computer Algebra, 50:4 (issue 198), pp. 145-147, ACM, 2016
Conference
2012 7th International Forum on Strategic Technology (IFOST) Strategic Technology (IFOST), 2012 7th International Forum on. :1-4 Sep, 2012
Conference
Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. Formal Methods and Models for Co-Design Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. Proceedings. Second ACM and IEEE International Conference on. :7-16 2004
Academic Journal
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on. 31(5):765-778 May, 2012
Academic Journal
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on. 27(2):366-379 Feb, 2008
검색 결과 제한하기
제한된 항목
[Author] Kroening H
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어