Electronic Books

Total Books: 2741 - 2760 /2841

Tree Transgenesis

A continuous development in plant biotechnology including gene technology has been observable during the past 20 years. Different ...

Trends and Applications in Constructive Approximation

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

Trends in Intelligent Systems and Computer Engineering

This volume addresses the demand for theories and applications of intelligent systems and computer engineering to meet the ...

Trends in Neural Computation

Trend in Neural Computation includes twenty chapters either contributed from leading experts or formed by extending well ...

Triangulations and Applications

This book is entirely about triangulations. With emphasis on computational issues, we present the basic theory necessary ...

Tribology of Diamond-like Carbon Films : Fundamentals and Applications

Tribology of Diamond-like Carbon Films discusses the most important structural, chemical, mechanical and tribological characteristics ...

Tropical Algebraic Geometry

Tropical geometry is algebraic geometry over the semifield of tropical numbers, i.e., the real numbers and negative infinity ...

Trustworthy Global Computing

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

Two Algebraic Byways from Differential Equations: Gröbner Bases and Quivers

This edited volume presents a fascinating collection of lecture notes focusing on differential equations from two viewpoints: ...

Type 2 Diabetes Mellitus :An Evidence-Based Approach to Practical Management

As the global epidemic of diabetes continues to expand, the prevalence of type 2 diabetes is predicted to double in the next ...

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

Ubiquitous Intelligence and Computing

This book is the refereed proceedings of the Third International Conference on Ubiquitous Intelligence and Computing, UIC ...

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 Statistics and Experimental Design

This textbook provides the background needed to correctly use, interpret and understand statistics and statistical data in ...

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

Total Books: 2741 - 2760 /2841