Jump to main content

yr 〜
yr

Search results 59

2015 20th Asia and South Pacific design automation conference : (ASP-DAC 2015) : Chiba, Japan : 19-22 January 2015 : Jan 2015, Chiba, Japan.

2015 20th Asia and South Pacific design automation conference : (ASP-DAC 2015) : Chiba, Japan : 19-22 January 2015 : Jan 2015, Chiba, Japan.
Paper図書
IEEE[2015]<M17-17-643>
National Diet Library
  • Subject Heading...ta processing. Integrated circuits--Computer-aided design. System design.

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 Heading...esses. Digital integrated circuits--Computer-aided design. Formal methods (Computer scie...

2016 21st Asia and South Pacific design automation conference : (ASP-DAC 2016) : Macao : 25-28 January 2016 : Jan 2016, Macao, China.

2016 21st Asia and South Pacific design automation conference : (ASP-DAC 2016) : Macao : 25-28 January 2016 : Jan 2016, Macao, China.
Paper図書
IEEE[2016]<M17-17-2316>
National Diet Library

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...esign. Digital integrated circuits--Computer-aided design. Formal methods (Computer scie...

2013 18th Asia and South Pacific design automation conference : (ASP-DAC 2013) : Yokohama, Japan : 22-25 January 2013 : Jan 2013, Yokohama, Japan.

2013 18th Asia and South Pacific design automation conference : (ASP-DAC 2013) : Yokohama, Japan : 22-25 January 2013 : Jan 2013, Yokohama, Japan.
Paper図書
IEEEc2013.<M17-14-7>
National Diet Library

2011 16th Asia and South Pacific design automation conference : (ASP-DAC 2011) : Yokohama, Japan : 25-28 January 2011 : Jan 2011, Yokohama, Japan.

2011 16th Asia and South Pacific design automation conference : (ASP-DAC 2011) : Yokohama, Japan : 25-28 January 2011 : Jan 2011, Yokohama, Japan.
Paper図書
IEEEc2011.<M17-12-1289>
National Diet Library

2014 19th Asia and South Pacific design automation conference : (ASP-DAC 2014) : Singapore : 20-23 January 2014 : Asia South Pacific DAC design automation conference : annual event of ASP-DAC : Jan 2014, Singapore.

2014 19th Asia and South Pacific design automation conference : (ASP-DAC 2014) : Singapore : 20-23 January 2014 : Asia South Pacific DAC design automation conference : annual event of ASP-DAC : Jan 2014, Singapore.
Paper図書
IEEE[2014]<M17-15-1797>
National Diet Library

2010 15th Asia and South Pacific design automation conference : (ASP-DAC 2010) : Taipei, Taiwan : 18-21 January 2010. : Jan 2010, Taipei, Taiwan.

2010 15th Asia and South Pacific design automation conference : (ASP-DAC 2010) : Taipei, Taiwan : 18-21 January 2010. : Jan 2010, Taipei, Taiwan.
Paper図書
IEEEc2010.<M17-11-1399>
National Diet Library

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

15th symposium on integrated circuits and systems design : proceedings : 9-14 September 2002 -- Porto Alegre, Brazil. : Sep 2002, Porto Alegre, Brazil.

15th symposium on integrated circuits and systems design : proceedings : 9-14 September 2002 -- Porto Alegre, Brazil. : Sep 2002, Porto Alegre, Brazil.
Paper図書
IEEE Computer Societyc2002.<M17-04-567>
National Diet Library

Proceedings of the ASP-DAC 2009 : Asia and South Pacific design automation conference 2009 : January 19-22, 2009 : Pacifico Yokohama : Yokohama, Japan. : Jan 2009, Yokohama, Japan.

Proceedings of the ASP-DAC 2009 : Asia and South Pacific design automation conference 2009 : January 19-22, 2009 : Pacifico Yokohama : Yokohama, Japan. : Jan 2009, Yokohama, Japan.
Paper図書
IEEEc2009.<M17-10-217>
National Diet Library

14th symposium on integrated circuits and systems design : proceedings : 10-15 September 2001 -- Pirenopolis, Brazil. : Sep 2001, Pirenopolis, Brazil.

14th symposium on integrated circuits and systems design : proceedings : 10-15 September 2001 -- Pirenopolis, Brazil. : Sep 2001, Pirenopolis, Brazil.
Paper図書
IEEE Computer Societyc2001.<M17-03-4078>
National Diet Library

Proceedings of the ASP-DAC 2004 : Asia and South Pacific design automation conference : 2004 : January 27-January 30, 2004 : Pacifico Yokohama : Yokohama, Japan. : Jan 2004, Yokohama, Japan.

Proceedings of the ASP-DAC 2004 : Asia and South Pacific design automation conference : 2004 : January 27-January 30, 2004 : Pacifico Yokohama : Yokohama, Japan. : Jan 2004, Yokohama, Japan.
Paper図書
IEEEc2004.<M17-05-1706>
National Diet Library

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

Proceedings of the ASP-DAC 2007 : Asia and South Pacific design automation conference 2007 : January 23-26, 2007 : Pacifico Yokohama : Yokohama, Japan. : designers' forum : Jan 2007, Yokohama, Japan.

Proceedings of the ASP-DAC 2007 : Asia and South Pacific design automation conference 2007 : January 23-26, 2007 : Pacifico Yokohama : Yokohama, Japan. : designers' forum : Jan 2007, Yokohama, Japan.
Paper図書
Institute of Electrical and Electronics Engineersc2007.<M17-07-2361>
National Diet Library

Proceedings of the ASP-DAC 2003 : Asia and South Pacific design automation conference 2003 : January 21-January 24, 2003 : Kitakyushu International Conference Center : Kitakyushu, Japan. : Jan 2003, Kitakyusyu, Japan.

Proceedings of the ASP-DAC 2003 : Asia and South Pacific design automation conference 2003 : January 21-January 24, 2003 : Kitakyushu International Conference Center : Kitakyushu, Japan. : Jan 2003, Kitakyusyu, Japan.
Paper図書
IEEEc2003.<M17-04-1391>
National Diet Library

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

Proceedings of the ASP-DAC 2006 : Asia and South Pacific design automation conference 2006 : January 24-January 27, 2006 : Pacifico Yokohama : Yokohama, Japan. : ASP-DAC2006 : Jan 2006, Yokohama, Japan.

Proceedings of the ASP-DAC 2006 : Asia and South Pacific design automation conference 2006 : January 24-January 27, 2006 : Pacifico Yokohama : Yokohama, Japan. : ASP-DAC2006 : Jan 2006, Yokohama, Japan.
Paper図書
IEEEc2006.<M17-07-1913>
National Diet Library

7th Asia and South Pacific design automation conference : 15th international conference on VLSI design : proceedings : 7-11 January 2002 : Bangalore, India. : VLSI design/ASPDAC 2002 : Jan 2002, Bangalore, India.

7th Asia and South Pacific design automation conference : 15th international conference on VLSI design : proceedings : 7-11 January 2002 : Bangalore, India. : VLSI design/ASPDAC 2002 : Jan 2002, Bangalore, India.
Paper図書
IEEE Computer Societyc2002.<M17-03-4408>
National Diet Library

Proceedings of the ASP-DAC 2001 : Asia and South Pacific design automation conference 2001 : January 30-February 2, 2001 Pacifico Yokohama Yokohama, Japan. : Jan 2001, Yokohama, Japan.

Proceedings of the ASP-DAC 2001 : Asia and South Pacific design automation conference 2001 : January 30-February 2, 2001 Pacifico Yokohama Yokohama, Japan. : Jan 2001, Yokohama, Japan.
Paper図書
IEEEc2001.<M17-03-3272>
National Diet LibraryOther Libraries in Japan
RSS