| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout | 978-1-4020-7672-5 (1-4020-7672-X) | 2004 | Leonard Drucker | |
| Biofilms in Human Diseases: Treatment and Control | 978-3-030-30756-1 (3-030-30756-5) | 2020 | Sunil Kumar · Niharika Chandra · Muhammad Zaffar Hashmi · Ajit Varma | |
| System-on-a-Chip Verification: Methodology and Techniques | 978-0-7923-7279-0 (0-7923-7279-4) | 2000 | Prakash Rashinkar · Peter Paterson |