データ種別 |
図書 |
出版者 |
Cambridge ; New York : Cambridge University Press |
出版年 |
1990 |
本文言語 |
英語 |
大きさ |
[ix], 438 p. : ill. ; 26 cm |
所蔵情報を非表示
1
秋田公立美術大学
配架場所 |
巻 次 |
請求記号 |
登録番号 |
状 態 |
ISBN |
刷 年 |
利用注記 |
予約 |
指定図書 |
閉架書庫
|
|
549.7 || Th3
|
0090393
|
|
0521366313
|
1990
|
|
|
|
書誌詳細を非表示
類似資料
-
1
Multiple-valued logic in VLSI design / [edited by] Jon T. Butler
: pbk.,: microfiche
-
2
Combinatorial algorithms for integrated circuit layout / Thomas Lengauer
: Wiley,: Teubner
-
3
Proceedings, third Great Lakes Symposium on VLSI : design automation of high performance VLSI systems : Kalamazoo, Michigan, March 5-6, 1993 / sponsored by IEEE Computer Society Technical Committee on VLSI ; in cooperation with IEEE Circuits and Systems Society, ACM SIGDA
: paper,: micro
-
4
Computer aided logical design with emphasis on VLSI / Frederick J. Hill, Gerald R. Peterson
cloth,pbk
-
5
Theorem provers in circuit design : proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience, Nijmegen, the Netherlands, 22-24 June 1992 / edited by V. Stavridou, T.F. Melham, R.T. Boute
-
6
Design & test techniques for VLSI & WSI circuits / edited by R.E. Massara
-
7
Multilayer ceramic substrate-technology for VLSI package/multichip module / K. Otsuka
-
8
Object-oriented databases with applications to CASE, networks, and VLSI CAD / editors, Rajiv Gupta, Ellis Horowitz
-
9
Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 / E.M. Clarke, R.P. Kurshan, editors
: AMS,: ACM
-
10
Digital systems testing and testable design / Miron Abramovici, Melvin A. Breuer, Arthur D. Friedman