Electronic Books

Total Books: 1121 - 1140 /1190

Tools and Algorithms for the Construction and Analysis of Systems

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

Tools and Algorithms for the Construction and Analysis of Systems

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

Tools and Algorithms for the Construction and Analysis of Systems

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

Tools and Algorithms for the Construction and Analysis of Systems

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

Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

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

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I

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

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II

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

Tooth Preparations : Science and Art / Clovis Pagani; Annelies Van Ende

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

Tooth Whitening Techniques / Linda Greenwall

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

Topics in Dynamic Model Analysis

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

Topics in Elementary Geometry

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

Total Chemical Synthesis of Proteins / Ashraf Brik

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

Tough on Criminal Wealth

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

Traditional use of medicinal plants for the treatment of Diabetes mellitus / Mai ghazi ; Rafah Alkadi ; Mohammad Al-ismail

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

Trailblazing in Entrepreneurship

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

Transactions on Computational Science I

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

Transalveolar Extraction of the Mandibular Third Molars / Darpan Bhargava

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

Transport, Trade and Economic Growth — Coupled or Decoupled?

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

Treatment Planning in Restorative Dentistry and Implant Prosthodontics / Antonio H. C. Rodrigues

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

Trends and Applications in Constructive Approximation

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

Total Books: 1121 - 1140 /1190