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

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 …

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 unique book presents a particularly beautiful way of looking at special relativity. The author encourages students to see beyond the formulas to the deeper structure. The unification of space an …

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 …

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 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 …

Since its original publication in 1969, Mathematics for Engineers and Scientists has built a solid foundation in mathematics for legions of undergraduate science and engineering students. It continue …

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 …

‘Based on papers presented at a recent international conference on algebra and algebraic geometry held jointly in Antwerp and Brussels, Belgium. Presents both survey and research articles featuring n …

This volume contains invited papers presented at the 15th Dundee Biennial Conference on Numerical Analysis held at the University of Dundee in June of 1993. The Dundee Conferences are important event …