Electronic Books

Total Books: 61 - 80 /646

Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, ...

Despite the promising and exciting possibilities presented by new and fast-developing remote sensing technologies applied ...

The sc- ning probes emerged as a new - strument for imaging with a p- cision suf?cient to delineate single atoms. At first ...

The success of the Springer Series Applied Scanning Probe Methods I–VII and the rapidly expanding activities in scanning ...

The scanning probe microscopy ?eld has been rapidly expanding. It is a demanding task to collect a timely overview of this ...

This book, written by world experts in aquaponics and related technologies, provides the authoritative and comprehensive ...

The main objective of this book is to provide a common platform for diverse concepts in satellite image processing. In particular ...

This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic ...

This book highlights important developments on artinian modules over group rings of generalized nilpotent groups. Along with ...

The chapters of the book attempt to answer a number of essential questions in relation to global warming and climate change. ...

This book is an encyclopedic treatment of classic as well as contemporary large sample theory, dealing with both statistical ...

The book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...

The book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...

This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in ...

This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...

This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...

This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, ...

This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux ...

Reflecting the trend to optimization through integrative approaches for engine, driveline and vehicle control, this book ...

Masonry construction is usually the top priority in the constructive exercises during the course. The basic principles of ...

Total Books: 61 - 80 /646