(1) Formal Methods, Informally: How to Write Programs That Work Carroll Morgan ISBN: 9781009420990 Cambridge University Press View at publisher
(2) One Hundred Years of Game Theory: A Nobel Symposium Mark Voorneveld; Jörgen W. Weibull; Tommy Andersson; Roger Myerson; Jean-François Laslier; Rida Laraki; Yukio Koriyama ISBN: 9781009686044 Cambridge University Press View at publisher
(3) Quantum Computing Unveiled: A Concise Course with Topological Extensions Yidun Wan ISBN: 9781009656078 Cambridge University Press View at publisher
(4) Shipping Machine Learning Systems: A Practical Guide to Building, Deploying, and Scaling in Production Mohamed El-Geish; Shabaz Patel; Anand Sampat; Hira Dangol ISBN: 9781009127356 Cambridge University Press View at publisher
(5) Designing Serious Games by Magy Seif El-Nasr, Elin Carstensdottir and Michael John ISBN: 9780262049986 MIT Press View at publisher
(6) Problem Solving with Python: Using Computational Thinking in Everyday Life by Michael D. Smith ISBN: 9780262383677 MIT Press View at publisher
(7) Robophilosophy: Philosophy of, for, and by Social Robotics Edited by Johanna Seibt, Raul Hakli and Marco Norskov ISBN: 9780262044981 MIT Press View at publisher
(8) Value Sensitive Design, second edition: Shaping Technology with Moral Imagination by Batya Friedman and David G. Hendry ISBN: 9780262384605 MIT Press View at publisher
(9) The Last Human Job: Seeing Each Other in an Age of Automation Allison Pugh ISBN: 9780691243771 Princeton University Press View at publisher