학술논문
'학술논문'
에서 검색결과 10건 | 목록
1~10
Conference
33rd Design Automation Conference Proceedings, 1996 DAC: design automation Design Automation Conference Proceedings 1996, 33rd. :655-660 1996
Conference
Proceedings International Phoenix Conference on Computers and Communications Computers and communications Computers and Communications, 1995., Conference Proceedings of the 1995 IEEE Fourteenth Annual International Phoenix Conference on. :373-377 1995
Conference
2006 IEEE International High Level Design Validation and Test Workshop High-Level Design Validation and Test Workshop, 2006. Eleventh Annual IEEE International. :183-183 Nov, 2006
Academic Journal
In: Topology and its Applications . (Topology and its Applications, 25 August 1995, 65(3):237-255)
Academic Journal
In: Proceedings of the American Mathematical Society . (Proceedings of the American Mathematical Society, September 1994, 122(1):291-302)
Academic Journal
In: Israel Journal of Mathematics . (Israel Journal of Mathematics, October 1993, 81(3):289-296)
Book
Armoni, R.; Fix, L.; Flaisher, A.; Ginsburg, B.; Kanza, T.; Landver, A.; Mador-Haim, S.; Singerman, E.; Tiemeyer, A.; Zbar, Y.; Gerth, R.; Vardi, M.Y.
In: Tools and Algorithms for the Construction and Analysis of Systems - 8th Int. Conf., TACAS 2002, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2002, Proc. . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2002, 2280 LNCS:296-311)
Book
In: Computer Aided Verification - 10th International Conference, CAV'98, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1998, 1427 LNCS:184-194)
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)
Book
In: Formal Methods in Computer-Aided Design - 1st International Conference, FMCAD 1996, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1996, 1166:143-158)
검색 결과 제한하기
제한된 항목
[AR] Landver, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어