학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 19건 | 목록 1~10
Conference
2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Workshops Web Intelligence and Intelligent Agent Technology Workshops, 2007 IEEE/WIC/ACM International Conferences on. :144-147 Nov, 2007
Conference
2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Workshops Web Intelligence and Intelligent Agent Technology Workshops, 2007 IEEE/WIC/ACM International Conferences on. :157-160 Nov, 2007
Conference
Fourth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe'07) Engineering of Autonomic and Autonomous Systems, 2007. EASe '07. Fourth IEEE International Workshop on. :137-148 Mar, 2007
Conference
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on. :303-308 Nov, 2006
Conference
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on. :402-407 Nov, 2006
검색 결과 제한하기
제한된 항목
[AR] Kubczak, Christian
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어