年 〜
年

検索結果 196 件

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.
紙図書
IEEE[2014]<M17-16-1394>
国立国会図書館

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

Engineering the CMOS library : enhancing digital design kits for competitive silicon
紙図書
David Doman.John Wiley & Sonsc2012.<ND386-B28>
国立国会図書館全国の図書館

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.
紙図書
IEEE[2013]<M17-15-1026>
国立国会図書館

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.
紙図書
IEEEc2010.<M17-12-3255>
国立国会図書館

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.
紙図書
IEEEc2009.<M17-10-3132>
国立国会図書館

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.
紙図書
IEEE Computer Societyc2006.<M17-07-895>
国立国会図書館

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.
紙図書
IEEEc2012.<M17-13-3179>
国立国会図書館

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)
紙図書
Springerc2008.<M17-09-1069>
国立国会図書館

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)
紙図書
Springerc2006.<M154-B41>
国立国会図書館

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)
紙図書
Springerc2004.<M17-05-912>
国立国会図書館

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)
紙図書
Springer2002.<M17-03-197>
国立国会図書館

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)
紙図書
Springerc2003.<M17-03-1144>
国立国会図書館

The dynamics of digital excitation / by Masakazu Shoji.

The dynamics of digital excitation / by Masakazu Shoji.
紙図書
Kluwer Academic Publishersc1998.<ND386-A31>
国立国会図書館

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)
紙図書
Springerc2001.<M17-03-2327>
国立国会図書館

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
紙図書
M. Morris Mano, Michael D. CilettiPearson Educationc2019
全国の図書館

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
紙図書
M. Morris Mano, Michael D. CilettiPearsonc2018
全国の図書館

Digital electronic circuits : the comprehensive view

Digital electronic circuits : the comprehensive view
紙図書
Alexander AxelevitchWorld Scientificc2019
全国の図書館

Evolvable systems: from biology to hardware : 6th international conference, ICES 2005 : Sitges, Spain, September 12-14, 2005 : proceedings. : Sep 2005, Sitges, Spain. (Lecture Notes in Computer Science ; 3637)

Evolvable systems: from biology to hardware : 6th international conference, ICES 2005 : Sitges, Spain, September 12-14, 2005 : proceedings. : Sep 2005, Sitges, Spain. (Lecture Notes in Computer Science ; 3637)
紙図書
Springerc2005.<M17-07-2099>
国立国会図書館

Digital design from the VLSI perspective : concepts for VLSI beginners

Digital design from the VLSI perspective : concepts for VLSI beginners
紙図書
Vaibbhav TaraateSpringer Nature Singaporec2023
全国の図書館

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

CMOS digital integrated circuits : analysis and design : pbk 4th ed., international ed
紙図書
Sung-Mo (Steve) Kang, Yusuf Leblebici, Chulwoo KimMcGraw-Hill Education2015
全国の図書館