I came from a household with three smokers (at least, depending on who visited) who smoked 100% indoors.
This, naturally, posed a problem when we moved into a clean-smelling house, especially since neither of us are smokers.
Google searches and Instructables searches for removing such odors were for small quantities or for rooms, and I couldn't find anything for doing hundreds of books in a short amount of time.
I wracked my brain, packed with limited household skills (so far) and hit upon an idea.
Back when I had gerbils, years ago, I used cedar shavings as bedding. While most pet stores and pet professionals will strongly advise against using cedar shavings for bedding for rodents these days, there was a side effect that I was most interested in taking advantage of.
Back then, cedar shavings made my bedroom smell absolutely wonderful.
I hopped in the car and drove out to a nearby chain pet store and picked up a 2 cubic foot package of cedar shavings for under 12 bucks.
If you have access to cedar chips or shavings from somewhere else, you could save yourself the gas and cost of the purchased package.