Yves Bertot & Gilles Dowek 
Theorem Proving in Higher Order Logics [PDF ebook] 
12th International Conference, TPHOLs’99, Nice, France, September 14-17, 1999, Proceedings

Simulating blood cells for biomedical applications is a challenging goal. Whether you want to investigate blood flow behavior on the cell scale, or use a blood cell model for fast computational proto …

In the theory of splines, a function is approximated piece-wise by (usually cubic) polynomials. Quasi-splines is the natural extension of this, allowing us to use any useful class of functions adapte …

Basic Gambling Mathematics: The Numbers Behind the Neon, Second Edition explains the mathematics involved in analyzing games of chance, including casino games, horse racing and other sports, and lott …

In terms of statistics, GIS offers many connections. With GIS, data are gathered, displayed, summarized, examined, and interpreted to discover patterns. Spatial Mathematics: Theory and Practice throu …

Microcomputer Quantum Mechanics combines the teaching of computing skills with depth of mathematical understanding. This practical text demonstrates how computation can be integrated with theoretical …

”Based on the proceedings of the first conference on superconvergence held recently at the University of Jyvaskyla, Finland. Presents reviewed papers focusing on superconvergence phenomena in the fi …

This book provides an introduction to the analysis of multivariate data.It describes multivariate probability distributions, the preliminary analysisof a large -scale set of data, princ iple componen …

Unique in scope, Optimal Control: Weakly Coupled Systems and Applications provides complete coverage of modern linear, bilinear, and nonlinear optimal control algorithms for both continuous-time and …

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 …

Completely updated, this graduate text describes the current state of boiling heat transfer and two-phase flow, in terms through which students can attain a consistent understanding. Prediction of re …