학술논문
'학술논문'
에서 검색결과 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
Academic Journal
In Information and Computation 25 February 2000 157(1-2):183-235
Report
EPTCS 149, 2014, pp. 58-63
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)
주제어
언어