国士舘大学
図書館・情報メディアセンター
ログイン
ヘルプ
×終了
検索
ブックマーク
マイライブラリ
Hardware specification, verification, and synthesis : Mathematical aspects : proceedings
書誌情報:Hardware specification, verification, and synthesis : Mathematical aspects : proceedings
M. Leeser, G. Brown, eds.
Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989 proceedings.--
Berlin ; New York : Springer-Verlag , 1990.
vi, 402 p. : ill. ; 25 cm.
所蔵一覧
巻号
予約人数
所在
請求記号
資料ID
状態
貸出区分
備考
1
U.S.
0
中央5階洋
007.1
L 49
408
00514616
利用可
一般
選択行を:
書誌詳細
刊年
1990
形態
vi, 402 p. : ill. ; 25 cm.
シリーズ名
Lecture notes in computer science ; 408
注記
Includes bibliographical notes.
出版国
ドイツ
標題言語
英語
本文言語
英語
著者情報
Cornell University. Mathematical Sciences Institute. Workshop (1989)
Leeser, M. (Miriam), 1958-
Brown, G. (Geoffrey), 1960-
Cornell University. Mathematical Sciences Institute.
分類
LCC:TK7874
DC20:621.39/5
ISBN
0387972269(U.S.)
件名
LCSH:Integratedcircuits -- Verylargescaleintegration -- Designandconstruction -- Dataprocessing -- Congresses.
LCSH:Integratedcircuits -- Verification -- Congresses.
番号
LCCN : 89026300
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。