上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: Integrated circuits Very large scale integration Congresses)
該当件数:24件
Advanced research in VLSI : proceedings of the Fifth MIT Conference, March 1988 / edited by Jonathan Allen and F. Thomson Leighton
Cambridge, Mass. : MIT Press , c1988
図書 <1001984707>
Digest of technical papers / [Symposium on VLSI Circuits]
1990 - 1998. - Tokyo : Business Center for Academic Societies Japan , 1987-
図書 <1000690012>
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>
VLSI algorithms and architectures : Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986 : proceedings / edited by F. Makedon ... [et al.]
Berlin ; New York : Springer-Verlag , c1986. - (Lecture notes in computer science. ; 227)
図書 <1000587396>
Analog VLSI implementation of neural systems / edited by Carver Mead and Mohammed Ismail
Boston : Kluwer Academic Publishrs , c1989. - (The Kluwer international series in engineering and computer science ; SECS 80 . VLSI, computer architecture and digital signal processing)
図書 <1000355236>
Advanced research in VLSI : proceedings of the 1987 Stanford Conference / edited by Paul Losleben
Cambridge, Mass. : MIT Press , c1987
図書 <1001984754>
Proceedings, IEEE International Conference on Computer Design : VLSI in Computers / sponsored by IEEE Computer Society and IEEE Circuits and Systems Society technical committees on Large Scale Systems ... [et al.]
1986 - 1998. - Silver Spring, Md. : IEEE Computer Society Press , [198-?]-
図書 <1000680493>
VLSI algorithms and architectures : 3rd Aegean Workshop on Computing, AWOC 88, Corfu, Greece, June 28-July 1, 1988 : proceedings / J.H. Reif (ed.)
Berlin ; New York : Springer-Verlag , c1988. - (Lecture notes in computer science. ; 319)
図書 <1000587518>
Proceedings / IEEE/Cornell Conference on Advanced Concepts in High Speed Semiconductor Devices and Circuits, August 7-9, 1989, Cornell University, Ithaca, New York ; C.O. Bozler, general chairman ; sponsored by IEEE Electron Devices Society, in cooperation with IEEE Microwave Theory and Techniques Society and Cornell University
Piscataway, NJ (445 Hoes La., Piscataway 08854) : Institute of Electrical and Electronics Engineers , c1989
図書 <1000408448>
VLSI and computers : proceedings / First International Conference on Computer Technology, Systems, and Applications ; edited by Walter E. Proebster and Hans Reiner. --
Washington, D.C. : Computer Society Press of the IEEE , c1987
図書 <1000631533>
Proceedings / IEEE/Cornell Conference on Advanced Concepts in High Speed Semiconductor Devices and Circuits, August 10-12, 1987, Cornell University, Ithaca, New York ; sponsored by IEEE Electron Devices Society in cooperation with IEEE Microwave Theory and Techniques Society and Cornell University
New York, NY : Institute of Electrical and Electronics Engineers , c1987
図書 <1000408447>
Proceedings / IEEE/Cornell Conference on Advanced Concepts in High Speed Semiconductor Devices and Circuits
1995-,1995,1997. - New York, N.Y. : IEEE , c1984-
図書 <1000694062>
Advanced high speed devices / editors, Michael S. Shur, Paul Maki
Hackensack, N.J. : World Scientific , c2010. - (Selected topics in electronics and systems ; v. 51)
図書 <1002192971>
Hardware specification, verification and synthesis : mathematical aspects : Mathematical Sciences Institute Workshop, Cornell University, Ithaca, New York, USA, July 5-7, 1989, proceedings / M. Leeser, G. Brown (eds.)
GW,: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 408)
図書 <1000359625>
System-on-chip methodologies & design languages / edited by Peter J. Ashenden, Jean P. Mermet and Ralf Seepold
Boston : Kluwer Academic Publishers , c2001. - (The ChDL series)
図書 <1001309262>
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 : 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 : 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 : 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>