Electronic Books

Total Books: 801 - 820 /841

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

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

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

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

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

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

This book constitutes the refereed proceedings of the 8th International Conference on 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 ...

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

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

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

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

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

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

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

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

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

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

Total Books: 801 - 820 /841