上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #Integrated circuits)
該当件数:138件
High speed integrated circuit technology, towards 100 GHz logic / editor, Mark Rodwell
Singapore : World Scientific, c2001. - (Selected topics in electronics and systems ; v. 21)
図書 <1001281113>
VLSI technology / editor-in-chief, Wai-Kai Chen
Boca Raton, FL : CRC Press , c2003
図書 <1001440788>
Wide-bandwidth high dynamic range D/A converters / by Konstantinos Doris, Arthur van Roermund and Domine Leenaerts
: hdbd. - Dordrecht : Springer , c2006. - (The international series in engineering and computer science ; 871 . Analog circuits and signal processing)
図書 <1001826169>
Adaptive techniques for mixed signal system on chip / by Ayman Fayed and Mohammed Ismail
: cased. - Dordrecht : Springer , c2006. - (International series in engineering and computer science ; v. 872)
図書 <1001795006>
Introduction to formal hardware verification / Thomas Kropf
Berlin ; New York : Springer , c1999
図書 <1001228298>
VLSI design environments / edited by George Zobrist
Amsterdam : Gordon & Breach. - Abingdon : Marston , 2000
図書 <1001229928>
Fault diagnosis of analog integrated circuits / Prithviraj Kabisatpathy, Alok Barua and Satyabroto Sinha
: hb. - Dordrecht : Springer , c2005. - (Frontiers in electronic testing ; 30)
図書 <1001691675>
Electronic circuits : handbook for design and application / U. Tietze, Ch. Schenk, E. Gamm
: hardcover. - 2nd ed. - [Berlin] : Springer , [c2008]
図書 <1001925580>
CMOS current-mode circuits for data communications / Fei Yuan
: hc. - New York : Springer , c2007. - (Analog circuits and signal processing series)
図書 <1001819589>
Trace theory and VLSI design / Jan L.A. van de Snepscheut
Berlin ; New York : Springer-Verlag , c1985. - (Lecture notes in computer science. ; 200)
図書 <1000587014>
Integrated circuit design / Alan F. Murray and H. Martin Reekie
New York : Springer-Verlag , 1987
図書 <1000589734>
VLSI technology : fundamentals and applications / editor Y. Tarui
Berlin ; New York : Springer-Verlag , c1986. - (Springer series in electrophysics. ; v. 12)
図書 <1000625717>
Symbolic simulation methods for industrial formal verification / Robert B. Jones
Boston : Kluwer Academic Publishers , c2002
図書 <1001388039>
Formal hardware verification : methods and systems in comparison / Thomas Kropf (ed.)
Berlin : Springer , c1997. - (Lecture notes in computer science ; 1287)
図書 <1000555073>
1997 proceedings : Second Annual IEEE International Conference on Innovative Systems in Silicon, Austin, Texas, USA / sponsored by IEEE Computer Society, IEEE Components, Packaging & Manufacturing Technology Society ; edited by Laurence LaForge, Hamid Bolouri, Donatella Sciuto and Stuart Tewksbury
: softbound,: casebound,: microfiche. - [New York, NY] : Institute of Electrical and Electronics Engineers. - Piscataway, NJ : Additional copies from IEEE Service Center , c1997
図書 <1000672859>
Nano-CMOS circuit and physical design / Ban P. Wong ... [et al.]
Hoboken, N.J. : Wiley-Interscience , c2005
図書 <1001755504>
Integrated circuit design / Neil H.E. Weste, David Money Harris
4th ed., Global ed. - Boston ; Tokyo : Pearson , c2011
図書 <1002217650>
SystemVerilog for verification : a guide to learning the testbench language features / Chris Spear
: hdbd. - New York, N.Y. : Springer , c2006
図書 <1001775306>
Routing congestion in VLSI circuits : estimation and optimization / Prashant Saxena, Rupesh S. Shelar, Sachin S. Sapatnekar
: cased. - New York : Springer , c2007. - (Series on integrated circuits and systems)
図書 <1001836686>
Proceedings
1990- - 1994. - Washington, D.C. : IEEE Computer Society Press , c1989-
図書 <1000687471>