Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing - Hardcover

Computing and Simulation for Engineers - Paperback

Algebraic Surfaces - Paperback

Higher Education for the Sustainable Development Goals: Bridging the Global North and South - Hardcover

Drones and the Law: International Responses to Rapid Drone Proliferation - Hardcover