Jump to main content

yr 〜
yr

Search results 5

Automated technology for verification and analysis : 9th international symposium, ATVA 2011 : Taipei, Taiwan, October 11-14, 2011 : proceedings : ATVA conferences : Oct 2011, Taipei, Taiwan. (Lecture Notes in Computer Science ; 6996)

Automated technology for verification and analysis : 9th international symposium, ATVA 2011 : Taipei, Taiwan, October 11-14, 2011 : proceedings : ATVA conferences : Oct 2011, Taipei, Taiwan. (Lecture Notes in Computer Science ; 6996)
Paper図書
Springerc2011.<M17-12-1330>
National Diet Library
  • Author HeadingATVA 2011 (2011 : Taipei, Taiwan) Bultan, Tevfik. Hsiung, Pao-Ann.

Automated technology for verification and analysis : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings

Automated technology for verification and analysis : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings
Paper図書
Tevfik Bultan, Pao-Ann Hsiung (eds.)Springerc2011
Other Libraries in Japan
  • Author HeadingATVA Bultan, Tevfik Hsiung, Pao-Ann

Dynamic reconfigurable network-on-chip design : innovations for computational processing and communication

Dynamic reconfigurable network-on-chip design : innovations for computational processing and communication
Paper図書
Jih-Sheng Shen, Pao-Ann HsiungInformation Science Referencec2010
Other Libraries in Japan
  • Author HeadingShen, Jih-Sheng Hsiung, Pao-Ann

Multicore hardware-software design and verification techniques : [pbk.]

Multicore hardware-software design and verification techniques : [pbk.]
Paper図書
edited by Pao-Ann Hsiung, Yean-Ru Chen, Chao-Sheng LinBentham Booksc2011
Other Libraries in Japan
  • Author HeadingHsiung, Pao-Ann Chen, Yean-Ru Lin, Chao-Sheng

Reconfigurable system design and verification : hardcover

Reconfigurable system design and verification : hardcover
Paper図書
Pao-Ann Hsiung, Marco D. Santambrogio, Chun-Hsian HuangCRC Pressc2009
Other Libraries in Japan
  • Author HeadingHsiung, Pao-Ann Santambrogio, Marco D. (Marco...

Reached to the end of result.

RSS