Mitchell's ML book is showing its age a bit now. You may want to consider adding Bishop's _Pattern Recognition and Machine Learning_: http://research.microsoft.com/en-us/um/people/cmbishop/prml/