Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Automated technology for verification and analysis : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings / Tevfik Bultan, Pao-Ann Hsiung (eds.). by Series: Lecture notes in computer science ; 6996.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Heidelberg ; New York : Springer, ©2011
Other title:
  • ATVA 2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Multicore hardware-software design and verification techniques / edited by Pao-Ann Hsiung, Yean-Ru Chen, Chao-Sheng Lin. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: [Oak Park, Ill.?] : Bentham eBooks, [2011]
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha