<図書>

Correct hardware design and verification methods : 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings / Laurence Pierre, Thomas Kropf (eds.)

(Lecture notes in computer science;1703)

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫
3

駒場Ⅰキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
数理科学・保存
RO:Correct 8010245077


書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer
出版年 c1999
大きさ xi, 366 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *Advanced Research Working Conference on Correct Hardware Design Methodologies (1999 : Bad Herrenalb, Germany)
Pierre, Laurence
Kropf, Thomas, 1961-
件 名 LCSH:Integrated circuits -- Very large scale integration -- Design and construction -- Data processing -- Congresses
LCSH:Integrated circuits -- Verification -- Congresses
LCSH:Computer-aided design -- Congresses
LCSH:Integrated circuits -- Very large scale integration -- Computer-aided design -- Congresses
分 類 NDC9:549.7
LCC:TK7874.75
DC20:621.39/5
本文言語 英語
書誌ID 2000982704
ISBN 3540665595
NCID BA43362288 WCLINK

類似資料

  1. 1 Correct hardware design and verification methods : IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings / Paolo E. Camurati, Hans Eveking (eds.)
  2. 2 Parallel algorithms for VLSI computer-aided design / Prithviraj Banerjee
  3. 3 Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings / Tiziana Margaria, Tom Melham (eds.)
  4. 4 VLSI chip design with the hardware description language VERILOG : an introduction based on a large RISC processor design / Ulrich Golze ... [et al.]
  5. 5 Timed Boolean functions : a unified formalism for exact timing analysis / William K.C. Lam, Robert K. Brayton
  6. 6 Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings / Daniel Geist, Enrico Tronci (Eds.)
  7. 7 Algorithms and data structures in VLSI design : OBDD-foundations and applications / Christoph Meinel, Thorsten Theobald
  8. 8 Integrated circuit design : power and timing modeling, optimization and simulation : 10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 : proceedings / Dimitrios Soudris, Peter Pirsch, Erich Barke (eds.)
  9. 9 Integrated circuit design : power and timing modeling, optimization and simulation : 12th International Workshop, PATMOS 2002, Seville, Spain, September 11-13, 2002 : proceedings / Bertrand Hochet, Antonio J. Acosta, Manuel J. Bellido (eds.)
  10. 10 On optimal interconnections for VLSI / Andrew B. Kahng, Gabriel Robins

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