東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: Computer-aided design Congresses)
該当件数:26件
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)
図書
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)
Computer aided learning and instruction in science and engineering : Third International Conference, CALISCE '96, San Sebastian, Spain, July 29-31, 1996 : proceedings / A. Díaz de Ilarraza Sánchez, I. Fernández de Castro, (eds.)
Berlin ; New York : Springer , c1996. - (Lecture notes in computer science ; 1108)
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.)
Berlin : Springer-Verlag , c1996. - New York. - (Lecture notes in computer science ; 1030)
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 : Springer-Verlag , c1997. - New York. - Tokyo. - (Lecture notes in computer science ; 1333)
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 : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 585)
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.)
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 763)
University programs in computer-aided engineering, design, and manufacturing : proceedings of the Seventh annual conference, University of Wyoming, Laramie, Wyoming, July 23-26, 1989 / edited by Ken P. Chong, Bruce R. Dewey, and Kynric M. Pell
New York, N.Y. : American Society of Civil Engineers , c1989
Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings / E.M. Clarke, R.P. Kurshan, (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1991. - (Lecture notes in computer science ; 531)
Electronic computation : proceedings of the Ninth Conference on Electronic Computation : UAB Continuing Education Center, University of Alabama at Birmingham, February 23-26, 1986 / sponsored by the Committee on Electronic Computation of the Structural Division of the American Society of Civil Engineers ; edited by Kenneth M. Will
New York, N.Y. : American Society of Civil Engineers , c1986
Proceedings of the Eighth Conference on Electronic Computation : Continuing Education Center, University of Houston, Texas, February 21-23, 1983 / James K. Nelson Jr., Editor ; sponsored by the Committee on Electronic Computation of the Structural Division of the American Society of Civil Engineers ; hosts, Texas Section, ASCE, Dept. of Civil Engineering, University of Houston
New York, N.Y. : American Society of Civil Engineers , c1983
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.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1166)
Computer-aided cooperative product development : MIT-JSME Workshop, MIT, Cambridge, USA, November 20/21, 1989 : proceedings / D. Sriram, R. Logcher, S. Fukuda, (eds.)
Berlin : Springer-Verlag , c1991. - Tokyo. - (Lecture notes in computer science ; 492)
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)
Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings / George J. Milne, Laurence Pierre (eds.)
Berlin : Springer-Verlag , c1993. - Tokyo. - (Lecture notes in computer science ; 683)
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)
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 : Springer , c1999. - Tokyo. - (Lecture notes in computer science ; 1703)
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)
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 : Springer , c1998. - New York. - (Lecture notes in computer science ; 1522)
Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings / Ganesh Gopalakrishnan, Phillip Windley, (eds.)
VLSI : systems on a chip : IFIP TC10 WG10.5 Tenth International Conference on Very Large Scale Integration (VLSI'99), December 1-4, 1999, Lisboa, Portugal / edited by Luis Miguel Silveira, Sriniva
Boston : Kluwer Academic , c2000. - Dordrecht. - London. - (The international federation for information processing ; 34)
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 : Springer , c1995. - New York. - (Lecture notes in computer science ; 987)
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.)