Jump to main content

yr 〜
yr

Search results 195

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
  • Subject HeadingDigital integrated circuits--Computer-aide......)--Congresses. Digital integrated circuits--Computer-aided design. Forma...

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
  • Subject HeadingDigital integrated circuits--Design and construction. Met...

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
  • Subject HeadingDigital integrated circuits--Computer-aide......)--Congresses. Digital integrated circuits--Design and construction--Mat...

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
  • Subject Heading...n--Congresses. Digital integrated circuits--Computer-aide......-aided design. Digital integrated circuits--Computer-aided design. Forma...

2009 formal methods in computer-aided design : (FMCAD 2009) : Austin, Texas, USA : 15-18 November 2009. : FMCAD 2009 conference : Nov 2009, Austin, TX.

2009 formal methods in computer-aided design : (FMCAD 2009) : Austin, Texas, USA : 15-18 November 2009. : FMCAD 2009 conference : Nov 2009, Austin, TX.
Paper図書
IEEEc2009.<M17-10-3132>
National Diet Library
  • Subject HeadingDigital integrated circuits -- Computer-ai......-- Congresses. Digital integrated circuits -- Design and construction --...

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
  • Subject HeadingDigital integrated circuits -- Computer-ai......-- Congresses. Digital integrated circuits -- Design and construction --...

2012 formal methods in computer-aided design : (FMCAD 2012) : Cambridge, United Kingdom : 22-25 October 2012 : international conference on formal methods in computer-aided design : 12th conference on formal methods in computer-aided design : Oct 2012, Cambridge, UK.

2012 formal methods in computer-aided design : (FMCAD 2012) : Cambridge, United Kingdom : 22-25 October 2012 : international conference on formal methods in computer-aided design : 12th conference on formal methods in computer-aided design : Oct 2012, Cambridge, UK.
Paper図書
IEEEc2012.<M17-13-3179>
National Diet Library
  • Subject HeadingDigital integrated circuits--Computer-aided design--Congr...

Digital design : with an introduction to the Verilog HDL, VHDL, and SystemVerilog 6th ed., global ed

Digital design : with an introduction to the Verilog HDL, VHDL, and SystemVerilog 6th ed., global ed
Paper図書
M. Morris Mano, Michael D. CilettiPearson Educationc2019
Other Libraries in Japan
  • Subject HeadingLogic design Digital integrated circuits
  • Subject Heading (ID)Logic design Digital integrated circuits

Evolvable systems: from biology to hardware : 8th international conference, ICES 2008 : Prague, Czech Republic, September 21-24, 2008 : proceedings. : Sep 2008, Prague, Czech Republic. (Lecture Notes in Computer Science ; 5216)

Evolvable systems: from biology to hardware : 8th international conference, ICES 2008 : Prague, Czech Republic, September 21-24, 2008 : proceedings. : Sep 2008, Prague, Czech Republic. (Lecture Notes in Computer Science ; 5216)
Paper図書
Springerc2008.<M17-09-1069>
National Diet Library
  • Subject Heading...-- Congresses. Digital integrated circuits -- Design and construction --...

Digital electronic circuits : the comprehensive view

Digital electronic circuits : the comprehensive view
Paper図書
Alexander AxelevitchWorld Scientificc2019
Other Libraries in Japan
  • Subject HeadingDigital electronics Digital integrated circuits Logic circuits
  • Subject Heading (ID)Digital electronics Digital integrated circuits Logic circuits

Digital design : with an introduction to the Verilog HDL, VHDL, and SystemVerilog 6th ed

Digital design : with an introduction to the Verilog HDL, VHDL, and SystemVerilog 6th ed
Paper図書
M. Morris Mano, Michael D. CilettiPearsonc2018
Other Libraries in Japan
  • Subject HeadingLogic design Digital integrated circuits
  • Subject Heading (ID)Logic design Digital integrated circuits

Evolvable hardware / Tetsuya Higuchi, Yong Liu, Xin Yao, (eds.). (Genetic and evolutionary computation series)

Evolvable hardware / Tetsuya Higuchi, Yong Liu, Xin Yao, (eds.). (Genetic and evolutionary computation series)
Paper図書
Springerc2006.<M154-B41>
National Diet Library
  • Subject Heading...puter science) Digital integrated circuits -- Design and construction. L...

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
  • Subject HeadingDigital integrated circuits -- Computer-ai......-- Congresses. Digital integrated circuits -- Design and construction --...

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
  • Subject HeadingDigital integrated circuits -- Computer-ai......-- Congresses. Digital integrated circuits -- Design and construction --...

CMOS digital integrated circuits : analysis and design 4th ed

CMOS digital integrated circuits : analysis and design 4th ed
Paper図書
Sung-Mo (Steve) Kang, Yusuf Leblebici, Chulwoo KimMcGraw-Hill Educationc2015
Other Libraries in Japan
  • Subject HeadingMetal oxide semiconductors, Complementary Digital integrated circuits
  • Subject Heading (ID)Metal oxide semiconductors, Complementary Digital integrated circuits
  • Alternative TitleCMOS digital integrated circuits : analysis & design

CMOS digital integrated circuits : analysis and design : pbk 4th ed., international ed

CMOS digital integrated circuits : analysis and design : pbk 4th ed., international ed
Paper図書
Sung-Mo (Steve) Kang, Yusuf Leblebici, Chulwoo KimMcGraw-Hill Education2015
Other Libraries in Japan
  • Subject HeadingMetal oxide semiconductors, Complementary Digital integrated circuits
  • Subject Heading (ID)Metal oxide semiconductors, Complementary Digital integrated circuits
  • Alternative TitleCMOS digital integrated circuits : analysis & design

FPGA-based implementation of signal processing systems : cloth 2nd ed

FPGA-based implementation of signal processing systems : cloth 2nd ed
Paper図書
Roger Woods ... [et al.]Wiley2017
Other Libraries in Japan
  • Subject HeadingSignal processing -- Digital techniques Digital integrated circuits Field programmable gate array...
  • Subject Heading (ID)Signal processing -- Digital techniques Digital integrated circuits Field programmable gate array...

Evolvable systems: from biology to hardware : 5th international conference, ICES 2003, Trondheim, Norway, March 17-20, 2003 : proceedings. : Mar 2003, Trondheim, Norway. (Lecture Notes in Computer Science ; 2606)

Evolvable systems: from biology to hardware : 5th international conference, ICES 2003, Trondheim, Norway, March 17-20, 2003 : proceedings. : Mar 2003, Trondheim, Norway. (Lecture Notes in Computer Science ; 2606)
Paper図書
Springerc2003.<M17-03-1144>
National Diet Library
  • Subject Heading...-- Congresses. Digital integrated circuits -- Design and construction --...

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
  • Subject Heading集積回路. 励起. 半導体. Digital integrated circuits. Electronic excitation. Semic...

Evolvable systems: from biology to hardware : 4th international conference, ICES 2001 : Tokyo, Japan, October 3-5, 2001 : proceedings. : Oct 2001, Tokyo, Japan. (Lecture Notes in Computer Science ; 2210)

Evolvable systems: from biology to hardware : 4th international conference, ICES 2001 : Tokyo, Japan, October 3-5, 2001 : proceedings. : Oct 2001, Tokyo, Japan. (Lecture Notes in Computer Science ; 2210)
Paper図書
Springerc2001.<M17-03-2327>
National Diet Library
  • Subject Heading...-- Congresses. Digital integrated circuits -- Design and construction --...
RSS