David Sarnoff Research Center. Library