検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Hardware specification, verification and synthesis : mathematical aspects : Mathematical Sciences Institute Workshop, Cornell University, Ithaca, New York, USA, July 5-7, 1989, proceedings / M. Leeser, G. Brown (eds.) T2 Lecture notes in computer science A1 Cornell University. Mathematical Sciences Institute. Workshop A1 Leeser, M. (Miriam), 1958- A1 Brown, G. (Geoffrey), 1960- A1 Cornell University. Mathematical Sciences Institute YR 1990 FD c1990 VO : gw SP vi, 402 p. K1 Integrated circuits -- Very large scale integration -- Design and construction -- Data processing -- Congresses PB Springer-Verlag PP Berlin ; Tokyo SN 3540972269 LA English (英語) CL LCC:TK7874 CL DC20:621.39/5 NO 書誌ID=1000359625; NCID=BA07905255; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000359625 OL 30