This is a list of books for programmers, not computer scientists, with the exception of Knuth's book, which is for both.

For example, Hopcroft & Ullman's "Formal Languages and their Relation to Automata" is nowhere to be found, neither is its second edition "Introduction to Automata Theory, Languages and Computation". Nor is there anything else on formal languages and automata, or complexity theory, boolean, propositional, and first-order logic, boolean satisfiability, (gasp) category theory, type theory, and so on and so forth.

So why not? Obviously programming texts are very useful and you have to be on top of that material if you want to call yourself a "computer scientist", but why is all the theoretical computer science missing? Don't "streetfighting computer scientists" need it? How do you get in a fight with someone who knows their finite state automata from their pushdown automata, and don't expect to get a bloody nose?