Jean-Yves Girard 
Typed Lambda Calculi and Applications [PDF ebook] 
4th International Conference, TLCA’99, L’Aquila, Italy, April 7-9, 1999, Proceedings

Outstanding User Interfaces with Shiny provides the reader with necessary knowledge to develop beautiful and highly interactive user interfaces. It gives the minimum requirements in HTML/Java Script …

This timely book explores certain modern topics and connections at the interface of harmonic analysis, ergodic theory, number theory, and additive combinatorics. The main ideas were pioneered by Bour …

This is a textbook for advanced undergraduate students and beginning graduate students in applied mathematics. It presents the basic mathematical foundations of stochastic analysis (probability theor …

How can we solve the national debt crisis? Should you or your child take on a student loan? Is it safe to talk on a cell phone while driving? Are there viable energy alternatives to fossil fuels? Wha …

Since quasi-uniform spaces were defined in 1948, a diverse and widely dispersed literatureconcerning them has emerged. In Quasi-Uniform Spaces, the authors present a comprehensivestudy of these struc …

This book focuses on the class of large-scale stochastic systems, which has dominated the attention of many academic and research groups. It discusses distributed-sensor networks, decentralized detec …

Providing complete expository and research papers on the geometric and analytic aspects of Fourier analysis, this work discusses new approaches to classical problems in the theory of trigonometric se …

Nonlinear algebra provides modern mathematical tools to address challenges arising in the sciences and engineering. It is useful everywhere, where polynomials appear: in particular, data and computat …

This book introduces acoustic wave theories using a reader-friendly matrix-based linear algebra approach. It will enable the reader to take advantage of software tools such as MATLAB (commercial code …