↓この資料メモをスマホで表示する↓
こちらの資料メモを元に配架場所へ行き資料を探してください。 図書館スタッフの出納が必要な場合は、こちらを印刷して、図書館カウンターへ提出してください。
| 配架場所 | 多:B2F小図移管 |
| 請求記号 | 007/L49/901 |
| 資料番号 | 10602020300119 |
| 状態 |
| 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.). - Berlin : Springer , c1995. - (Lecture notes in computer science ; 901) |
| 学生証・兼任勤務員番号/教職員番号/ライブラリーカード番号 |
| 氏名 |
2026/04/14 13:06:56