Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
He Who Fights with Monsters 10: A LitRPG Adventure
Shirtaloon & Travis Deverell
Beck v21[MonE]
Unknown
Destroy All Humans. They Can't Be Regenerated. A Magic: The ...
Story by Katsura Ise, Art by Takuma Yokota
Night's Dawn Trilogy The
Peter Hamilton