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 …

Learn the basics of white noise theory with White Noise Distribution Theory. This book covers the mathematical foundation and key applications of white noise theory without requiring advanced knowled …

This book contains the major works of Ivan Georgievich Petrowsky on systems of partial differential equations and algebraic geometry. The articles are of crucial importance for the topology of real a …

This book covers several of the statistical concepts and data analytic skills needed to succeed in data-driven life science research. The authors proceed from relatively basic concepts related to com …

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 …

”An Introduction to Integral Transforms” is meant for students pursuing graduate and post graduate studies in Science and Engineering. It contains discussions on almost all transforms for normal us …

Probability plays an essential role in making decisions in areas such as business, politics, and sports, among others. Professor Rabinowitz, based on many years of teaching, has created a textbook su …

Robust Regression: Analysis and Applications characterizes robust estimators in terms of how much they weight each observation discusses generalized properties of Lp-estimators. Includes an algorithm …