The Aswân Obelisk
Reginald Engelbach
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg ...
Dieter Hutter
Linguistic Bodies
Hanne de Jaegher & Ezequiel A. Di Paolo & Elena Clare Cuffari
The Boy Who Would Live Forever: A Novel of Gateway
Frederik Pohl
Democracy and Education - Introduction to the Philosophy of ...
John Dewey
Mathematical Logic Through Python
Yannai A. Gonczarowski & Noam Nisan
Mathematical Logic and Computation
Jeremy Avigad
Managing Cloud Native Data on Kubernetes: Architecting Cloud ...
Jeff Carpenter & Patrick McFadin
Podman in Action: Secure, Rootless Containers for Kubernetes, ...
Daniel Walsh
Implementing Enterprise Observability for Success: Strategically ...
Manisha Agrawal & Karun Krishnannair