I recommend _Geometry of Cuts and Metrics_ by Deza and Laurent, which is available from Deza's page. Other notable sources are:
* Embeddings and extensions in analysis by Wells and Williams: a short and accessible book which focuses on isometric embeddings. Unfortunately, it was out of print last time I checked.
* Asymptotic theory of finite dimensional normed spaces by Milman and Schechtman -- because it helps to understand the geometry of normed spaces before trying to embed things into them.
* Geometric nonlinear functional analysis by Benyamini and Lindenstrauss is very much related but has a different emphasis.
* Everything written by Assaf Naor.