Electronic Books

Total Books: 501 - 520 /527

Tree Species Effects on Soils: Implications for Global Change

Almost 50% of the total area of Austria is forested, and the forests are dominated by commercially valuable stands of Norway ...

Trusted Computing Platforms

Trusted Computing Platforms:Design and Applications fills this gap. Starting with early prototypes and proposed applications, ...

Trustworthy Global Computing ; Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

This book constitutes the thoroughly refereed post-proceedings of the Second Symposium on Trustworthy Global Computing, TGC ...

Tutorials in Mathematical Biosciences II

This book presents a series of models in the general area of cell physiology and signal transduction, with particular attention ...

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 Synthesis of Parallel Mechanisms

This unique monograph focuses on the systematic type synthesis of parallel mechanisms (PMs), which is a key issue in the ...

Typed Lambda Calculi and Applications

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

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

Universal Design: Creating Inclusive Environments / Edward Steinfeld, Jordana Maisel

Introduces designers to the principles and practice of designing for all people. From the foundations of accessibility and ...

VEGF in Development

This book is devoted to vascular endothelial growth factor A (VEGF or VEGFA), a secreted signalling protein of great significance ...

VLSI-Design of Non-Volatile Memories

VLSI-Design for Non-Volatile Memories is intended for electrical engineers and graduate students who want to enter into the ...

Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities

The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...

Verification, Model Checking, and Abstract Interpretation

This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...

Vibrations and Stability : Advanced Theory, Analysis, and Tools / Jon Juel Thomsen

Ties together classical and modern topics of advanced vibration analysis in an interesting and lucid manner. It is intended ...

Viral Therapy / Tasneem Rajab Agha ; Nour Houranieh ; Baraa Alkaed ; Zinab Alsamara

Virotherapy is a treatment using biotechnology to convert viruses into therapeutic agents by reprogramming viruses to treat ...

Visualizing Mortality Dynamics in the Lexis Diagram

This book visualizes mortality dynamics in the Lexis diagram. While the standard approach of plotting death rates is also ...

Wastewater Treatment in Constructed Wetlands with Horizontal Sub-Surface Flow

This book fills a gap in the literature by providing an extensive, worldwide overview of this treatment technology. Special ...

Wastewater Treatment, Plant Dynamics and Management in Constructed and Natural Wetlands

Constructed wetlands provide a reliable treatment technology for various types of polluted water, including industrial and ...

Total Books: 501 - 520 /527