年 〜
年

検索結果 14 件

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>
国立国会図書館

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>
国立国会図書館

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>
国立国会図書館

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>
国立国会図書館
  • 件名Digital integrated circuits -- Computer-aided design -- Congresses. Integrated cir...

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>
国立国会図書館
  • 件名Digital integrated circuits -- Computer-aided design -- Congresses. Integrated cir...

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>
国立国会図書館
  • 件名Digital integrated circuits -- Computer-aided design -- Congresses. Integrated cir...

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>
国立国会図書館
  • 件名Digital integrated circuits -- Computer-aided design -- Congresses. Integrated cir...

Digital design using VHDL : a systems approach : hardback

Digital design using VHDL : a systems approach : hardback
紙図書
William J. Dally, R. Curtis Harting, Tor M. AamodtCambridge University Press2016
全国の図書館
  • 件名Digital integrated circuits -- Computer-aided design Electronic digital computers ...
  • 件名（識別子）Digital integrated circuits -- Computer-aided design Electronic digital computers ...

Modern VLSI design : systems on silicon 2nd ed

Modern VLSI design : systems on silicon 2nd ed
紙図書
Wayne WolfPrentice Hall PTRc1998
全国の図書館
  • 件名Digital integrated circuits -- Computer-aided design Logic circuits -- Computer-ai...
  • 件名（識別子）Digital integrated circuits -- Computer-aided design Logic circuits -- Computer-ai...

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
紙図書
edited by Alessandro Cimatti, Robert B. JonesIEEEc2008
全国の図書館
  • 件名Digital integrated circuits -- Computer-aided design -- Congresses Integrated circ...
  • 件名（識別子）Digital integrated circuits -- Computer-aided design -- Congresses Integrated circ...

Formal methods in computer aided design, FMCAD 2007, November 11-14, 2007, Austin, Texas, USA : proceedings

Formal methods in computer aided design, FMCAD 2007, November 11-14, 2007, Austin, Texas, USA : proceedings
紙図書
IEEE Computer Societyc2007
全国の図書館
  • 件名Digital integrated circuits -- Computer-aided design -- Congresses Integrated circ...
  • 件名（識別子）Digital integrated circuits -- Computer-aided design -- Congresses Integrated circ...

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
紙図書
IEEE Computer Societyc2006
全国の図書館
  • 件名Digital integrated circuits -- Computer-aided design -- Congresses Integrated circ...
  • 件名（識別子）Digital integrated circuits -- Computer-aided design -- Congresses Integrated circ...

Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings

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.)Springerc2000
全国の図書館
  • 件名... -- Congresses Digital integrated circuits -- Computer-aided design -- Congresses Computer-aided ...
  • 件名（識別子）... -- Congresses Digital integrated circuits -- Computer-aided design -- Congresses Computer-aided ...

検索結果は以上です。