<図書>

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.)

(Lecture notes in computer science;901)

所蔵情報を非表示

1

本郷キャンパス

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

7431/保存書庫

書誌詳細を非表示

出版者 Berlin : Springer
出版年 c1995
大きさ viii, 303 p. : ill. ; 24 cm
別書名 背表紙タイトル:TPCD'94 : theorem provers in circuit design
一般注記 Final revised proceedings of the Second International Conference on Theorem Provers in Circuit Design
Includes bibliographical references
著者標目 Kumar, Ramayya, 1957-
Kropf, Thomas, 1961-
*IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience (2nd : 1994 : Bad Herrenalb, Germany)
件 名 LCSH:Digital integrated circuits -- Design and construction -- Data processing -- Congresses
LCSH:Automatic theorem proving -- Congresses
LCSH:Computer-aided design -- Congresses
分 類 LCC:TK7874.65
DC20:621.39/2
本文言語 英語
書誌ID 2000400054
ISBN 3540590471
NCID BA24686158 WCLINK

類似資料

  1. 1 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.)
  2. 2 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.)
  3. 3 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.)
  4. 4 Efficient branch and bound search with application to computer-aided design / by Xinghao Chen and Michael L. Bushnell
  5. 5 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.)
  6. 6 Understanding behavioral synthesis : a practical guide to high-level design / John P. Elliott
  7. 7 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.)
  8. 8 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.)
  9. 9 Symbolic model checking / by Kenneth L. McMillan
  10. 10 Mechanized reasoning and hardware design / edited by C.A.R. Hoare and M.J.C. Gordon

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