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