Electronic Books

Total Books: 1121 - 1140 /1190

The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...

The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...

This is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...

This is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems

The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...

This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...

This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...

Details the basic principles and sequencing of cavity preparation and outlines the different preparation designs indicated ...

The field of tooth whitening has continued to develop as more and more dental practitioners have turned to cosmetic dentistry ...

Classical econometrics - which plunges its roots in economic theory with simultaneous equations models (SEM) as offshoots ...

This small book has for a long time been a unique place to find classical results from geometry, such as Pythagoras' theorem, ...

This important reference explores the three main chemoselective ligation methods for assembling unprotected peptide segments, ...

The conclusion of the book is that the ‘tough on criminal wealth’ philosophy is largely alien to the everyday practice ...

Diabetes mellitus (DM) is a chronic metabolic disorder characterized by persistent hyperglycemia. It may be due to impaired ...

In this book, the authors present a challenge for future research to build a stronger, more complete understanding of entrepreneurial ...

This inaugural volume is devoted to computer systems research with an emphasis on core computational science issues faced ...

Provides details on the clinical and radiographic evaluation, classification, principles of suturing and flaps, intricacies ...

Over the past decade, the transport industry has been the target of growing criticism over its role in the pollution of the ...

Treatment planning is commonly considered one of the most important phases of any dental treatment and vital for achieving ...

This volume contains contributions from international experts in the fields of constructive approximation. This area has ...

Total Books: 1121 - 1140 /1190