Martin Hofmann 
Typed Lambda Calculi and Applications [PDF ebook] 
6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings

Users of statistics in their professional lives along with statistics students will welcome the CRC Standard Probability and Statistics Tables and Formulae, a concise, easy-to-use reference for basic …

Examines partitions and covers of graphs and digraphs, latin squares, pairwise balanced designs with prescribed block sizes, ranks and permanents, extremal graph theory, Hadamard matrices and graph f …

A grasp of the ways in which data can be collected, summarised and critically appraised is fundamental to application of the commonly used inferential techniques of statistics. By reviewing the crite …

Starting with the most basic notions, Universal Algebra: Fundamentals and Selected Topics introduces all the key elements needed to read and understand current research in this field. Based on the au …

This book familiarizes the mathematical community with an analytic tool that is capable of so many applications and presents a list of open problems which might be amenable to analysis with order sta …

Combinatorics, or the art and science of counting, is a vibrant and active area of pure mathematical research with many applications. The Unity of Combinatorics succeeds in showing that the many face …

Written as a tribute to the mathematician Carlo Pucci on the occasion of his 70th birthday, this is a collection of authoritative contributions from over 45 internationally acclaimed experts in the f …

The contents in this work are taken from both the University of Iowa“s Conference on Factorization in Integral Domains, and the 909th Meeting of the American Mathematical Society“s Special Session …

Providing a self-contained exposition of the theory of linear models, this treatise strikes a compromise between theory and practice, providing a sound theoretical basis while putting the theory to w …

Robust Regression: Analysis and Applications characterizes robust estimators in terms of how much they weight each observation discusses generalized properties of Lp-estimators. Includes an algorithm …