Title: Collected Stories of Vernor Vinge