Electronic Books

Total Books: 701 - 720 /753

Theoretical Aspects of Computing - ICTAC 2006

This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ...

Theoretical Numerical Analysis

This textbook prepares graduate students for research in numerical analysis/computational mathematics by giving to them a ...

Theoretical and Practical Advances in Computer-based Educational Measurement

Presents a multitude of different, yet related, innovations in educational measurement and provides insight in their practical ...

Theory and Applications of Relational Structures as Knowledge Instruments II

This book is a follow-up of LNCS volume 2929 with the same title, and presents the major results of COST action 274 (2002-2005), ...

Theory and Practice of Model Transformations : First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings

This book includes different issues related with: process and engineering of model transformations; model transformations ...

Therapeutic Use of Medicinal Plants and Their Extracts ; Volume 1 : Pharmacognosy

This volume focuses on the importance of therapeutically active compounds of natural origin. Natural materials from plants, ...

Tissue engineering and regeneration in dentistry: current strategies / Sloan, Alistair J.; Waddington, Rachel J

Current Strategies presents a thorough update on the current advances, methods and understanding in tissue engineering in ...

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

Topics in Dynamic Model Analysis

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

Total Chemical Synthesis of Proteins / Ashraf Brik

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

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

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

Total Books: 701 - 720 /753