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
| データ種別 | 図書 |
|---|---|
| 出版者 | Amsterdam ; New York : North-Holland |
| 出版年 | 1992 |
| 本文言語 | 英語 |
| 大きさ | 360 p. : 23 cm |
所蔵情報を非表示
1
秋田公立美術大学
| 配架場所 | 巻 次 | 請求記号 | 登録番号 | 状 態 | コメント | ISBN | 刷 年 | 利用注記 | 予約 | 指定図書 |
|---|---|---|---|---|---|---|---|---|---|---|
| 閉架書庫 |
|
549.7 || I21 | 0095114 |
|
0444896864 | 1992 |
|
|
書誌詳細を非表示
| 著者標目 | *IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience (1992 : Nijmegen, Netherlands) Stavridou, V. Melham, T. F. (Tom F.) Boute, R. T. (Raymond T.) |
|---|---|
| 件 名 | LCSH:integrated circuits -- Very large scale integration -- Design and construction -- Data processing -- Congresses LCSH:Automatic theorem proving -- Congresses LCSH:Computer-aided design -- Congresses |
| 分 類 | LCC:TK7874 DC20:621.39/2 |
| 書誌ID | 2000033080 |
| ISBN | 0444896864 |
| NCID | BA17168732 |
類似資料
-
1
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
-
2
Theoretical foundations of VLSI design / edited by K. McEvoy and J.V. Tucker : hard
-
3
Multiple-valued logic in VLSI design / [edited by] Jon T. Butler : pbk.,: microfiche
-
4
Combinatorial algorithms for integrated circuit layout / Thomas Lengauer : Wiley,: Teubner
-
5
Design & test techniques for VLSI & WSI circuits / edited by R.E. Massara
-
6
Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 / E.M. Clarke, R.P. Kurshan, editors : AMS,: ACM
-
7
Object-oriented databases with applications to CASE, networks, and VLSI CAD / editors, Rajiv Gupta, Ellis Horowitz
-
8
Computer aided logical design with emphasis on VLSI / Frederick J. Hill, Gerald R. Peterson cloth,pbk
-
9
Materials and processes for microelectronic systems / edited by K.M. Nair, R. Pohanka, R.C. Buchanan
-
10
Digital systems testing and testable design / Miron Abramovici, Melvin A. Breuer, Arthur D. Friedman