The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
Continue readingThis book constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction ...
Continue readingThe book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
Continue readingThis book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Continue readingThis book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Continue readingDetails the basic principles and sequencing of cavity preparation and outlines the different preparation designs indicated ...
Continue readingIn this book a variety of many-body phenomena in condensed matter are discussed, with special attention paid to the understanding ...
Continue readingProvides a self-contained presentation of the foundations of finite fields, including a detailed treatment of their algebraic ...
Continue readingThis set of lectures collects surveys of open problems in celestial dynamics and dynamical astronomy applied to solar, extra-solar ...
Continue readingTopics in the Theory of Chemical and Physical Systems is a collection of 14 selected papers from the scientific presentations ...
Continue readingThis book reports new results in condensed matter physics for which topological methods and ideas are important. It considers, ...
Continue readingThis important reference explores the three main chemoselective ligation methods for assembling unprotected peptide segments, ...
Continue readingRecent surveys have provided new and updated information into public insights of the nascent space tourism industry. Erik ...
Continue readingThis book states that the endemic societal faultlines of our times are deeply intertwined and that they confront us with ...
Continue readingThis book provides detailed information about the incoming Mexican Emissions Trading System, including an analysis on why ...
Continue readingThe presence of deliberately added or adventitious organic and inorganic compounds in soils can cause contamination of the ...
Continue readingThis volume is composed of two parts. Part I – Biogeochemistry of the Human - vironment – presents fundamental information ...
Continue readingThis definitive textbook by a renowned field observer and analyst of trace fossils concentrates on the most distinctive examples, ...
Continue readingThis book discusses transnational trade union cooperation in Europe – its forms, focuses, conditions, and obstacles. It ...
Continue readingDiabetes mellitus (DM) is a chronic metabolic disorder characterized by persistent hyperglycemia. It may be due to impaired ...
Continue reading