11건
British Standards Institution., 1980
Frank Vahid, 2011
Douglas L. Perry, 1991 / 판 11개
Lionel Bening, Lionel Bening, Harry D. Foster, 2000 / 판 7개
Hewlett-Packard Company, 1993 / 판 4개
Frank Vahid, 2010
J. G. P. Barnes, 1976 / 판 2개
Armin Biere, 2013 / 판 2개
Roland Hughes, 2006
France) ACM and IEEE International Conference on Formal Methods and Models for Co-Design (1st 2003 Le Mont-Saint-Michel, 2003
제목이나 표지 사진만 주셔도 찾아 드립니다. 여러 권이면 기업 기관 구매에서 목록째 넣으실 수 있습니다.