同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(書誌分類: 621.39/2)
該当件数:7件
Formal semantics for VHDL / edited by Carlos Delgado Kloos and Peter T. Breuer
Boston : Kluwer Academic , c1995. - (The Kluwer international series in engineering and computer science ; VLSI, computer architecture and digital signal processing)
図書 <BB00296329>
Computation structures / Stephen A. Ward, Robert H. Halstead, Jr.
: MIT Press,: McGraw-Hill,: pbk.. - Cambridge, Mass. : MIT Press. - New York : McGraw-Hill , c1990. - (The MIT electrical engineering and computer science series)
図書 <BB00116564>
Evolvable systems : from biology to hardware : Second International Conference, ICES 98, Lausanne, Switzerland, September 23-25, 1998 : proceedings / Moshe Sipper, Daniel Mange, Andrés Pérez-Uribe (eds.)
Berlin : Springer , c1998. - (Lecture notes in computer science ; 1478)
図書 <BB00398650>
Analog VHDL / edited by Andrzej T. Rosinski, Alain Vachoux
Boston : Kluwer Academic publishers , c1998
図書 <BB00395203>
Euro-DAC '92, European Design Automation Conference : Euro-VHDL '92, Congress Centrum Hamburg, Hamburg, Germany, September 7-10, 1992 / sponsored by Gesellschaft für Informatik e.V. (GI), IEEE Computer Society Technical Committee on Design Automation (IEEE/DATC) ; cosponsored by Association for Computing Machinery (ACM/SIGDA) ... [et al.]
case - ACM. - Los Alamitos, Calif. : IEEE Computer Society Press , c1992
電子書籍 <OB00081924>
Proceedings, Tenth International Symposium on System Synthesis : September 17-19, 1997, Antwerp, Belgium / sponsored by IEEE Computer Society, ACM SIGDA ; in cooperation with IFIP WG 10.5
paper,microfiche. - Los Alamitos, Calif. : IEEE Computer Society Press , c1997
電子書籍 <OB00172708>
Formal semantics and proof techniques for optimizing VHDL models / Kothanda Umamageswaran, Sheetanshu L. Pandey, Philip A. Wilsey
Boston : Kluwer Academic Publishers , c1999
図書 <BB00422091>