| title | | ISBN-13 | year of publica- tion | other author(s) |
| Advanced Informatics for Computing Research: Second International Conference, ICAICR 2018, Shimla, India, July 14-15, 2018, Revised Selected Papers, ... in Computer and Information Science) | | 978-981-13-3139-8 | 2018 | Ashish Kumar Luhach · Dharm Singh · Kamarul Bin Ghazali Hawari · Pawan Lingras · Pradeep Kumar Singh |
| Advanced Informatics for Computing Research: Second International Conference, ICAICR 2018, Shimla, India, July 14-15, 2018, Revised Selected Papers, ... in Computer and Information Science) | | 978-981-13-3142-8 | 2018 | Ashish Kumar Luhach · Dharm Singh · Kamarul Bin Ghazali Hawari · Pawan Lingras · Pradeep Kumar Singh |
| Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings | | 978-3-642-24371-4 | 2011 | Tevfik Bultan |
| Hardware Software Co-Design of a Multimedia SOC Platform | | 978-1-4020-9622-8 | 2009 | Sao-Jie Chen · Guang-Huei Lin · Yu-Hen Hu |
| Reconfigurable System Design and Verification | | 978-1-4200-6266-3 | 2009 | Marco D. Santambrogio · Chun-Hsian Huang |
| Smart Computational Strategies: Theoretical and Practical Aspects | | 978-981-13-6294-1 | 2019 | Ashish Kumar Luhach · Kamarul Bin Ghazali Hawari · Ioan Cosmin Mihai · Ravi Bhushan Mishra |