P.M. · P. Mishra · Prabhat Ranjan Mishra
| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Contemporary Computing: Second International Conference, IC3 2010, Noida, India, August 9-11, 2010. Proceedings, Part I | Taschenbuch | 978-3-642-14833-0 | 2010 | Sanjay Ranka · Arunava Banerjee · Kanad Kishore Biswas · Sumeet Dua · Rajat Moona · Sheung-Hung Poon · Cho-Li Wang | |
| Contemporary Computing: Third International Conference, IC3 2010, Noida, India, August 9-11, 2010. Proceedings, Part II | " | 978-3-642-14824-8 | 2010 | Sanjay Ranka · Arunava Banerjee · Kanad Kishore Biswas · Sumeet Dua · Rajat Moona · Sheung-Hung Poon · Cho-Li Wang | |
| Dynamic Reconfiguration in Real-Time Systems: Energy, Performance, and Thermal Perspectives | Hardcover | 978-1-4614-0277-0 | 2012 | Weixun Wang · Sanjay Ranka | |
| Functional Verification of Programmable Embedded Architectures | Broschiert | 978-0-387-50776-7 | 2008 | Nikil D. Dutt | |
| Functional Verification of Programmable Embedded Architectures: A Top-Down Approach | Hardcover | 978-0-387-26143-0 | 2005 | " | |
| Hardware IP Security and Trust | Taschenbuch | 978-3-319-84070-3 | 2018 | Swarup Bhunia · Mark Tehranipoor | |
| Hardware IP Security and Trust | Gebunden | 978-3-319-49024-3 | 2017 | Swarup Bhunia · Mark Tehranipoor | |
| Post-Silicon Validation and Debug | " | 978-3-319-98115-4 | 2018 | Farimah Farahmandi | |
| Processor Description Languages (Volume 1) | Hardcover | 978-0-12-374287-2 | 2008 | Nikil Dutt | |
| System-Level Validation: High-Level Modeling and Directed Test Generation Techniques | " | 978-1-4614-1358-5 | 2012 | Mingsong Chen · Xiaoke Qin · Heon-Mo Koo | |
| System-on-Chip Security: Validation and Verification | Gebunden | 978-3-030-30595-6 | 2020 | Farimah Farahmandi · Yuanwen Huang |