A Modern Perspective on Type Theory
The first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern ...
Lire la suite
A Modern Theory of Factorial Design
Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...
Lire la suite
A Modern Theory of Factorial Design
Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...
Lire la suite
A Natural Introduction to Probability Theory
According to Leo Breiman (1968), probability theory has a right and a left hand. The right hand refers to rigorous mathematics, ...
Lire la suite
A Posteriori Error Analysis Via Duality Theory
This volume provides a posteriori error analysis for mathematical idealizations in modeling boundary value problems, especially ...
Lire la suite
A Practical Programming Model for the Multi-Core Era : 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP ...
Lire la suite
A Remarkable Collection of Babylonian Mathematical Texts
This new text from Jöran Friberg, the leading expert on Babylonian mathematics, presents 130 previously unpublished mathematical ...
Lire la suiteA Short Course in Soil–Structure Engineering of Deep Foundations, Excavations and Tunnels
A Short Course in Soil-structure Engineering of Deep Foundations, Excavations and Tunnels, focuses on the three major geotechnical ...
Lire la suite
A Short Course on Operator Semigroups
The book gives a streamlined and systematic introduction to strongly continuous semigroups of bounded linear operators on ...
Lire la suite
A Singular Introduction to Commutative Algebra
This substantially enlarged second edition aims to lead a further stage in the computational revolution in commutative algebra. ...
Lire la suite
A Taste of Topology
The present book grew out of notes for an introductory topology course at the University of Alberta. It provides a concise ...
Lire la suite
A Theory of Shape Identification
Recent years have seen dramatic progress in shape recognition algorithms applied to ever-growing image databases. They have ...
Lire la suite
AI 2008: Advances in Artificial Intelligence : 21st Australasian Joint Conference on Artificial Intelligence Auckland, New Zealand, December 1-5, 2008. Proceedings
This book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, ...
Lire la suite
Absolute Stability of Nonlinear Control Systems
Following the recent developments in the field of absolute stability, Professor Xiaoxin Liao, in conjunction with Professor ...
Lire la suite
Abstract Algebra
In Abstract Algebra the first chapters blend standard contents with a careful introduction to proofs with arrowsand in the ...
Lire la suite
Abstract Harmonic Analysis of Continuous Wavelet Transforms
This volume contains a systematic discussion of wavelet-type inversion formulae based on group representations, and their ...
Lire la suite
Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
Lire la suite
Activity and Sign
This volume provides new sources of knowledge based on Michael Otte’s fundamental insight that understanding the problems ...
Lire la suite
Adaptive Atmospheric Modeling
This is an overview of the development of adaptive techniques for atmospheric modeling. Written in an educational style, ...
Lire la suite
Adaptive Mesh Refinement - Theory and Applications
Advanced numerical simulations that use adaptive mesh refinement (AMR) methods have now become routine in engineering and ...
Lire la suite
