Armin Biere & Carla P. Gomes 
Theory and Applications of Satisfiability Testing – SAT 2006 [PDF ebook] 
9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings

‘Presents a theory of difference and functional equations with continuous argument based on a generalization of the Riemann integral introduced by N.E. Norlund, allowing differentation with respect t …

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 …

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 …

This book covers topics including the Redei-Reichardt theorem, automorphs of ternary quadratic forms, facts concerning rational matrices leading to integral ternary forms representing zero, character …

Concise Handbook of Mathematics and Physics presents a unified and coherent treatment of all the major aspects of modern elementary physics and mathematics. This complete text/reference includes defi …

‘Written by accomplished and well-known researchers in the field, this unique volume discusses important research topics on p-adic functional analysis and closely related areas, provides an authorita …

This pocket book serves as an immediate reference for the various formulae encountered in linear systems, control systems, probability, communication engineering, signal processing, quantum mechanics …

Computer simulation experiments are essential to modern scientific discovery, whether that be in physics, chemistry, biology, epidemiology, ecology, engineering, etc. Surrogates are meta-models of co …

Design Theory, Second Edition presents some of the most important techniques used for constructing combinatorial designs. It augments the descriptions of the constructions with many figures to help s …