학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 32건 | 목록 1~10
Conference
2009 IEEE Asia-Pacific Services Computing Conference (APSCC) Services Computing Conference, 2009. APSCC 2009. IEEE Asia-Pacific. :13-18 Dec, 2009
Conference
Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences. :116-118
Academic Journal
4 Queensland U. Tech. L. & Just. J. 1 (2004) / Queensland University of Technology Law and Justice Journal, Vol. 4, Issue 2 (2004), pp. 1-21
Book
Leveraging Applications of Formal Methods, Verification & Validation. Applications & Case Studies; 2012, p56-66, 11p
검색 결과 제한하기
제한된 항목
[AR] McCarthy, Luke
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어