Whats a good book on the fundamentals of Computer Science

I know its a general question, but I just want to find out if there a book out there that deals with stuff like automata theory, concurrency control, algorithms, Dependency injection, optimistic locking, lazy loading, searching, sorting, exceptions ... just good ol' CS concepts.

I have a decent Computer Science background but wasn't a CS major (I did Computer Engineer but gravitated to programming and networking courses) so I feel like my fundamentals are not as strong as they should be.

I have been programming professionally (C#, PHP, Ruby/Rails etc) for years, but want to become much much better at the fundamentals.