関連資料一覧：（本学所蔵）
検索条件
件名：LCSH:Integratedcircuits -- Verylargescaleintegration -- Designandconstruction -- Dataprocessing -- Congresses.
選択行を：
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
| 1 |  | Hardware specification, verification, and synthesis : Mathematical aspects : proceedings U.S. ( Lecture notes in computer science ; 408 ) | 中央図書館 | M. Leeser, G. Brown, eds., Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989 proceedings.-- | Springer-Verlag | 1990 | 中央５階洋 007.1||L 49||408 |
選択行を：
|