yr 〜
yr

Search results 516

2016 7th international conference on computer aided design for thin-film transistor technologies (CAD-TFT 2016) : Beijing, China : 26-28 October 2016 : Oct 2016, Beijing, China.

2016 7th international conference on computer aided design for thin-film transistor technologies (CAD-TFT 2016) : Beijing, China : 26-28 October 2016 : Oct 2016, Beijing, China.
Paper図書
IEEE[2016]<M17-18-149>
National Diet Library
  • Subject HeadingThin film transistors--Design--Congresses. Computer-aided design--Congresses.

2014 IEEE/ACM international conference on computer-aided design : (ICCAD 2014) : San Jose, California, USA : 2-6 November 2014 : 33rd ICCAD : Nov 2014, San Jose, CA.

2014 IEEE/ACM international conference on computer-aided design : (ICCAD 2014) : San Jose, California, USA : 2-6 November 2014 : 33rd ICCAD : Nov 2014, San Jose, CA.
Paper図書
IEEE[2014]<M17-15-1707>
National Diet Library
  • Subject HeadingComputer-aided design--Congresses. Computer science--Congresses.

Proceedings of the ASME international design engineering technical conferences and computers and information in engineering conference--2019-- : presented at ASME 2019 international design engineering technical conferences and computers and information in engineering conference : August 18-21, 2019 : Anaheim, California, USA : IDETC/CIE2019 : Aug 2019, Anaheim, CA.

Proceedings of the ASME international design engineering technical conferences and computers and information in engineering conference--2019-- : presented at ASME 2019 international design engineering technical conferences and computers and information in engineering conference : August 18-21, 2019 : Anaheim, California, USA : IDETC/CIE2019 : Aug 2019, Anaheim, CA.
Paper図書
The American Society of Mechanical Engineers[2020]<M17-20-1375>
National Diet Library
  • Subject Heading...g--Congresses. Computer-aided design--Congresses. Mechanical engineering--Data ...

2013 IEEE conference on computer aided control system design : (CACSD 2013) : Hyderabad, India : 28-30 August 2013 : MSC 2013 : conference on computer-aided control system design and systems with uncertainty : MSC-2013 : 7th multi-conference on systems and control : CACSD-SU : Aug 2013, Hyderabad, India.

2013 IEEE conference on computer aided control system design : (CACSD 2013) : Hyderabad, India : 28-30 August 2013 : MSC 2013 : conference on computer-aided control system design and systems with uncertainty : MSC-2013 : 7th multi-conference on systems and control : CACSD-SU : Aug 2013, Hyderabad, India.
Paper図書
IEEE[2013]<M17-14-2762>
National Diet Library
  • Subject HeadingAutomatic control--Congresses. Computer-aided design--Congresses.

2015 14th international conference on computer-aided design and computer graphics : (CAD/Graphics 2015) : Xi'an, China : 26-28 August 2015 : Aug 2015, Xi'an, China.

