(1) Descriptive Complexity, Canonisation, and Definable Graph Structure Theory Martin Grohe ISBN: 9781107014527 Cambridge University Press View at publisher
(2) Reliability and Availability Engineering: Modeling, Analysis, and Applications Kishor S. Trivedi; Andrea Bobbio ISBN: 9781316163047 Cambridge University Press View at publisher
(3) State Estimation for Robotics Timothy D. Barfoot ISBN: 9781316671528 Cambridge University Press View at publisher
(4) Streaming, Sharing, Stealing: Big Data and the Future of Entertainment by Michael D. Smith and Rahul Telang ISBN: 9780262534529 MIT Press View at publisher
(5) Thinking as Computation: A First Course by Hector J. Levesque ISBN: 9780262534741 MIT Press View at publisher
(6) The Great Formal Machinery Works Jan von Plato ISBN: 9780691174174 Princeton University Press View at publisher
(7) Computers in Education: A Half-Century of Innovation Suppes, Patrick ISBN: 9781575868707 University of Chicago Press View at publisher