Towards Mechanized Mathematical Assistants
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
Weiterlesen
Transactions on Computational Systems Biology IX
This book contains four highly detailed papers. The first paper focuses on quantitative aspects of the bgl operon for E.coli. ...
Weiterlesen
Transactions on Computational Systems Biology VI
This issue of Transactions on Computational Systems Biology contains a fully-refereed selection of papers from the Fourth ...
Weiterlesen
Transactions on High-Performance Embedded Architectures and Compilers I
Transactions on HiPEAC is a new journal which aims at the timely dissemination of research contributions in computer architecture ...
Weiterlesen
Transient Receptor Potential (TRP) Channels
The main goal of this volume is to provide up-to-date information on the molecular and functional properties and pharmacology ...
Weiterlesen
Trustworthy Global Computing : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
The book focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their ...
Weiterlesen
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 ...
Weiterlesen
Tsunamis and Hurricanes
This book presents new research on the mathematical description of tsunamis and hurricanes. The book uses the equivalence ...
Weiterlesen
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, ...
Weiterlesen
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 ...
Weiterlesen
Typed Lambda Calculi and Applications
This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...
Weiterlesen
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 ...
Weiterlesen
Types for Proofs and Programs
The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
Variational Analysis and Applications
This book discusses a new discipline, variational analysis, which contains the calculus of variations, differential calculus, ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
