Electronic Books

Total Books: 781 - 800 /804

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

Tsunamis and Hurricanes

This book presents new research on the mathematical description of tsunamis and hurricanes. The book uses the equivalence ...

Turnpike Properties in the Calculus of Variations and Optimal Control

This book is devoted to the recent progress on the turnpike theory. The turnpike property was discovered by Paul A. Samuelson, ...

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

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

Uncertainty Assessment of Large Finite Element Systems

The treatment of uncertainties in the analysis of engineering structures remains one of the premium challenges in structural ...

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

Vanishing and Finiteness Results in Geometric Analysis : A Generalization of the Bochner Technique

This book presents very recent results involving an extensive use of analytical tools in the study of geometrical and topological ...

Variation et optimisation de formes

Ce livre est une initiation aux approches modernes de l’optimisation mathématique de formes. Il s’appuie sur les seules ...

Variational Analysis and Applications

This book discusses a new discipline, variational analysis, which contains the calculus of variations, differential calculus, ...

Variational Analysis and Generalized Differentiation I

This monograph in two volumes contains a comprehensive and state-of-the art study of the basic concepts and principles of ...

Variational Methods : Applications to Nonlinear Partial Differential Equations and Hamiltonian Systems

The book gives a concise introduction to variational methods and presents an overview of areas of current research in the ...

Vector Analysis for Computer Graphics

Vector Analysis for Computer Graphics provides a complete introduction to vector analysis, especially within the context ...

Verification, Model Checking, and Abstract Interpretation (vol. # 3855)

This volume contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, ...

Visual Information Systems. Web-Based Visual Information Search and Management : 10th International Conference, VISUAL 2008, Salerno, Italy, September 11-12, 2008. Proceedings

This book covered are information and data visualization; advances techniques for visual information management; mobile visual ...

Visualization, Explanation and Reasoning Styles in Mathematics

This book contains groundbreaking contributions to the philosophical analysis of mathematical practice. Several philosophers ...

Vitamin K2 Essential Role in Heart and Bone health / Farah Dahdal ; Dalal Aladeeb

Vitamin K is the generic name for a family of compounds with the same common chemical structure. It is a fat-soluble vitamin ...

WALCOM: Algorithms and Computation : Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Proceedings

This book features original research in the areas of algorithms and data structures, combinatorial algorithms, graph drawings ...

Total Books: 781 - 800 /804