Electronic Books

Total Books: 801 - 820 /841

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

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

Trustworthy Global Computing

Constitutes the post-proceedings of the International Symposium on Trustworthy Global Computing. This book covers issues, ...

Typed Lambda Calculi and Applications

This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...

Typed Lambda Calculi and Applications

The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to ...

Types for Proofs and Programs

The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...

Types for Proofs and Programs

The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The ...

Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers

The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...

Ultrasonic Periodontal Debridement : Theory and Technique / Donley, Timothy G.; George, Marie D.; Preshaw, Philip M

Focuses exclusively on this fundamentally important component of periodontal therapy. George, Donley, and Preshaw provide ...

Understanding Programming Languages

This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...

Understanding Willing Participants, Volume 2

This volume one of this two-volume set introduces readers to a behind the scenes account showing how during Milgram’s unpublished ...

Unifying Theories of Programming

A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...

Univariate Stable Distributions

This textbook highlights the many practical uses of stable distributions, exploring the theory, numerical algorithms, and ...

Validity and Reliability in Built Environment Research : A Selection of Case Studies / ian Ahmed, Alex Opoku, Ayokunle Olanipekun, Monty Sutrisna

Presents case studies that emphasize reliability and validity in different examples of qualitative, quantitative and mixed ...

Variational and Potential Methods for a Class of Linear Hyperbolic Evolutionary Processes

The book presents variational methods combined with boundary integral equation techniques in application to a model of dynamic ...

Total Books: 801 - 820 /841