A computational perspective on partial order and lattice theory, focusing on algorithms and their applicationsThis book provides a uniform treatment of the theory and applications of lattice theory. The applications covered include tracking dependency in distributed systems, combinatorics, detecting global predicates in distributed systems, set families, and integer partitions. The book presents algorithmic proofs of theorems whenever possible. These proofs are wri...

"Describes the latest techniques and real-life applications of computational fluid dynamics (CFD) and heat transfer in aeronautics, materials processing and manufacturing, electronic cooling, and environmental control. Includes new material from experienced researchers in the field. Complete with detailed equations for fluid flow and heat transfer.

Vitiligo is a disorder having a significant impact in dark-skinned individuals. Along with the historical, cultural, and psychological aspects of the disease the multifactorial pathogenesis of this disorder is discussed in detail with special emphasis on the newer hypotheses proposed in the causation. Descriptions of the clinical aspects of the disease are supplemented with clinical photographs covering the latest therapeutic and surgical treatment options. Nonconventional treatments such ...

This proceedings volume, with more than 30 chapters, is based on the presentations given at the National Conference on Water Resources and Hydropower (WRHP-2016) and represents the state-of-the-art in water resources in India. It includes experimental investigations, field studies, theoretical developments, numerical methods, as well as engineering achievements in water resources. The contributions are organised under four main topics:• Water Resources and Management: covers the is...