학술논문
'학술논문'
에서 검색결과 6건 | 목록
1~10
Conference
Dahan, A.; Geist, D.; Gluhovsky, L.; Pidan, D.; Shapir, G.; Wolfsthal, Y.; Benalycherif, L.; Kamidem, R.; Lahbib, Y.
Sixth international symposium on quality electronic design (isqed'05) Quality Electronic Design Quality of Electronic Design, 2005. ISQED 2005. Sixth International Symposium on. :310-315 2005
Conference
Proceedings World Automation Congress, 2004. Automation Congress, 2004. Proceedings. World. 16:107-112 2004
Academic Journal
In: Intelligent Automation and Soft Computing . (Intelligent Automation and Soft Computing, January 2006, 12(1):23-30)
Conference
In: AIAA Guidance, Navigation, and Control Conference and Exhibit , AIAA Guidance, Navigation, and Control Conference and Exhibit. (AIAA Guidance, Navigation, and Control Conference and Exhibit, 2003)
Book
In: Computer Aided Verification - 12th International Conference, CAV 2000, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2000, 1855:538-542)
Book
Beer, I.; Ben-David, S.; Eisner, C.; Geist, D.; Gluhovsky, L.; Heyman, T.; Landver, A.; Paanah, E.; Rodeh, Y.; Ronin, G.; Wolfsthal, Y.
In: Computer Aided Verification - 9th International Conference, CAV 1997, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1997, 1254:480-483)
검색 결과 제한하기
제한된 항목
[AR] Gluhovsky, L.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어