Electronic Books

Total Books: 721 - 740 /8020

Authoritative Communities: The Scientific Case for Nurturing the Whole Child introduces innovative solutions based firmly ...

This book marks the first historical overview of the autism rights branch of the neurodiversity movement, describing the ...

The book provides an overview and the latest information on the broad spectrum of cutaneous autoimmune disorders for clinicians, ...

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 ...

All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation ...

All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation ...

This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers ...

It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...

It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...

This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...

It takes advantage of greater computing power and robust algorithms to produce enough candidate models to be sure of providing ...

This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the ...

Computer science will be radically transformed if ongoing efforts to build large-scale quantum computers eventually succeed ...

Computer science will be radically transformed if ongoing efforts to build large-scale quantum computers eventually succeed ...

This book brings together leading academic researchers and industrial practitioners to address the issues in this emerging ...

Enterprise Modelling (EM) methods are frequently used by entrepreneurs as an analysis tool for describing and redesigning ...

Most known examples of Lie superalgebras with a related automorphic form such as the Fake Monster Lie algebra whose reflection ...

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

Software development for the automotive domain is currently subject to a silent revolution. On the one hand, software has ...

Total Books: 721 - 740 /8020