東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: #Computer-aided design)
該当件数:61件
Modern VLSI design : system-on-chip design / Wayne Wolf
3rd ed. - Upper Saddle River, NJ : Prentice Hall PTR , c2002
図書
Computer-aided specification techniques / János Demetrovics, Előd Knuth, Péter Radó
Singapore : World Scientific , c1985. - Philadelphia. - (World scientific series in computer science ; vol. 1)
Computer-aided drafting and design : concepts and applications / Donald D. Voisinet
New York : Gregg Division, McGraw-Hill , c1987
Regular fabrics in deep sub-micron integrated-circuit design / by Fan Mo and Robert K. Brayton
Boston : Kluwer Academic Pub. , 2004
CAD and GIS integration / edited by Hassan A. Karimi, Burcu Akinci
Boca Raton : CRC Press , c2010
Interactive multi-objective programming as a framework for computer-aided control system design / W.-Y. Ng
Berlin : Springer-Verlag , c1989. - Tokyo. - (Lecture notes in control and information sciences ; 132)
Computer aided design : fundamentals and system architectures / J. Encarnação, E. G. Schlechtendahl
Berlin : Springer-Verlag , 1983. - New York. - (Symbolic computation ; Computer graphics)
Computer-aided verification '90 : : proceedings of a DIMACS workshop, June 18-21, 1990 / / E.M. Clarke, R.P. Kurshan, editors.
Providence : : American Mathematical Society, , c1991.. - (DIMACS series in discrete mathematics and theoretical computer science, ; vol. 3)
The computer in graphic design : from technology to style / Ronald Labuz
New York : Van Nostrand Reinhold , c1993
Geometric and algorithmic aspects of computer-aided design and manufacturing : DIMACS Workshop Computer Aided Design and Manufacturing, October 7-9, 2003, Piscataway, New Jersey / Ravi Janardan, Michiel Smid, Debasish Dutta, editors
Providence, R.I. : American Mathematical Society , 2005. - (DIMACS series in discrete mathematics and theoretical computer science ; v. 67)
Computer aided design and design automation / edited by Wai-Kai Chen
Boca Raton : CRC Press , c2009. - (The circuits and filters handbook / edited by Wai-Kai Chen)
Computer aided control system design : methods, tools, and related topics / edited by Mieczysław A. Brdyś, Krzysztof Malinowski
Singapore ; River Edge, N.J. : World Scientific , c1994
Expert aided control system design / Colin Tebbutt
London : Springer-Verlag , c1994. - Tokyo. - (Advances in industrial control)
Practical wireless data modem design / Jonathon Y.C. Cheah
Boston : Artech House , c1999. - (Artech House mobile communications library ; .). - (The Artech House mobile communications series ; .)
Verilog styles for synthesis of digital systems / David R. Smith, Paul D. Franzon
Upper Saddle River, N.J. : Prentice Hall , 2001
Technology computer aided design : simulation for VLSI MOSFET / edited by Chandan Kumar Sarkar
Envisioning cyberspace : designing 3-D electronic spaces / Peter Anders
New York : McGraw-Hill , c1999
Computer aided design : fundamentals and system architectures / José L. Encarnação, Rolf Lindner, Ernst G. Schlechtendahl
2nd., rev. and extended ed. - Berlin : Springer-Verlag , c1990. - Tokyo. - (Symbolic computation ; Computer graphics--systems and applications)
An expert systems approach to computer-aided design of multivariable systems / G. K. H. Pang, A. G. J. MacFarlane
Berlin : Springer-Verlag , c1987. - Tokyo. - (Lecture notes in control and information sciences ; 89)
Mastering autodesk 3ds max design 2010 / Mark Gerhard, Jeffrey M. Harper, Jon McFarland
Indianapolis : Wiley , c2009
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)
Computer aided design of micro- and nanoelectronic devices / Chinmay Kumar Maiti
Hackensack, N.J. ; Tokyo : World Scientific , c2017
The designer's guide to Verilog-AMS / Kenneth S. Kundert, Olaf Zinke
Boston : Kluwer Academic Pub. , c2004. - (The designer's guide book series)
Optimal networked control systems with MATLAB / Jagannathan Sarangapani, Hao Xu
: hbk. - Boca Raton : CRC Press , c2016. - (Automation and control engineering)
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)
VHDL : a logic synthesis approach / David Naylor and Simon Jones
1st ed. - London : Chapman & Hall , 1997. - New York
SolidWorks for dummies / by Greg Jankowski and Richard Doyle
pbk.. - 2nd ed. - Hoboken, NJ : Wiley , c2008. - (--For dummies)
VLSI placement and routing : the PI project / Alan T. Sherman
Berlin : Springer , c1989. - Tokyo. - (Texts and monographs in computer science)
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
CAST : methods in modelling : computer aided systems theory for the design of intelligent machines / Franz Pichler, Heinz Schwärtzel (eds.)
Berlin : Springer-Verlag , c1992. - New York
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
Semiconductors / W.M. Coughran,Jr. ... [et al.] editors
pt. 1 : us - pt. 2 : gw. - New York : Springer-Verlag , c1994. - (The IMA volumes in mathematics and its applications ; v. 58-59)
Digital design and modeling with VHDL and synthesis / K.C. Chang
Los Alamitos, Calif. : IEEE Computer Society Press , 1997
Computer-aided design and VLSI device development / Kit Man Cham ... [et al.]
Boston : Kluwer Academic Pub. , c1986. - (The Kluwer international series in engineering and computer science ; SECS 7 . VLSI, computer architecture, and digital signal processing)
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)
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
Introduction to device modeling and circuit simulation / Tor A. Fjeldly, Trond Ytterdal, and Michael Shur
New York : Wiley , c1998
VLSI physical design automation : theory and practice / Sadiq M. Sait, Habib Youssef
Farrer Road, Singapore : World Scientific , 1999. - (Lecture notes series on computing ; v. 6)
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)
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)
Electromagnetic and circuit modelling of multiconductor transmission lines / Niels Faché, Frank Olyslager, Daniël De Zutter
Oxford : Clarendon Pr. , 1993. - (The Oxford engineering science series ; 35)
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)
Computational mechanics
Vol. 1, no. 1 (1986)-. - Berlin ; New York : Springer-Verlag , 1986-
雑誌
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)