Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 / E.M. Clarke, R.P. Kurshan, editors
| データ種別 | 図書 |
|---|---|
| 出版者 | Providence, RI : American Mathematical Society |
| 出版者 | Baltimore, Md. : Association for Computing Machinery |
| 出版年 | c1991 |
| 本文言語 | 英語 |
| 大きさ | xii, 628 p. : ill. ; 27 cm |
所蔵情報を非表示
1
秋田公立美術大学
| 配架場所 | 巻 次 | 請求記号 | 登録番号 | 状 態 | コメント | ISBN | 刷 年 | 利用注記 | 予約 | 指定図書 |
|---|---|---|---|---|---|---|---|---|---|---|
| 閉架書庫 |
|
549.7 || D75 | 0101408 |
|
0821865943 | 1991 |
|
|
書誌詳細を非表示
| 一般注記 | "The DIMACS Workshop on Computer-Aided Verification was held at the Center for Discrete Mathematics and Theoretical Computer Science on June 18-21, 1990"--T.p. verso Includes bibliographical references |
|---|---|
| 著者標目 | *DIMACS Workshop on Computer-Aided Verification (1990 : Center for Discrete Mathematics and Theoretical Computer Science) Clarke, E. M. Kurshan, R. P., 1943- |
| 件 名 | LCSH:Digital integrated circuits -- Design and construction -- Data processing -- Congresses LCSH:Computer-aided design -- Congresses |
| 分 類 | LCC:TK7874 DC20:621.381/5 |
| 書誌ID | 2000033082 |
| ISBN | 0821865943 |
| NCID | BA13087672 |
類似資料
-
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
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
-
3
Digital systems testing and testable design / Miron Abramovici, Melvin A. Breuer, Arthur D. Friedman
-
4
Theoretical foundations of VLSI design / edited by K. McEvoy and J.V. Tucker : hard
-
5
Materials and processes for microelectronic systems / edited by K.M. Nair, R. Pohanka, R.C. Buchanan
-
6
Multiple-valued logic in VLSI design / [edited by] Jon T. Butler : pbk.,: microfiche
-
7
Combinatorial algorithms for integrated circuit layout / Thomas Lengauer : Wiley,: Teubner
-
8
Object-oriented databases with applications to CASE, networks, and VLSI CAD / editors, Rajiv Gupta, Ellis Horowitz
-
9
Computer aided logical design with emphasis on VLSI / Frederick J. Hill, Gerald R. Peterson cloth,pbk
-
10
Design & test techniques for VLSI & WSI circuits / edited by R.E. Massara