- Formal Methods and Models for System Design: A System Level Perspective (The Kluwer international series in video computing)
- Pain Management: Essential Topics for Examinations
- SPARK:: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits
- Hands-On Data Analysis with Scala: Perform data collection, processing, manipulation, and visualization with Scala
- Dear Zindagi