학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 66건 | 목록 1~10
Report
9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR'2002, Oct 2002, Tbilisi, Georgia. pp.130-144
Conference
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering Software Engineering (ICSE), 2015 IEEE/ACM 37th IEEE International Conference on. 2:209-218 May, 2015
Conference
2008 11th IEEE High Assurance Systems Engineering Symposium High Assurance Systems Engineering Symposium, 2008. HASE 2008. 11th IEEE. :165-174 Dec, 2008
Report
High Assurance Systems Engineering Symposium, Nanjing : Chine (2008)
Report
Dans 16th European Symposium on Programming (2006)
검색 결과 제한하기
제한된 항목
[AR] Hardin, Therese
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어