학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 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
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
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)
주제어
언어