Electronic Books

Total Books: 541 - 560 /562

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

Total Books: 541 - 560 /562