технические науки

This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and verification of timed concurrent systems …

An authoritative reference that contains the most up-to-date information knowledge, approaches, and applications of lipid crystals Crystallization of Lipids is a comprehensive resource that offers the most current and emerging knowledge, techniques a…

Select, invest in, and deploy a Real Time Location System Is your business ready for an RTLS? This friendly, hands-on guide shows you how to understand and implement this cutting-edge technology, explaining RTLS methodologies in plain English. From t…

A detailed presentation of the physics of electron beam-specimen interactions Electron microscopy is one of the most widely used characterisation techniques in materials science, physics, chemistry, and the life sciences. This book examines the inter…

Inland fisheries are vital for the livelihoods and food resources of humans worldwide but their importance is underestimated, probably because large numbers of small, local operators are involved. Freshwater Fisheries Ecology defines what we have glo…

This fourth and full colour edition updates and expands a widely-used textbook aimed at advanced undergraduate and postgraduate students taking courses in remote sensing and GIS in Geography, Geology and Earth/Environmental Science departments. Exist…

The modern quantity surveyor (QS) plays a central role in the management of construction projects, although the exact nature of the role depends on who employs the QS. The Professional Quantity Surveyor engaged by the client and the Contractor's Quan…

Learn how to design and implement successful aeration control systems Combining principles and practices from mechanical, electrical, and environmental engineering, this book enables you to analyze, design, implement, and test automatic wastewater ae…

Based on deep theoretical as well as practical experience in Reliability and Quality Sciences, Robust Design Methodology for Reliability constructively addresses practical reliability problems. It offers a comprehensive design theory for reliability,…

Wireless Information and Power Transfer offers an authoritative and comprehensive guide to the theory, models, techniques, implementation and application of wireless information and power transfer (WIPT) in energy-constrained wireless communication n…

Biocatalysts are increasingly used by chemists engaged in fine chemical synthesis within both industry and academia. Today, there exists a huge choice of high-tech enzymes and whole cell biocatalysts, which add enormously to the repertoire of synthet…

Use the right tool the right way Here, fully updated to include new machines and electronic/digital controls, is the ultimate guide to basic machine shop equipment and how to use it. Whether you're a professional machinist, an apprentice, a trade stu…

Well-structured and adopting a pedagogical approach, this self-contained monograph covers the fundamentals of scanning probe microscopy, showing how to use the techniques for investigating physical and chemical properties on the nanoscale and how the…

The Evidence-Based Nursing Series is co-published with Sigma Theta Tau International (STTI). The series focuses on implementing evidence-based practice in nursing and midwifery and mirrors the remit of Worldviews on Evidence-Based Nursing, encompassi…

Hands-on guidance for the design, control, and operation of azeotropic distillation systems Following this book's step-by-step guidance, readers learn to master tested and proven methods to overcome a major problem in chemical processing: the distill…

Covering both fundamental and advanced aspects in an accessible way, this textbook begins with an overview of nuclear reactor systems, helping readers to familiarize themselves with the varied designs. Then the readers are introduced to different pos…

An extensive introduction to the engineering and manufacture of current and next-generation flat panel displays This book provides a broad overview of the manufacturing of flat panel displays, with a particular emphasis on the display systems at the …

Image processing problems are often not well defined because real images are contaminated with noise and other uncertain factors. In Mathematics of Shape Description, the authors take a mathematical approach to address these problems using the morpho…

A Comprehensive and Self-Contained Treatment of the Theory and Practical Applications of Ceramic Materials When failure occurs in ceramic materials, it is often catastrophic, instantaneous, and total. Now in its Second Edition, this important book ar…

Demystifies FACTS controllers, offering solutions to power control and power flow problems Flexible alternating current transmission systems (FACTS) controllers represent one of the most important technological advances in recent years, both enhancin…