Davide Sangiorgi 
Introduction to Bisimulation and Coinduction [PDF ebook] 

The literature on the spectral analysis of second order elliptic differential operators contains a great deal of information on the spectral functions for explicitly known spectra. The same is not …

First Published in 2018. The emphasis of the book is calculational, and most computations are presented in step-by-step detail. The book is unique in that it develops all three representations of …

This volume is based on the proceedings of the Hopf-Algebras and Quantum Groups conference at the Free University of Brussels, Belgium. It presents state-of-the-art papers – selected from over 65 …

Cybersecurity Analytics is for the cybersecurity student and professional who wants to learn data science techniques critical for tackling cybersecurity challenges, and for the data science student a …

This book presents an account of recent results on the theory of representations and the harmonic analysis of free groups. It emphasizes the analogy with the theory of representations of noncompact …

Lattice theory extends into virtually every branch of mathematics, ranging from measure theory and convex geometry to probability theory and topology. A more recent development has been the rapid esc …

This reference – based on the Conference on Differential Equations, held in Bologna – provides information on current research in parabolic and hyperbolic differential equations. Presenting methods …

Avoiding lengthy mathematical discussions, this reference specifically addresses issues affecting the day-to-day practices of those who design, operate, and purchase liquid pipelines in the oil, …

The aim of Spectral Geometry of Partial Differential Operators is to provide a basic and self-contained introduction to the ideas underpinning spectral geometric inequalities arising in the theory of …

This book illuminates the complex process of problem solving, including formulating the problem, collecting and analyzing data, and presenting the …