The Book Review Column

Abstract

In this issue I want to spotlight two important new releases. Jeff Shallit's The Logical Approach to Automatic Sequences introduces the software Walnut for deciding first-order statements in Buchi arithmetic. This software has been used to prove hundreds of results in combinatorics on words. Can the junior's dream of replacing the pumping lemma with a similar software be far behind? Data Science in Context is a new textbook by Alfred Spector, Peter Norvig, Chris Wiggins and Jeannette Wing that addresses the breadth, oppportunities and perils of the field. Its new feature is a sevenelement analysis rubric for determining data science's applicability to a proposed application. Please consider reviewing these books or a new release that you find important and of interest to the TCS community.