1 - Continued fractions : analytic theory and applications |
2 - Formal specification and software development |
3 - Lectures on elliptic boundary value problems |
4 - Operator algebras : Theory of C-Algebras and von Neumann algebras. Volume 3 |
6 - The arithmetic theory of quadratic forms |