東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(標準分類: 621.39/2)
該当件数:17件
Fuzzy rule based computer design / John R. Newport
Boca Raton : CRC Press , c1996. - (Systems engineering series)
図書
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)
The designer's guide to VHDL / Peter J. Ashenden
2nd ed. - San Francisco, Calif. : Morgan Kaufmann , c2002
Evolvable systems : from biology to hardware : First International Conference, ICES 96 Tsukuba, Japan, October 7-8, 1996 : proceedings / Tetsuya Higuchi, Masaya Iwata, Weixin Liu (eds.)
Berlin : Springer-Verlag , c1997. - Tokyo. - (Lecture notes in computer science ; 1259)
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)
Verilog HDL : a guide to digital design and synthesis / Samir Palnitkar
Mountain View, Calif. : SunSoft Press , c1996
VHDL designer's reference / by Jean-Michel Bergé [et al.]
Dordrecht : Kluwer Academic , c1992. - Boston
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.)
Berlin : Springer , c1998. - New York. - (Lecture notes in computer science ; 1522)
Verilog styles for synthesis of digital systems / David R. Smith, Paul D. Franzon
Upper Saddle River, N.J. : Prentice Hall , 2001
Introductory VHDL : from simulation to synthesis / Sudhakar Yalamanchili
Upper Saddle River, NJ : Prentice Hall , c2001
Embedded systems : new approaches to their formal description and design : an advanced course, Zürich, Switzerland, March 5-7, 1986 / A. Kündig, R.E. Bührer, J. Dähler, (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Lecture notes in computer science ; 284)
VHDL coding styles and methodologies / Ben Cohen
: alk. paper. - 2nd ed. - Boston : Kluwer Academic Publishers , c1999
FM8501 : a verified microprocessor / Warren A. Hunt, Jr
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994. - (Lecture notes in computer science ; 795 . Lecture notes in artificial intelligence)
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)
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)