(1) Computational Logic and Human Thinking: How to Be Artificially Intelligent Robert Kowalski ISBN: 9780521123365 Cambridge University Press View at publisher
(2) Gröbner Bases and Applications Bruno Buchberger; Franz Winkler ISBN: 9780511565847 Cambridge University Press View at publisher
(3) Markov Random Fields for Vision and Image Processing Edited by Andrew Blake, Pushmeet Kohli and Carsten Rother ISBN: 9780262015776 MIT Press View at publisher
(4) Homi Bhabha and the Computer Revolution Shyamasundar; Pai ISBN: 9780198072461 Oxford University Press View at publisher
(5) Delete Viktor Mayer-Schönberger ISBN: 9780691150369 Princeton University Press View at publisher
(6) Google's PageRank and Beyond Amy N. Langville and Carl D. Meyer ISBN: 9781400830329 Princeton University Press View at publisher
(7) Validated Numerics Warwick Tucker ISBN: 9780691147819 Princeton University Press View at publisher