Charles Stross: The Laundry files

Demons are real, and they are summoned with computation and mathematics, great book series