Until recently the formal statistical mechanical approach offered no practicable method for computing the transport coefficients ...
Continue readinguring the spring of 1960, an uncle showed me a 'petrifying spring' near Plaxtol in Kent Dwhere twigs had been encased in ...
Continue readingThe book focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their ...
Continue readingThis book constitutes the thoroughly refereed post-proceedings of the Second Symposium on Trustworthy Global Computing, TGC ...
Continue readingThis book presents new research on the mathematical description of tsunamis and hurricanes. The book uses the equivalence ...
Continue readingOver the past three decades turbomachines experienced a steep increase in efficiency and performance. Based on fundamental ...
Continue readingThis book is devoted to the recent progress on the turnpike theory. The turnpike property was discovered by Paul A. Samuelson, ...
Continue readingThis book presents a series of models in the general area of cell physiology and signal transduction, with particular attention ...
Continue readingThis edited volume presents a fascinating collection of lecture notes focusing on differential equations from two viewpoints: ...
Continue readingThis book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...
Continue readingThe 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to ...
Continue readingThe 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
Continue readingStructural concrete members often show great deviation in structural performance from that predicted by the current code ...
Continue readingThe treatment of uncertainties in the analysis of engineering structures remains one of the premium challenges in structural ...
Continue readingVLSI-Design for Non-Volatile Memories is intended for electrical engineers and graduate students who want to enter into the ...
Continue readingThis book presents very recent results involving an extensive use of analytical tools in the study of geometrical and topological ...
Continue readingCe livre est une initiation aux approches modernes de l’optimisation mathématique de formes. Il s’appuie sur les seules ...
Continue readingThis book discusses a new discipline, variational analysis, which contains the calculus of variations, differential calculus, ...
Continue readingThis monograph in two volumes contains a comprehensive and state-of-the art study of the basic concepts and principles of ...
Continue readingThe book gives a concise introduction to variational methods and presents an overview of areas of current research in the ...
Continue reading