Jump to main content

yr 〜
yr

Search results 65

2013 formal methods in computer-aided design : (FMCAD 2013) : Portland, Oregon, USA : 20-23 October 2013 : international conference on formal methods in computer-aided design : FMCAD graduate student forum : joint MEMOCODE/FMCAD tutorial : Oct 2013, Portland, OR.

2013 formal methods in computer-aided design : (FMCAD 2013) : Portland, Oregon, USA : 20-23 October 2013 : international conference on formal methods in computer-aided design : FMCAD graduate student forum : joint MEMOCODE/FMCAD tutorial : Oct 2013, Portland, OR.
Paper図書
IEEE[2013]<M17-15-1026>
National Diet Library
  • LCCTK7874.65

2014 formal methods in computer-aided design : (FMCAD 2014) : Lausanne, Switzerland : 21-24 October 2014 : international conference on formal methods in computer-aided design : FMCAD 2014 graduate student forum : Oct 2014, Lausanne, Switzerland.

2014 formal methods in computer-aided design : (FMCAD 2014) : Lausanne, Switzerland : 21-24 October 2014 : international conference on formal methods in computer-aided design : FMCAD 2014 graduate student forum : Oct 2014, Lausanne, Switzerland.
Paper図書
IEEE[2014]<M17-16-1394>
National Diet Library
  • LCCTK7874.65

Engineering the CMOS library : enhancing digital design kits for competitive silicon

Engineering the CMOS library : enhancing digital design kits for competitive silicon
Paper図書
David Doman.John Wiley & Sonsc2012.<ND386-B28>
National Diet LibraryOther Libraries in Japan
  • LCCTK7874.65

2010 formal methods in computer-aided design : (FMCAD 2010) : Lugano, Switzerland : 20-23 October 2010 : Oct 2010, Lugano, Switzerland.

2010 formal methods in computer-aided design : (FMCAD 2010) : Lugano, Switzerland : 20-23 October 2010 : Oct 2010, Lugano, Switzerland.
Paper図書
IEEEc2010.<M17-12-3255>
National Diet Library
  • LCCTK7874.65

2010 international symposium on system on chip : (SOC 2010) : Tampere, Finland : 29-30 September 2010 : international symposium on system-on-chip 2010 : 12th annual SoC event : Sep 2010, Tampere, Finland.

2010 international symposium on system on chip : (SOC 2010) : Tampere, Finland : 29-30 September 2010 : international symposium on system-on-chip 2010 : 12th annual SoC event : Sep 2010, Tampere, Finland.
Paper図書
IEEEc2010.<M17-12-735>
National Diet Library
  • LCCTK7874.65

Timing analysis and simulation for signal integrity engineers / Greg Edlund. (Prentice Hall modern semiconductor design series)

Timing analysis and simulation for signal integrity engineers / Greg Edlund. (Prentice Hall modern semiconductor design series)
Paper図書
Prentice Hallc2008.<ND386-B13>
National Diet Library
  • LCCTK7874.65

Proceedings of formal methods in computer aided design : 12-16 November 2006, San Jose, California, USA. : international conference on formal methods in computer aided design : Nov 2006, San Jose, CA.

Proceedings of formal methods in computer aided design : 12-16 November 2006, San Jose, California, USA. : international conference on formal methods in computer aided design : Nov 2006, San Jose, CA.
Paper図書
IEEE Computer Societyc2006.<M17-07-895>
National Diet Library
  • LCCTK7874.65

Formal methods in computer-aided design : 5th international confrence [i.e. conference], FMCAD 2004 : Austin, Texas, USA, November 15-17, 2004 : proceedings. : Nov 2004, Austin, TX. (Lecture Notes in Computer Science ; 3312)

Formal methods in computer-aided design : 5th international confrence [i.e. conference], FMCAD 2004 : Austin, Texas, USA, November 15-17, 2004 : proceedings. : Nov 2004, Austin, TX. (Lecture Notes in Computer Science ; 3312)
Paper図書
Springerc2004.<M17-05-912>
National Diet Library
  • LCCTK7874.65

International symposium on system-on-chip : November 19-21, 2003 : Tampere, Finland : proceedings. : SoC 2003 : 5th annual SoC : Nov 2003, Tampere, Finland.

International symposium on system-on-chip : November 19-21, 2003 : Tampere, Finland : proceedings. : SoC 2003 : 5th annual SoC : Nov 2003, Tampere, Finland.
Paper図書
IEEEc2003.<M17-04-2951>
National Diet Library
  • LCCTK7874.65

Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings. : Nov 2002, Portland, OR. (Lecture Notes in Computer Science ; 2517)

Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings. : Nov 2002, Portland, OR. (Lecture Notes in Computer Science ; 2517)
Paper図書
Springer2002.<M17-03-197>
National Diet Library
  • LCCTK7874.65

Digitally-assisted analog and analog-assisted digital IC design : hardback

Digitally-assisted analog and analog-assisted digital IC design : hardback
Paper図書
edited by Xicheng JiangCambridge University Press2015
Other Libraries in Japan
  • LCCTK7874.65

Top-down digital VLSI design : from architectures to gate-level circuits and FPGAS

Top-down digital VLSI design : from architectures to gate-level circuits and FPGAS
Paper図書
Hubert KaeslinMorgan Kaufmann is an imprint of Elsevierc2015
Other Libraries in Japan
  • LCCTK7874.65

The art of hardware architecture : design methods and techniques for digital circuits : softcover

The art of hardware architecture : design methods and techniques for digital circuits : softcover
Paper図書
Mohit AroraSpringerc2012
Other Libraries in Japan
  • LCCTK7874.65

The dynamics of digital excitation / by Masakazu Shoji.

The dynamics of digital excitation / by Masakazu Shoji.
Paper図書
Kluwer Academic Publishersc1998.<ND386-A31>
National Diet Library
  • LCCTK7874.65

Digital integrated circuits : analysis and design 2nd ed

Digital integrated circuits : analysis and design 2nd ed
Paper図書
John E. AyersCRC Pressc2010
Other Libraries in Japan
  • LCCTK7874.65

2008 formal methods in computer aided design, Portland, Oregon, USA, 17-20 November 2008

2008 formal methods in computer aided design, Portland, Oregon, USA, 17-20 November 2008
Paper図書
edited by Alessandro Cimatti, Robert B. JonesIEEEc2008
Other Libraries in Japan
  • LCCTK7874.65

Digital integrated circuit design : from VLSI architectures to CMOS fabrication

Digital integrated circuit design : from VLSI architectures to CMOS fabrication
Paper図書
Hubert KaeslinCambridge University Press2008
Other Libraries in Japan
  • LCCTK7874.65

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. (Lecture notes in computer science)

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. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1995.<M15-A9584>
National Diet Library
  • LCCTK7874.65

Timing analysis and simulation for signal integrity engineers

Timing analysis and simulation for signal integrity engineers
Paper図書
Greg EdlundPearson Educationc2008
Other Libraries in Japan
  • LCCTK7874.65

Proceedings of formal methods in computer aided design, 12-16 November, 2006, San Jose, California, USA

Proceedings of formal methods in computer aided design, 12-16 November, 2006, San Jose, California, USA
Paper図書
IEEE Computer Societyc2006
Other Libraries in Japan
  • LCCTK7874.65
RSS