학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 19건 | 목록 1~10
Dissertation/ Thesis
Academic Journal
In Electronic Notes in Theoretical Computer Science 1 September 2007 72(1):3-16
Conference
2009 24th Annual IEEE Symposium on Logic In Computer Science Logic In Computer Science, 2009. LICS '09. 24th Annual IEEE Symposium on. :189-198 Aug, 2009
Dissertation/ Thesis
Conference
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming. :151-162
Conference
Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. :85-87
Book
Tools & Algorithms for the Construction & Analysis of Systems (9783642007675); 2009, p62-76, 15p
Book
Tools & Algorithms for the Construction & Analysis of Systems (9783540787990); 2008, p78-92, 15p
Book
Functional & Logic Programming; 1999, p225-240, 16p
Academic Journal
International Journal on Software Tools for Technology Transfer. Sep2010, Vol. 12 Issue 5, p373-389. 17p.
검색 결과 제한하기
제한된 항목
[AR] Bakewell, Adam
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어