WebOPAC Local書誌詳細

ログイン

書誌詳細

愛知工業大学附属図書館

検索結果一覧へ戻る

	Logic synthesis and verification eds.: Soha Hassoun, Tsutomu Sasao ; consulting ed.: Robert K. Brayton. -- Kluwer Academic Publishers, 2002. -- (The Kluwer international series in engineering and computer science ; SECS 654). <BB00091876> 便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる目次・あらすじを見る詳細情報を見る書誌URL：

Logic synthesis and verification eds.: Soha Hassoun, Tsutomu Sasao ; consulting ed.: Robert K. Brayton. -- Kluwer Academic Publishers, 2002. -- (The Kluwer international series in engineering and computer science ; SECS 654). <BB00091876> 便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる目次・あらすじを見る詳細情報を見る書誌URL：

所蔵一覧 1件～1件（全1件）

ナンバーをクリックすると所蔵詳細をみることができます。

No.	巻号	所蔵館	配置場所	請求記号	資料ID	状態	返却予定日	予約
0001		図書館	電動集密洋書	549.3\|\|L	003227303	書架		0件


No.	0001
巻号
所蔵館	図書館
配置場所	電動集密洋書
請求記号	549.3\|\|L
資料ID	003227303
状態	書架
返却予定日
予約	0件

このページのTOPへ

目次・あらすじ

このページのTOPへ

書誌詳細

標題および責任表示

Logic synthesis and verification / eds.: Soha Hassoun, Tsutomu Sasao ; consulting ed.: Robert K. Brayton

出版・頒布事項

Boston : Kluwer Academic Publishers , c2002

形態事項

xiv, 454 p. : ill. ; 25 cm

巻号情報

ISBN	0792376064

書誌構造リンク

The Kluwer international series in engineering and computer science <BB00162375> SECS 654//a

注記

Includes bibliographical references and index

学情ID

BA54887771

本文言語コード

英語

著者標目リンク

Hassoun, Soha <>

著者標目リンク

笹尾, 勤 (1950-)||ササオ, ツトム <AU00034188>

著者標目リンク

Brayton, Robert King <>

このページのTOPへ

検索結果一覧へ戻る

このページのTOPへ