上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #Computer-aided engineering)
該当件数:63件
Computer aided systems theory - EUROCAST '89 : a selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain, February 26-March 4, 1989, proceedings / F. Pichler, R. Moreno-Diaz (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 410)
図書 <1000364510>
Intelligent systems for engineering : a knowledge-based approach / Ram D. Sriram
Berlin ; New York : Springer , c1997
図書 <1000554921>
Computer Aided Analysis and Optimization of Mechanical System Dynamics / edited by Edward J. Haug
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1984. - (NATO ASI Series, Series F: Computer and Systems Sciences ; 9)
電子ブック <1002996350>
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>
Robust Modal Control with a Toolbox for Use with MATLAB® / by Jean-François Magni
Boston, MA : Springer US : Imprint: Springer , 2002
電子ブック <1002992780>
Simulated Annealing: Theory and Applications / by Peter J. M. van Laarhoven, Emile H. L. Aarts
Dordrecht : Springer Netherlands : Imprint: Springer , 1987. - (Mathematics and Its Applications ; 37)
電子ブック <1002999270>
Applications of Geometric Algebra in Computer Science and Engineering / edited by Leo Dorst, Chris Doran, Joan Lasenby
Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser , 2002
電子ブック <1002989919>
Domain Decomposition Methods in Science and Engineering XX / edited by Randolph Bank, Michael Holst, Olof Widlund, Jinchao Xu
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2013. - (Lecture Notes in Computational Science and Engineering ; 91)
電子ブック <1003003824>
Solving large-scale problems in mechanics : the development and application of computational solution methods / edited by Manolis Papadrakakis
Chichester, West Sussex, England ; New York : Wiley , c1993
図書 <1000475554>
Distributed Network Systems : From Concepts to Implementations / by Weijia Jia, Wanlei Zhou
Boston, MA : Springer Science + Business Media, Inc. , 2005. - (Network Theory and Applications ; 15)
電子ブック <1002981335>
Direct Transistor-level Layout for Digital Blocks / by Prakash Gopalakrishnan, Rob A. Rutenbar
Boston, MA : Springer Science + Business Media, Inc. , 2005
電子ブック <1002983283>
Digital Design and Implementation with Field Programmable Devices
電子ブック <1002983295>
Assertion-Based Design / by Harry Foster, Adam Krolnik, David Lacey
Second Edition. - Boston, MA : Springer Science + Business Media, Inc. , 2005
電子ブック <1002983299>
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>