Electronic Books

Total Books: 601 - 620 /646

Topological Fixed Point Theory of Multivalued Mappings

This book is an attempt to give a systematic presentation of results and me- ods which concern the ?xed point theory of multivalued ...

Towards Mechanized Mathematical Assistants

This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...

Towards Synthesis of Micro-

At the beginning of the 21st century, manufacturing industry is faced with new challenges stemming from globalization and ...

Transactions on Aspect-Oriented Software Development III

This volume, the third in the Transactions on Aspect-Oriented Software Development series, presents 6 revised papers together ...

Transmission Electron Microscopy and Diffractometry of Materials

This book explains concepts of transmission electron microscopy (TEM) and x-ray diffractometry (XRD) that are important for ...

Transseries and Real Differential Algebra

Transseries are formal objects constructed from an infinitely large variable x and the reals using infinite summation, exponentiation ...

Trapped Charged Particles and Fundamental Interactions

The development of ion traps has spurred significant experimental activities able to link measurable quantities to the most ...

Trends in Continuum Mechanics of Porous Media

This book addresses postgraduate students and scientists working in engineering, physics, and mathematics. It provides an ...

Tsunamis and Hurricanes

This book presents new research on the mathematical description of tsunamis and hurricanes. The book uses the equivalence ...

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

Twenty-Sixth Symposium on Biotechnology for Fuels and Chemicals

In Biotechnology for Fuels and Chemicals: The Twenty-Sixth Symposium, leading US and international researchers from academia, ...

Types for Proofs and Programs

The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...

Ultrasonic Nondestructive Evaluation Systems

Ultrasonic Nondestructive Evaluation Systems: Models and Measurements provides the latest information and techniques available ...

Ultrasonic ranging and object detection using arduino / Ghazi Al-Sibai ; Mohamad Saeed Al Haddad ; Kenan Al Rakhlane

This project aims to develop a novel method for recognizing the shape of an object located behind thin medium utilizing combination ...

Ultrathin Magnetic Structures I

The ability to understand and control the unique properties of interfaces has created an entirely new field of magnetism, ...

Ultrathin Magnetic Structures II

The ability to understand and control the unique properties of interfaces has created an entirely new field of magnetism, ...

Unifying the Software Process Spectrum

This volume contains papers presented at SPW 2005, the Software Process Workshop held in Beijing, P. R. China, on May 25-27, ...

Univariate Stable Distributions

This textbook highlights the many practical uses of stable distributions, exploring the theory, numerical algorithms, and ...

Universal Access in Human-Computer Interaction. Ambient Interaction

This volume, edited by Constantine Stephanidis, contains papers in the thematic area of Universal Access in Human-Computer ...

Universal Acess in Human Computer Interaction. Coping with Diversity

This volume, edited by Constantine Stephanidis, contains papers in the thematic area of Universal Access in Human-Computer ...

Total Books: 601 - 620 /646