This sixth edition of Water Quality & Treatment: A Handbook on Drinking Water serves as a handbook for scientists, engineers, and other professionals who study and work in drinking water—particularly the quality of water supplies, the quality of treated drinking water, and water treatment processes. It is meant as a resource for...

Environmental engineering is one of the most popular, complex and fast growing disciplines in engineering. The scope of environment includes issues from public health, aesthetics, and impact of all development activities, pollution control legislation, standards, regulations, guidelines and their enforcement. Traditionally the application of...

Master the design techniques and practical skills needed to build Shopify themes and make you and your clients profitable. An increasing number of businesses use Shopify and all of them need a well-designed theme to turn visitors into customers. Designers and developers that can deliver such themes create value for their clients and customers...

First developed in the late 1980s, lithium-ion batteries now power everything from tablet computers to power tools to electric cars. Despite tremendous progress in the last two decades in the engineering and manufacturing of lithium-ion...

Chemical engineers face the challenge of learning the difficult concept and application of entropy and the 2nd Law of Thermodynamics. By following a visual approach and offering qualitative discussions of the role of molecular interactions, Koretsky helps them understand and visualize thermodynamics. Highlighted examples show how the material...

Service-oriented architectures (SOAs) implemented with Web services are fundamentally changing business processes supported by distributed computing. These technologies bring forward the promise of...

Don’t feel bad—I’ve given you an impossible exercise, but I promise the book will be filled with practical instead of ridiculous exercises from here on out. That’s because we’re going to...

Traditional software verification algorithms work by using a combination of Floyd-Hoare Logics, Model Checking and Abstract Interpretation, to check and infer suitable program invariants. However, these techniques are problematic in the presence of complex but ubiquitous constructs like generic data structures, first-class functions....