Towards Mechanized Mathematical Assistants
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
اقرأ المزيد
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, ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيدTransitions in Mathematics Education
This book examines the kinds of transitions that have been studied in mathematics education research. It defines transition ...
اقرأ المزيد
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. ...
اقرأ المزيد
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 ...
اقرأ المزيد
Tutorials in Mathematical Biosciences III
This volume introduces some basic mathematical models for cell cycle, proliferation, cancer, and cancer therapy.
اقرأ المزيد
Two Cultures
Editor Kim Williams has assembled a group of notes where scholars contribute essays inspired by their contact with Prof David ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيدVariational and Quasi-Variational Inequalities in Mechanics
The variational method is a powerful tool to investigate states and processes in technical devices, nature, living organisms, ...
اقرأ المزيد
Vavilov-Cherenkov and Synchrotron Radiation
The book having nine chapters reviews fundamental physical and mathematical problems of the Vavilov-Cherenkov effect of media. ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
