The first book you listed is one that I actually just bought. I found it to be pretty good. However, although I know the year in the title of the book I am going to recommend next might scare you off, I would highly recommend it.
AutoCAD 2007 3-D Modeling A Visual Approach by Alan J. Kalameja. It comes with a CD of sample drawings keyed to the chapters.