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 ...
Lee mas
A Modern Theory of Factorial Design
Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...
Lee mas
A Modern Theory of Factorial Design
Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...
Lee mas
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, ...
Lee mas
A Posteriori Error Analysis Via Duality Theory
This volume provides a posteriori error analysis for mathematical idealizations in modeling boundary value problems, especially ...
Lee mas
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 ...
Lee mas
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 ...
Lee masA 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 ...
Lee mas
A Short Course on Operator Semigroups
The book gives a streamlined and systematic introduction to strongly continuous semigroups of bounded linear operators on ...
Lee mas
A Singular Introduction to Commutative Algebra
This substantially enlarged second edition aims to lead a further stage in the computational revolution in commutative algebra. ...
Lee mas
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 ...
Lee mas
A Theory of Shape Identification
Recent years have seen dramatic progress in shape recognition algorithms applied to ever-growing image databases. They have ...
Lee mas
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, ...
Lee mas
Absolute Stability of Nonlinear Control Systems
Following the recent developments in the field of absolute stability, Professor Xiaoxin Liao, in conjunction with Professor ...
Lee mas
Abstract Algebra
In Abstract Algebra the first chapters blend standard contents with a careful introduction to proofs with arrowsand in the ...
Lee mas
Abstract Harmonic Analysis of Continuous Wavelet Transforms
This volume contains a systematic discussion of wavelet-type inversion formulae based on group representations, and their ...
Lee mas
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, ...
Lee mas
Activity and Sign
This volume provides new sources of knowledge based on Michael Otte’s fundamental insight that understanding the problems ...
Lee mas
Adaptive Atmospheric Modeling
This is an overview of the development of adaptive techniques for atmospheric modeling. Written in an educational style, ...
Lee mas
Adaptive Mesh Refinement - Theory and Applications
Advanced numerical simulations that use adaptive mesh refinement (AMR) methods have now become routine in engineering and ...
Lee mas
