Mechanizing Mathematical Reasoning: Essays in Honor of Jörg ...
Dieter Hutter
The Routledge Companion to Twentieth-Century Philosophy
Dermot Moran
Knowledge Representation and the Semantics of Natural Language ...
Hermann Helbig
Continuous Architecture in Practice: Software Architecture in ...
Murat Erder & Pierre Pureur & Eóin Woods
Individuation and Narcissism: The Psychology of Self in Jung ...
Mario Jacoby
Multi-Cloud Handbook for Developers: Learn How to Design and ...
Subash Jacob Natarajan & Jeveen Jacob