Is nerds book 4 out in public libraries yet?

I don't know. Somebody Answer this question for me.