Jump to main content

yr 〜
yr

Search results 4

Computer aided verification : 20th international conference, CAV 2008 : Princeton, NJ, USA, July 7-14, 2008 : proceedings. : 20th anniversary of CAV : Jul 2008, Princeton, NJ. (Lecture Notes in Computer Science ; 5123)

Computer aided verification : 20th international conference, CAV 2008 : Princeton, NJ, USA, July 7-14, 2008 : proceedings. : 20th anniversary of CAV : Jul 2008, Princeton, NJ. (Lecture Notes in Computer Science ; 5123)
Paper図書
Springerc2008.<M17-09-431>
National Diet Library
  • Author HeadingGupta, Aarti, Dr. Malik, Sharad. CAV 2008 (2008 : Princeton, ...

Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings

Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings
Paper図書
Aarti Gupta, Sharad Malik (eds.)Springerc2008
Other Libraries in Japan
  • Author HeadingCAV (Conference) Gupta, Aarti Malik, Sharad

Performance analysis of real-time embedded software

Performance analysis of real-time embedded software
Paper図書
Yau-Tsun Steven Li, Sharad MalikKluwer Academicc1999
Other Libraries in Japan
  • Author HeadingLi, Yau-Tsun Steven Malik, Sharad

Asynchronous circuit design for VLSI signal processing

Asynchronous circuit design for VLSI signal processing
Paper図書
edited by Teresa H. Meng and Sharad MalikKluwer Academicc1994
Other Libraries in Japan
  • Author HeadingMeng, Teresa H. Malik, Sharad

Reached to the end of result.

RSS