2015 14th international conference on computer-aided design and computer graphics : (CAD/Graphics 2015) : Xi'an, China : 26-28 August 2015 : Aug 2015, Xi'an, China.
Paper図書
IEEE[2015]<M17-17-489>
National Diet Library
  • Subject HeadingComputer-aided design--Congresses. Computer graphics--Congresses...

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--Congresses. Integrated cir......n--Congresses. Computer-aided design--Congresses. Formal methods (Computer scie...

2013 12th international conference on the experience of designing and application of CAD systems in microelectronics : (CADSM 2013) : Lviv, Ukraine : 19-23 February 2013 : 12 міжнародної науково-технічної конференції CADSM 2013 : Feb 2013, Lviv, Ukraine.

2013 12th international conference on the experience of designing and application of CAD systems in microelectronics : (CADSM 2013) : Lviv, Ukraine : 19-23 February 2013 : 12 міжнародної науково-технічної конференції CADSM 2013 : Feb 2013, Lviv, Ukraine.
Paper図書
IEEEc2013.<M17-14-1168>
National Diet Library
  • Subject HeadingSystem design--Congresses. Microelectronics--Congresses. Computer-aided design--Congresses.

2011 12th international conference on computer-aided design and computer graphics : (CAD/Graphics 2011) : Jinan, China : 15-17 September 2011 : CADGraphics 2011 : Sep 2011, Jinan, China.

2011 12th international conference on computer-aided design and computer graphics : (CAD/Graphics 2011) : Jinan, China : 15-17 September 2011 : CADGraphics 2011 : Sep 2011, Jinan, China.
Paper図書
IEEEc2011.<M17-12-2310>
National Diet Library
  • Subject HeadingComputer-aided design--Congresses. Computer graphics--Congresses...

2013 IEEE/ACM international conference on computer-aided design : (ICCAD 2013) : San Jose, California, USA : 18-21 November 2013 : ICCAD-2013 : Nov 2013, San Jose, CA.

2013 IEEE/ACM international conference on computer-aided design : (ICCAD 2013) : San Jose, California, USA : 18-21 November 2013 : ICCAD-2013 : Nov 2013, San Jose, CA.
Paper図書
IEEEc2013.<M17-14-1827>
National Diet Library
  • Subject HeadingComputer-aided design--Congresses. System design--Congresses. Co...

2016 IEEE/ACM international conference on computer-aided design (ICCAD 2016) : Austin, Texas, USA : 7-10 November 2016 : ICCAD16 : Nov 2016, Austin, TX.

2016 IEEE/ACM international conference on computer-aided design (ICCAD 2016) : Austin, Texas, USA : 7-10 November 2016 : ICCAD16 : Nov 2016, Austin, TX.
Paper図書
IEEE[2016]<M17-18-292>
National Diet Library
  • Subject HeadingComputer-aided design--Congresses. System design--Congresses. Co...

2015 formal methods in computer-aided design : (FMCAD 2015) : Austin, Texas, USA : 27-30 September 2015 : FMCAD 2015 graduate student forum : FMCAD conference : Sep 2015, Austin, TX.

2015 formal methods in computer-aided design : (FMCAD 2015) : Austin, Texas, USA : 27-30 September 2015 : FMCAD 2015 graduate student forum : FMCAD conference : Sep 2015, Austin, TX.
Paper図書
IEEE[2015]<M17-17-2133>
National Diet Library
  • Subject Heading...puter systems--Computer-aided design--Congresses. System design--Congresses.

2015 13th international conference the experience of designing and application of CAD systems in microelectronics : (CADSM 2015) : Lviv--Polyana, Ukraine : 24-27 February 2015 : 13 міжнародної науково-технічної конференції : Feb 2015, Lviv, Ukraine.

2015 13th international conference the experience of designing and application of CAD systems in microelectronics : (CADSM 2015) : Lviv--Polyana, Ukraine : 24-27 February 2015 : 13 міжнародної науково-технічної конференції : Feb 2015, Lviv, Ukraine.
Paper図書
IEEE[2015]<M17-17-827>
National Diet Library
  • Subject HeadingComputer-aided design--Congresses. Microelectronics--Congresses....

2013 international conference on computer-aided design and computer graphics : (CAD/Graphics 2013) : Hong Kong, China : 16-18 November 2013 : 13th international conference on computer-aided design and computer graphics : Nov 2013, Hong Kong, China.

2013 international conference on computer-aided design and computer graphics : (CAD/Graphics 2013) : Hong Kong, China : 16-18 November 2013 : 13th international conference on computer-aided design and computer graphics : Nov 2013, Hong Kong, China.
Paper図書
IEEE[2013]<M17-15-2652>
National Diet Library
  • Subject HeadingComputer-aided design--Congresses. Computer graphics--Congresses...

2013 eleventh IEEE/ACM international conference on formal methods and models for codesign : (MEMOCODE 2013) : Portland, Oregon, USA : 18-20 October 2013 : 11th ACM-IEEE international conference on formal methods and models for codesign : Oct 2013, Portland, OR. CFP13MCD-PRT

2013 eleventh IEEE/ACM international conference on formal methods and models for codesign : (MEMOCODE 2013) : Portland, Oregon, USA : 18-20 October 2013 : 11th ACM-IEEE international conference on formal methods and models for codesign : Oct 2013, Portland, OR. CFP13MCD-PRT
Paper図書
IEEEc2013.<M17-14-2052>
National Diet Library
  • Subject Heading...n--Congresses. Computer-aided design--Congresses. 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
  • Subject Heading...ated circuits--Computer-aided design--Congresses. System design--Automation--Co...

2015 7th international conference on modelling, identification and control (ICMIC 2015) : Sousse, Tunisia : 18-20 December 2015 : Dec 2015, Sousse, Tunisia.

2015 7th international conference on modelling, identification and control (ICMIC 2015) : Sousse, Tunisia : 18-20 December 2015 : Dec 2015, Sousse, Tunisia.
Paper図書
IEEE[2015]<M17-17-1442>
National Diet Library
  • Subject Heading...l--Congresses. Computer-aided design--Congresses. Automatic control. Computer-a...

2012 proceedings of international conference on modelling, identification and control : (ICMIC 2012) : Wuhan, Hubei, China : 24-26 June 2012 : Jun 2012, Wuhan, China.

2012 proceedings of international conference on modelling, identification and control : (ICMIC 2012) : Wuhan, Hubei, China : 24-26 June 2012 : Jun 2012, Wuhan, China.
Paper図書
IEEEc2012.<M17-13-919>
National Diet Library
  • Subject HeadingSimulation methods--Congresses. Automatic control--Congresses. Computer-aided design--Congresses.

2015 IEEE/ACM international conference on computer-aided design (ICCAD 2015) : Austin, Texas, USA : 2-6 November 2015 : Nov 2015, Austin, TX.

2015 IEEE/ACM international conference on computer-aided design (ICCAD 2015) : Austin, Texas, USA : 2-6 November 2015 : Nov 2015, Austin, TX.
Paper図書
IEEE[2015]<M17-17-490>
National Diet Library
  • Subject HeadingComputer-aided design--Congresses. System design--Congresses. Co...

2012 electronic system level synthesis conference : (ESLsyn 2012) : San Francisco, California, USA : 2-3 June 2012 : ECSI event : 2nd electronic system level synthesis conference : Jun 2012, San Francisco, CA.

2012 electronic system level synthesis conference : (ESLsyn 2012) : San Francisco, California, USA : 2-3 June 2012 : ECSI event : 2nd electronic system level synthesis conference : Jun 2012, San Francisco, CA.
Paper図書
IEEEc2012.<M17-13-690>
National Diet Library
  • Subject HeadingSystem design--Congresses. Electronic digital computers--Computer-aided design--Congresses.

2016 formal methods in computer-aided design : (FMCAD 2016) : Mountain View, California, USA : 3-6 October 2016 : 16th conference on formal methods in computer-aided design : international conference on formal methods in computer-aided design : FMCAD 2016 graduate student forum : Oct 2016, Mountain View, CA.

2016 formal methods in computer-aided design : (FMCAD 2016) : Mountain View, California, USA : 3-6 October 2016 : 16th conference on formal methods in computer-aided design : international conference on formal methods in computer-aided design : FMCAD 2016 graduate student forum : Oct 2016, Mountain View, CA.
Paper図書
IEEE[2016]<M17-18-1876>
National Diet Library
  • Subject Heading...puter systems--Computer-aided design--Congresses. System design--Congresses. Fo...