Functional Analysis, Spectral Theory, and Applications | Manfred Einsiedler, Thomas Ward