上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: Integrated circuits Very large scale integration Computer-aided design Congresses)
該当件数:7件
Integrated circuit design : power and timing modeling, optimization and simulation : 10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 : proceedings / Dimitrios Soudris, Peter Pirsch, Erich Barke (eds.)
Berlin ; Tokyo : Springer , c2000. - (Lecture notes in computer science ; 1918)
図書 <1001195275>
Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings / Tiziana Margaria, Tom Melham (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2144)
図書 <1001313960>
Correct hardware design and verification methods : 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings / Laurence Pierre, Thomas Kropf (eds.)
Berlin ; Tokyo : Springer , c1999. - (Lecture notes in computer science ; 1703)
図書 <1001084298>
Correct hardware design and verification methods : IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings / Paolo E. Camurati, Hans Eveking (eds.)
Berlin ; New York : Springer , c1995. - (Lecture notes in computer science ; 987)
図書 <1000527661>
Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993 : proceedings / George J. Milne, Laurence Pierre (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 683)
図書 <1000656918>
1996 IEEE TENCON, digital signal processing applications : proceedings : the Univeristy of Western Australia, Perth, Western Australia, 26-29 November 1996 / sponsored by IEEE Region 10 ... [et al.]
v. 1 - : casebound. - Piscataway, NJ : IEEE Service Center , c1996
図書 <1000715828>
VLSI : systems on a chip : IFIP TC10 WG10.5 Tenth International Conference on Very Large Scale Integration (VLSI'99), December 1-4, 1999, Lisboa, Portugal / edited by Luis Miguel Silveira, Srinivas Devadas, Ricardo Reis
Boston : Kluwer Academic Publishers , c2000. - (The international federation for information processing ; 34)
図書 <1001350216>