(8) Polygraphs: From Rewriting to Higher Categories Dimitri Ara; Albert Burroni; Yves Guiraud; Philippe Malbos; François Métayer; Samuel Mimram ISBN: 9781009498968 Cambridge University Press View at publisher
(9) Probabilistic Data-Driven Modeling Tomaso Aste ISBN: 9781009221887 Cambridge University Press View at publisher
(10) Verification, Validation, and Uncertainty Quantification in Scientific Computing William L. Oberkampf; Christopher J. Roy ISBN: 9781009031004 Cambridge University Press View at publisher
(11) What Is Life?: Evolution as Computation by Blaise Agüera y Arcas ISBN: 9780262554091 MIT Press View at publisher