- 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
- Sabores de la India 2023: Un Viaje por las Tradiciones Culinarias de un País Rico en Historia y Cultura






















