<図書>

Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings / Warren A. Hunt Jr., Steven D. Johnson (eds.)

(Lecture notes in computer science;1954)

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫

書誌詳細を非表示

出版者 Berlin : Springer
出版年 c2000
大きさ xi, 537 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *FMCAD (Conference) (3rd : 2000 : Austin, TX)
Hunt, Warren A., 1958-
Johnson, Steven D. (Steven Dexter)
件 名 LCSH:Digital integrated circuits -- Design and construction -- Data processing -- Congresses
LCSH:Digital integrated circuits -- Computer-aided design -- Congresses
LCSH:Computer-aided design -- Congresses
LCSH:Automatic theorem proving -- Congresses
LCSH:Integrated circuits -- Verification -- Congresses
LCSH:Computer engineering -- Computer-aided design -- Congresses
LCSH:Formal methods (Computer science) -- Congresses
分 類 LCC:TK7874.65
LCC:TK7885.A1
DC21:621.39/2
本文言語 英語
書誌ID 2001216786
ISBN 3540412190
NCID BA49044059 WCLINK

類似資料

  1. 1 Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings / Ganesh Gopalakrishnan, Phillip Windley, (eds.)
  2. 2 Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings / Mandayam Srivas, Albert Camilleri (eds.)
  3. 3 Theorem provers in circuit design : theory, practice and experience : Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings / Ramayya Kumar, Thomas Kropf (eds.)
  4. 4 Efficient branch and bound search with application to computer-aided design / by Xinghao Chen and Michael L. Bushnell
  5. 5 Evolvable systems : from biology to hardware : First International Conference, ICES 96 Tsukuba, Japan, October 7-8, 1996 : proceedings / Tetsuya Higuchi, Masaya Iwata, Weixin Liu (eds.)
  6. 6 Evolvable systems : from biology to hardware : Second International Conference, ICES 98, Lausanne, Switzerland, September 23-25, 1998 : proceedings / Moshe Sipper, Daniel Mange, Andrés Pérez-Uribe (eds.)
  7. 7 Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings / George J. Milne, Laurence Pierre (eds.)
  8. 8 Understanding behavioral synthesis : a practical guide to high-level design / John P. Elliott
  9. 9 VHDL and FPLDs in digital systems design, prototyping and customization / by Zoran Salcic
  10. 10 Smart Power ICs : technologies and applications / B. Murari, F. Bertotti, G.A. Vignola, (eds.) ; contributions by Andreini A. ... [et al.]

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