학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 229건 | 목록 180~190
Book
In: Verification, Validation and Testing in Software Engineering. (Verification, Validation and Testing in Software Engineering, 2006, :317-340)
Conference
In: Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Recent Advances in AI Planning - 5th European Conference on Planning, ECP 1999, Proceedings. (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), 2000, 1809:35-48)
Book
In: Computer Aided Verification - 11th International Conference, CAV 1999, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1999, 1633:249-260)
Conference
In: PESC Record - IEEE Annual Power Electronics Specialists Conference. (PESC Record - IEEE Annual Power Electronics Specialists Conference, 1996, 1:216-222)
Conference
In: INTELEC, International Telecommunications Energy Conference (Proceedings). (INTELEC, International Telecommunications Energy Conference (Proceedings), 1996, :256-262)
Academic Journal
Nephron (00282766); 1992, Vol. 61 Issue 3, p335-336, 2p
검색 결과 제한하기
제한된 항목
[AR] Daniele, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어