<図書>

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.)

(Lecture notes in computer science;408)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図 GW 39:L:1.408 2012270035

5261/保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1990
大きさ vi, 402 p. : ill. ; 25 cm
一般注記 Includes bibliographical references
著者標目 *Cornell University. Mathematical Sciences Institute. Workshop (1989 : Cornell University)
Leeser, M. (Miriam), 1958-
Brown, G. (Geoffrey), 1960-
Cornell University. Mathematical Sciences Institute
件 名 LCSH:Integrated circuits -- Very large scale integration -- Design and construction -- Data processing -- Congresses
分 類 LCC:TK7874
DC20:621.39/5
本文言語 英語
書誌ID 2000120548
ISBN 3540972269
NCID BA07905255 WCLINK

検索結果一覧に戻る ページトップ