上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #Computer aided design)
該当件数:90件
A computer-aided design and synthesis environment for analog integrated circuits / by Geert van der Plas, Georges Gielen and Willy Sansen
Boston : Kluwer Academic Publishers , c2002. - (The Kluwer international series in engineering and computer science ; SECS 672)
図書 <1001380976>
Analysis and Design of Analog Integrated Circuits
5th ed, International student version. - Hoboken : J. Wiley , c2010
図書 <1002086257>
High performance ASIC design : using synthesizable domino logic in an ASIC flow / Razak Hossain
: hard back. - Cambridge, U.K. ; New York : Cambridge University Press , 2008
図書 <1002086259>
Computer-aided design and manufacturing / Farid M.L. Amirouche
Englewood Cliffs, N.J. : Prentice Hall , c1993
図書 <1000473943>
Power optimization and synthesis at behavioral and system levels using formal methods / by Jui-ming Chang, Massoud Pedram
Boston : Kluwer , c1999
図書 <1001181890>
Mathematics and CAD / series editor, Yvon Gardan ; [translated by Meg Tombs]
v. 1. - 1st MIT Press ed. --. - Cambridge, Mass. : MIT Press , 1986-
図書 <1000639016>
Principles of verifiable RTL design : a functional coding style supporting verification processes in Verilog / Lionel Bening and Harry Foster
2nd ed. - Boston : Kluwer Academic Publishers , c2001
図書 <1001305217>
Computer aided systems theory - EUROCAST '95 : a selection of papers from the fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995 : proceedings / F. Pichler, R. Moreno-Díaz, R. Albrecht (eds.)
: gw. - Berlin ; New York : Springer-Verlag , c1996. - (Lecture notes in computer science ; 1030)
図書 <1000533623>
Computer aided systems theory - EUROCAST '97 : a selection of papers from the 6th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997 : proceedings / Franz Pichler, Roberto Moreno-Díaz, (Eds.)
Berlin ; New York ; Tokyo : Springer-Verlag , c1997. - (Lecture notes in computer science ; 1333)
図書 <1000556628>
Computer aided systems theory - EUROCAST '93 : a selection of papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26, 1993 : proceedings / F. Pichler, R. Moreno Díaz, (eds.)
: us,: gw. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 763)
図書 <1000491577>
System design automation : fundamentals, principles, methods, examples / edited by Renate Merker and Wolfgand Schwarz
Boston : Kluwer Academic Publishers , c2001
図書 <1001276820>
Computer aided systems theory - EUROCAST 2001 : a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 : revised papers / Roberto Moreno-Díaz, Bruno Buchberger, José-Luis Freire (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2178)
図書 <1001347900>
Computer aided systems theory - EUROCAST '99 : a selection of papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austria, September 29-October 2, 1999 : proceedings / Franz Pichler, Roberto Moreno-Díaz, Peter Kopacek (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1798)
図書 <1001180862>
Computer aided systems theory - EUROCAST '91 : a selection of papers from the Second International Workshop on Computer Aided Systems Theory, Krems, Austria, April 15-19, 1991 : proceedings / F. Pichler, R. Moreno Díaz (eds.)
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 585)
図書 <1000445129>
Computer integrated machine design / Charles E. Wilson
London : Prentice-Hall International. - Upper Saddle River, N. J. : Prentice Hall , c1997
図書 <1001078786>
Computer technology in biomaterials science and engineering / edited by Jos Vander Sloten
Chichester ; New York : J. Wiley , c2000. - (Biomaterials science and engineering series)
図書 <1001133680>
Computer-aided mechanical design and analysis / V Ramamurti
3rd ed. - New York : McGraw-Hill , c1998
図書 <1000716184>
Applied geometry for computer graphics and CAD / Duncan Marsh
2nd ed. - New York : Springer , 2005. - (Springer undergraduate mathematics series)
図書 <1001701482>
Practical problems in VLSI physical design automation / Sung Kyu Lim
: hbk. - [Dordrecht] : Springer , c2008
図書 <1002001889>
Adaptive computing in design and manufacture : the integration of evolutionary and adaptive computing technologies with product/system design and realisation / I.C. Parmee, ed
alk. paper. - London ; New York : Springer , c1998
図書 <1000560309>