このページのリンク

利用統計

  • 貸出数:0回
    (1年以内の貸出数:0回)

<図書>
Theoretical foundations of VLSI design

責任表示 edited by K. McEvoy and J.V. Tucker
シリーズ Cambridge tracts in theoretical computer science ; 10
データ種別 図書
出版者 Cambridge ; New York : Cambridge University Press
出版年 1990
本文言語 英語
大きさ [ix], 438 p. : ill. ; 26 cm
概要 This book discusses recent research in the theoretical foundations of several subjects of importance for the design of hardware, and for computer science in general. The physical technologies of very ...arge scale integration (VLSI) are having major effects on the electronic industry. The potential diversity and complexity of digital systems have begun a revolution in the technologies of digital design, involving the application of concepts and methods to do with algorithms and programming. In return, the problems of VLSI design have led to new subjects becoming of importance in computer science. Topics covered in this volume include: models of VLSI complexity; complexity theory; systolic algorithm design; specification theory; verification theory; design by stepwise refinement and transformations. A thorough literature survey with an exhaustive bibliography is also included. The book has grown from a workshop held at the Centre for Theoretical Computer Science at Leeds University and organised by the editors. 続きを見る

所蔵情報


理系図2F 開架 068252191000632 549.7/Ma 14 1990

理系図3F 数理独自 023211999008880 P 90/THEO/1 1990

書誌詳細

著者標目 McEvoy, Ken, 1948-
Tucker, J. V. (John V.), 1952-
件 名 LCSH:Integrated circuits -- Very large scale integration -- Design and construction -- Data processing  全ての件名で検索
分 類 LCC:TK7874
DC20:621.39/5
書誌ID 1001067888
ISBN 0521366313
NCID BA11333982
巻冊次 : hard ; ISBN:0521366313
登録日 2009.09.17
更新日 2009.09.17

類似資料