Thomas Ehrhard & Jean-Yves Girard 
Linear Logic in Computer Science [PDF ebook] 

Choice Outstanding Title, September 2020 This book fills a gap in the middle ground between quantum mechanics of a single electron to the concept of a quantum field. In doing so, the book is divided …

The first unified, in-depth discussion of the now classical Gelfand-Naimark theorems, thiscomprehensive text assesses the current status of modern analysis regarding both Banachand C*-algebras.Charac …

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 …

This text presents a wide variety of common types of models found in other mathematical modeling texts, as well as some new types. However, the models are presented in a very unique format. A typical …

Calculations once prohibitively time-consuming can be completed in microseconds by modern computers. This has resulted in dramatic shifts in emphasis in applied statistics. Not only has it freed us f …

Using data from one season of NBA games, Basketball Data Science: With Applications in R is the perfect book for anyone interested in learning and applying data analytics in basketball. Whether asses …

More Random Walks in Science is an anthology of fascinating and frequently amusing anecdotes, quotations, illustrations, articles, and reviews that reflect the more lighthearted aspects of the scient …

This book is a collection of research papers on a wide variety of multigrid topics, including applications, computation and theory. It represents proceedings of the Third Copper Mountain Conference o …

This book is based on the proceedings of the Fifth Northeast Conference on General Topology and Applications, held at The College of Staten Island – The City University of New York. It provides insig …

This work offers detailed coverage of every important aspect of symmetric structures in function of a single real variable, providing a historical perspective, proofs and useful methods for addressin …