Applied Scanning Probe Methods II
The sc- ning probes emerged as a new - strument for imaging with a p- cision suf?cient to delineate single atoms. At first ...
Weiterlesen
Applied Scanning Probe Methods IX : Characterization
The success of the Springer Series Applied Scanning Probe Methods I–VII and the rapidly expanding activities in scanning ...
Weiterlesen
Applied Scanning Probe Methods V
The scanning probe microscopy ?eld has been rapidly expanding. It is a demanding task to collect a timely overview of this ...
Weiterlesen
Aquaponics Food Production Systems
This book, written by world experts in aquaponics and related technologies, provides the authoritative and comprehensive ...
Weiterlesen
Artificial Intelligence Techniques for Satellite Image Analysis
The main objective of this book is to provide a common platform for diverse concepts in satellite image processing. In particular ...
Weiterlesen
Artificial Intelligence and Symbolic Computation
This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic ...
Weiterlesen
Artinian Modules over Group Rings
This book highlights important developments on artinian modules over group rings of generalized nilpotent groups. Along with ...
Weiterlesen
Assessing Climate Change : Temperatures, Solar Radiation, and Heat Balance
The chapters of the book attempt to answer a number of essential questions in relation to global warming and climate change. ...
Weiterlesen
Asymptotic Theory of Statistics and Probability
This book is an encyclopedic treatment of classic as well as contemporary large sample theory, dealing with both statistical ...
Weiterlesen
Automated Deduction in Geometry
The book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...
Weiterlesen
Automated Deduction in Geometry
The book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...
Weiterlesen
Automated Deduction in Geometry
This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in ...
Weiterlesen
Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...
Weiterlesen
Automated Deduction – CADE-20
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...
Weiterlesen
Automated Reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, ...
Weiterlesen
Automated Reasoning with Analytic Tableaux and Related Methods
This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux ...
Weiterlesen
Automotive Control Systems
Reflecting the trend to optimization through integrative approaches for engine, driveline and vehicle control, this book ...
Weiterlesen
Battery Management Systems
The contents of this book builds further on the contents of the first volume in the Philips Research Book Series, Battery ...
Weiterlesen
Beam Instrumentation and Diagnostics
This treatise covers all aspects of the design and the daily operations of a beam diagnostic system for a large particle ...
Weiterlesen
Beginning XSLT 2.0
This followup to Jeni Tennison's Beginning XSLT has been updated to accomodate the revised XSLT standard. Part one of this ...
Weiterlesen
