Towards Mechanized Mathematical Assistants
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
Lee mas
Traditions in German-Speaking Mathematics Education Research
This book includes a short survey of the development of educational research on mathematics in German speaking countries, ...
Lee mas
Transactional to Transformational: How Banks Innovate / Christer Holloman
This book will equip you with ideas, tools and actionable hands-on advice. You will discover the untold stories about how ...
Lee mas
Transactions on Rough Sets IX
This book providing evidence of the continuing growth of a number of research streams. It includes articles that are extensions ...
Lee mas
Transactions on Rough Sets VIII
This volume of TRS presents papers that introduce a number of new - vances in the foundations and applications of arti?cial ...
Lee masTransitions in Mathematics Education
This book examines the kinds of transitions that have been studied in mathematics education research. It defines transition ...
Lee mas
Trends in Partial Differential Equations of Mathematical Physics
Vsevolod Alekseevich Solonnikov is known as one of the outstanding mathematicians from the St Petersburg Mathematical School. ...
Lee mas
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 ...
Lee mas
Tutorials in Mathematical Biosciences III
This volume introduces some basic mathematical models for cell cycle, proliferation, cancer, and cancer therapy.
Lee mas
Two Cultures
Editor Kim Williams has assembled a group of notes where scholars contribute essays inspired by their contact with Prof David ...
Lee mas
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 ...
Lee mas
Uniformly Accelerating Charged Particles : A Threat to the Equivalence Principle
There has been a long debate about whether uniformly accelerated charges should radiate electromagnetic energy and how one ...
Lee mas
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 ...
Lee masVariational and Quasi-Variational Inequalities in Mechanics
The variational method is a powerful tool to investigate states and processes in technical devices, nature, living organisms, ...
Lee mas
Vavilov-Cherenkov and Synchrotron Radiation
The book having nine chapters reviews fundamental physical and mathematical problems of the Vavilov-Cherenkov effect of media. ...
Lee mas
Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings
The scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification ...
Lee mas
Vibration Testing and Applications in System Identification of Civil Engineering Structures / Heung-Fai Lam, Jia-Hua Yang
Covers vibration testing and identification of dynamic structural systems. It starts from the fundamentals of structural ...
Lee mas
Views on Microstructures in Granular Materials
This volume provides overview of the mechanics of granular materials, ranging from sparse media to soils. With chapters exploring ...
Lee mas
Vite matematiche : Protagonisti del’ 900 da Hilbert a Wiles = Mathematical Lives: Twentieth-century protagonists from Hilbert to Wiles
Presenting famous mathematicians alongside others less known to the general public - from Hilbert to Gödel, from Turing ...
Lee mas
Vortices in Bose-Einstein Condensates
This book provides an up-to-date approach to the diagnosis and management of endocarditis based on a critical analysis of ...
Lee mas
