Mechanizing Mathematical Reasoning: Essays in Honor of Jörg ...
Dieter Hutter
Knowledge Representation: An Approach to Artificial Intelligence
T. J. M. Bench-Capon
Supply Chain as Strategic Asset: The Key to Reaching Business ...
Vivek Sehgal
What Are We?: A Study in Personal Ontology
Eric T. Olson
From Bacteria to Bach and Back
Daniel Clement Dennett
DevOps Culture and Practice With OpenShift: Deliver Continuous ...
Tim Beattie & Mike Hepburn & Noel O’connor & Donal Spring
Docker in Action
Jeff Nickoloff & Stephen Kuenzli
Docker in Practice
Ian Miell & Aidan Hobson Sayers
Mastering Proxmox
Wasim Ahmed
Podman in Action: Secure, Rootless Containers for Kubernetes, ...
Daniel Walsh