Mechanizing Mathematical Reasoning: Essays in Honor of Jörg ...
Dieter Hutter
Postmodernism and Neoliberalism in Latin America
Martín Hopenhayn
Building Progressive Web Apps: Bringing the Power of Native ...
Tal Ater
Understanding Engineering Mathematics
John Bird
Deductive Logic in Natural Language
Douglas Cannon
Software Testing Foundations: A Study Guide for the Certified ...
Andreas Spillner & Tilo Linz