The Book Review Column

Abstract

Games on Graphs: From Logic and Automata to Algorithms (Cambridge University Press, 2026), by Nathana¨el Fijalkow (Ed.) (University of Warsaw), is a collection of articles on infinite duration games on graphs, with applications in program verification and synthesis. Extremal Graph and Hypergraph Theory (Cambridge University Press, 2026), by Dhruv Mubayi (University of Illinois, Chicago) and Jacques Verstraete (University of California, San Diego), contains both introductory and advanced material in extremal graph theory, hypergraph theory and Ramsey theory. Quantum Computing: Foundations and Practice (Oxford University Press, 2026), by Steven Herbert (University of Cambridge), presents the most important quantum algorithms and communication protocols, weighs the question of quantum advantage, and addresses the subject of quantum error correction.