上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: Computer-aided design Congresses)
該当件数:30件
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 '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>
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 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 '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>
Proceedings / ACM IEEE Design Automation Conference
1987 - 1998. - New York, NY : Institute of Electrical and Electronics Engineers , 1981-
図書 <1000676689>
Computer aided systems theory - CAST '94 : 4th international workshop, Ottawa, Ontario, Canada, May 16-20, 1994 : selected papers / Tuncer I. Ören, George J. Klir, (eds.)
Berlin ; New York : Springer , c1996. - (Lecture notes in computer science ; 1105)
図書 <1000541644>
Computer aided learning and instruction in science and engineering : Third International Conference, CALISCE '96, San Sebastian, Spain, July 29-31, 1996 : proceedings / A. Diaz de Ilarraza Sanchez, I. Fernandez de Castro (eds.)
Berlin ; New York : Springer , c1996. - (Lecture notes in computer science ; 1108)
図書 <1000541647>
Computer-aided cooperative product development : MIT-JSME workshop, MIT, Cambridge, USA, November 20/21, 1989 : proceedings / D. Sriram, R. Logcher, S. Fukuda (eds.)
Berlin ; New York : Springer-Verlag , c1991. - (Lecture notes in computer science ; 492)
図書 <1000648173>
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>
1996 IEEE/ACM International Conference on Computer-Aided Design, November 10-14, 1996, San Jose, California : digest of technical papers
: ACM,: IEEE. - Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press , c1996
図書 <1000548754>
1998 IEEE/ACM International Conference on Computer-Aided Design, November 8-12, 1998, San Jose, California : digest of technical papers
: ACM,: case,: microfiche. - New York : Association for Computing Machinery , c1998
図書 <0219015430>
1997 IEEE/ACM International Conference on Computer-Aided Design, November 9-13, 1997, San Jose, California : digest of technical papers
: case. - Los Alamitos, Calif : IEEE Computer Society Press , c1997
図書 <1000559099>
Second International Conference on Data and Knowledge Systems for Manufacturing and Engineering : October 16-18, 1989, Gaithersburg, MD ; sponsored by ACM SIGMOD ... [et al.]
Washington, D.C. : IEEE Computer Society Press , c1989
図書 <1000654698>
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>
Simulation of control systems : selected papers from the IFAC symposium, Vienna, Austria, 22-26 September 1986 / edited by I. Troch, P. Kopacek, and F. Breitenecker
1st ed. --. - Oxford [Oxfordshire] ; New York : Published for the International Federation of Automatic Control by Pergamon Press , 1987. - (IFAC proceedings series. ; 1987, no. 13)
図書 <1000625596>
Digest of technical papers / Sponsored by IEEE Computer Society, IEEE Circuits and Systems Society, in cooperation with IEEE Electron Devices Society
1986- - 1995. - New York, N.Y. : Institute of Electrical and Electronics Engineers , [19--]-
図書 <1000680505>
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>