학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 143건 | 목록 30~40
Conference
In: MEMOCODE 2019 - 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2019 - 17th ACM-IEEE International Conference on Formal Methods and Models for System Design. (MEMOCODE 2019 - 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 9 October 2019)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003, 2621:325-340)
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, February 2012, 14(1):1-14)
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, In Press, 2012, :1-41)
Academic Journal
In: Formal Aspects of Computing. (Formal Aspects of Computing, September 2011, 23(5):627-648)
Conference
2010 8th IEEE/ACM International Conference on Formal Methods & Models for Codesign (MEMOCODE); 2010, p41-48, 8p
Conference
2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD); 2010, p770-777, 8p
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, June 2008, 32(3):235-266)
Academic Journal
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. (IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, February 2008, 27(2):366-379)
Academic Journal
In: Theoretical Computer Science. (Theoretical Computer Science, 5 December 2007, 388(1-3):227-242)
검색 결과 제한하기
제한된 항목
[AR] Sharygina, N.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어