Jump to main content

yr 〜
yr

Search results 8

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

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 Heading...-- Congresses. Digital integrated circuits -- Design and construction -- Mathematics -- Congresses.

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 Heading...-- Congresses. Digital integrated circuits -- Design and construction -- Mathematics -- Congresses.

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 Heading...-- Congresses. Digital integrated circuits -- Design and construction -- Mathematics -- Congresses.

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 Heading...-- Congresses. Digital integrated circuits -- Design and construction -- Mathematics -- Congresses.

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
Paper図書
edited by Alessandro Cimatti, Robert B. JonesIEEEc2008
Other Libraries in Japan
  • Subject Heading... -- Congresses Digital integrated circuits -- Design and construction -- Mathematics -- Congresses
  • Subject Heading (ID)... -- Congresses Digital integrated circuits -- Design and construction -- Mathematics -- Congresses

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
Paper図書
IEEE Computer Societyc2007
Other Libraries in Japan
  • Subject Heading... -- Congresses Digital integrated circuits -- Design and construction -- Mathematics -- Congresses
  • Subject Heading (ID)... -- Congresses Digital integrated circuits -- Design and construction -- Mathematics -- Congresses

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
Paper図書
IEEE Computer Societyc2006
Other Libraries in Japan
  • Subject Heading... -- Congresses Digital integrated circuits -- Design and construction -- Mathematics -- Congresses
  • Subject Heading (ID)... -- Congresses Digital integrated circuits -- Design and construction -- Mathematics -- Congresses

Reached to the end of result.

RSS