上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #Digital integrated circuits)
該当件数:17件
Digital integrated circuit design / Ken Martin
New York : Oxford University Press , 2000. - (The Oxford series in electrical and computer engineering)
図書 <1001219928>
CMOS digital integrated circuits : analysis and design / Sung-Mo (Steve) Kang, Yusuf Leblebici
: international ed. - 3rd ed. - New York : McGraw-Hill , c2003
図書 <1002158571>
Semantics of digital circuits / Carlos Delgado Kloos
Berlin ; New York : Springer-Verlag , c1987. - (Lecture notes in computer science. ; 285)
図書 <1000587524>
Digital systems engineering / William J. Dally, John W. Poulton
Cambridge ; New York : Cambridge University Press , c1998
図書 <1001041361>
Digital radio systems on a chip : a systems approach / Charles Chien
Boston : Kluwer Academic Publishers , c2001
図書 <1001234517>
Evolvable systems : from biology to hardware : 4th International Conference, ICES 2001, Tokyo, Japan, October 3-5, 2001 : proceedings / Yong Liu ... [et al.] (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2210)
図書 <1001337070>
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)
図書 <1000517041>
Digital VLSI systems design : a design manual for implementation of projects on FPGAs and ASICs using Verilog / by S. Ramachandran
: hb. - Dordrecht, The Netherlands : Springer , c2007
図書 <1001925562>
Evolvable systems : from biology to hardware : Third International Conference, ICES 2000, Edinburgh, Scotland, UK, April 17-19, 2000 : proceedings / Julian Miller ... [et al.] (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1801)
図書 <1001135807>
CMOS logic circuit design / John P. Uyemura
Boston : Kluwer Academic Publishers , c1999
図書 <1001055793>
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)
図書 <1000997391>
Evolvable systems : from biology to hardware : First International Conference, ICES 96 Tsukuba, Japan, October 7-8, 1996 : proceedings / Tetsuya Higuchi, Masaya Iwata, Weixin Liu (eds.)
Berlin ; Tokyo : Springer-Verlag , c1997. - (Lecture notes in computer science ; 1259)
図書 <1000554110>
Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings / Warren A. Hunt Jr., Steven D. Johnson (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1954)
図書 <1001205122>
VLSI synthesis of DSP kernels : algorithmic and architectural transformations / by Manesh Mehendale and Sunil D. Sherlekar
図書 <1001305218>
Formal methods in computer aided design : second internaitonal conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings / Ganesh Gopalakrishnan, Phillip Windley, (eds.)
Berlin ; New York : Springer , c1998. - (Lecture notes in computer science ; 1522)
図書 <1000997516>
Computer aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings / E.M. Clarke, R.P. Kurshan, (eds.)
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1991. - (Lecture notes in computer science ; 531)
図書 <1000432438>
Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings / Mandayam Srivas, Albert Camilleri (eds.)
: alk paper. - Berlin : Springer , c1996. - (Lecture notes in computer science ; 1166)
図書 <1000546188>