Logic-Based Program Synthesis and Transformation

This book constitutes the thoroughly refereed p...

Advanced Engine Diagnostics

This book describes the discusses advanced fuel...

Hindu Approaches to Spiritual Care

Showing how spiritual care is practiced in a va...

Logic Programming

Sustainable Energy and Transportation

This book presents an integrated approach to su...

Maya in the Bhagavata Pura¿a

The idea of M?y? pervades Indian philosophy. It...

Maya in the Bhagavata Pura¿a

The idea of M?y? pervades Indian philosophy. It...

Photovoltaic Thermal Passive House System

This book provides a platform to disseminate kn...

Photovoltaic Thermal Passive House System

This book provides a platform to disseminate kn...

Computational Intelligence for Information Retrieval

This book provides a thorough understanding of ...

Computational Intelligence for Information Retrieval

This book provides a thorough understanding of ...

Smart Healthcare Monitoring Using IoT with 5G

Focusing on the challenges, directions, and fut...