Lucas Bordeaux & Youssef Hamadi 
Tractability [EPUB ebook] 
Practical Approaches to Hard Problems

This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical logic is not a collection …

Understanding Real Analysis, Second Edition offers substantial coverage of foundational material and expands on the ideas of elementary calculus to develop a better understanding of crucial mathemati …

The first edition of this book (1970) set out a systematic basis for the analysis of binary data and in particular for the study of how the probability of »success» depends on explanatory variables …

This book is an outcome of the Second International Conference on Mathematical Population Dynamics. It is intended for mathematicians, statisticians, biologists, and medical researchers who are inter …

Avoiding lengthy mathematical discussions, this reference specifically addresses issues affecting the day-to-day practices of those who design, operate, and purchase liquid pipelines in the oil, wate …

This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Gödel»s Incompleteness Theorems to extensive introductions to set theory, mo …

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 …

With very few books adequately addressing ASME Boiler & Pressure Vessel Code, and other international code issues, Pressure Vessels: Design and Practice provides a comprehensive, in-depth guide on ev …

In 1946 Paul Halmos studied unbiased estimators of minimum variance, and planted the seed from which the subject matter of the present monograph sprang. The author has undertaken to provide experts a …

Grid-based Nonlinear Estimation and its Applications presents new Bayesian nonlinear estimation techniques developed in the last two decades. Grid-based estimation techniques are based on efficient a …