Book Review Website Maintained by William Gasarch
I was SIGACT NEWS book review editor from 1997 until 2015. All of the columns are pointed to below.
Then the editor was Fred Green. His columns are here On this website I also include the columns I wrote for him.
Book Reviews I did when Fred and Nick was Editor. All are in SIGACT News.
7 Books on Ramsey Theory (to appears)
Prime Suspects Graphic Novel (to appears)
The New Mathematical Coloring Book (Vol 55, No. 4, 2024)
200 Problems on Languages, Automta, and Computation (Vol 55, No. 3, 2024)
Once Upon a Prime AND Arm in Arm. Vol 55, No. 2, 2024
A Mathematicians Apology AND An Applied Mathematicans Apology. Vol 55, No. 1, 2024
Should You Believe Wikipedia? by Amy Bruckman. Vol 54. No. 4, 2023
Leibniz on Binary. Vol 54, No. 3, 2023
The Mathematics of Various Entertaining Subjects (3 books) Vol 54. No. 1. 2023
The Engines of Cognition by the Less Wrong Comm. Vol 53, No. 3, 2022
A Map that Reflects the Territory by the Less Wrong Comm.. Vol 53, No 1, 2022
Ideas that created the future edited by Harry Lewis. Vol 52, No. 3, 2021
Blown to bits by Hal Abelson, Ken Ledeen, Harry Lewis, Wendy Seltzer. Vol 42, No. 3, 2021
Theorems of the 21st Century: Volume I by Bogdan Grechuk. Vol 51, No. 3, 2021
Essential Discrete Math for Computer Science by Lewis and Zax. Vol 51, No. 2, 2021
Factor Man by Matt Ginsberg. Vol 50, No. 4, 2021
Q is for Quantum by Terry Rudolph. Vol 42, No. 3, 2021
Ramsey Theory for Discrete Structures by Hans Jurgen and Promel. Vol 48, No 4. 2017
Turing computability: Theory and Application by Robert Soare. Vol 47, No. 4. 2016
The joy of factoring by Samuel Wagstaff. Vol 47, No 2. 2016
Asymptotia by Joel Spencer and Laura Florescu. Vol 47, No. 2, 2016
What is College For? edited by Ellen Condliffe and Harry Lewis. Vol 47, No 1. 2016
The scholar and the state: In search of Van der Waerden by Alex Soifer. Vol 47, No 1. 2016
Ramsey Theory over the Integers by Bruce Landmann and Aarons Robertson. Vol 47, No 2. 2016
Mathematics Galore by James Tanton. Vol 46, No 4. 2016
The Cult of Pythagoras by Alfred Matinez. Vol 46, No 4. 2016
Martin Gardner in the 21st Century Edited by Henle and Hopkins. Vol 46, No 2. 2016
Love and Mathematics by Edward Frenkel. Vol 46, No 2. 2016
Structure and Randomness: Year one of a math blog by Terrance Tao. Vol 46, No 2. 2016
Book Reviews Columns when I was Book Review editor. All are SIGACT News.
Digital Signatures by Jonathan Katz. Reviewed by Subhayan Roy Moulick.
A Walk Through Combinatorics by Miklos Bona. Review by Bill Gasarch.
A Wealth of Numbers: An Anthology of 500 Years of Popular Mathematics writing. by Benjamin Wardhaugh. Review by Omar Shehab.
A Guide to Experimental Algorithms by Catherine McGeoch. Review by Shoshana Marcus.
Fundamentals of Parameterized Complexity (second edition) by Rodney Downey and Michael Fellows. Review by Rajesh Chitnis.
The King of Infinite Space: Euclid and his Elements by David Berlinski. Review by Eownyn Cenek.
The Universal Computer. The road from Leibniz to Turing by Martin Davis. Review by Haim Kilov.
From Zero to Infinity by Constance Reid. Review by John Tucker Bane.
The LLL Algorithm Edited by Phong Nguyen and Brigitte Vallee. Review by Krishnan Narayanan.
Classic Papers in Combinatorics Edited by Ira Gessel and Gian-Carlo Rota. Review by Arya Mazumdar.
Mathematical Treks by Ivars Peterson. Review by John Tucker Bane.
Six Sources of Collapse by Charles Hadlock. Review by Eowyn Cenek.
Visions of Infinity: The Great Mathematical Problems by Ian Stewart. Review by Aravind Srinivasan.
The Satisfiability Problem: Algorithms and Analyses by Uwe Schoning and Jacobo Toranns. Review by William Gasarch.
Understanding Cryptography: A Textbook for Students and Practitioners by Christof Paar and Jan Pelzl. Review by Subhayan Roy Moulick.
The Erdos Distance Problem by Julia Garibaldi, Alex Iosevich, Steven Senger. Review by William Gasarch.
Clustering in Bioinformatics and Drug Design by John MacCuish and Norah MacCuish. Review by Mohsen Mahmoudi Aznaveh.
The Block Cipher Companion by Lars Knudsen and Matthew Robshaw. Review by Jonathan Katz.
Networked Life: 20 Questions and Answers by Mung Chiang. Review by Jonathan Katz.
Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach by Bruno Courcelle and Joost Engelfriet. Review by Michael Cadilhac.
Basic Phylogenetics Combinatorics by Andreas Dress, Katharine Huber. Review by Kipper Fletez-Brant.
Analytic Combinatorics in Several Variables by Robin Pemantle and Mark Wilson. Review by Miklos Bona.
The Tower of Hanoi - Myths and Maths by Andreas Hinz, Sandi Klavvzar, Urovs Milutinovic, Ciril Petr. Review by Laszlo Kozma.
Selected Papers on Discrete Mathematics by Donald Knuth. Review by Daniel Apon.
Selected Papers on Design of Algorithms by Donald Knuth. Review by Daniel Apon
Selected Papers on Fun & Games by Donald Knuth. Review by William Gasarch.
Companion to the Papers of Donald Knuth by Donald Knuth. Review by William Gasarch.
Horizons of Combinatorics (Conference on Combinatorics Edited by Ervin Gyori, Gyula Katona, Laszlo Lovasz.
Building Bridges (In honor of Laszlo Lovasz's 60th birthday-Vol 1) Edited by Martin Grotschel and Gyula Katona.
Fete of Combinatorics and Computer Science (In honor of Laszlo Lovasz's 60th birthday-Vol 2) Edited by Gyula Katona, Alexander Schrijver, and Tamas.
Erdos Centennial (In honor of Paul Erdos's 100th birthday) Edited by Laszlo Lovasz, Imre Ruzsa, Vera Sos.
Bayesian Reasoning and Machine Learning by David Barber Review by Matthias Galle.
Integrated Methods for Optimization by John Hooker. Review by Shyamala Nagaraj.
Programming with Higher-Order Logic by Dale Miller and Gopalan Nadathur. Review by Vaishak Belle.
People, Problems, and Proofs by Richard Lipton and Ken Regan. Review by William Gasarch.
Who's Bigger? Where Historical Figures Really Rank by Steven Skiena and Charles Ward. Review by Nicholas Mattei.
In Pursuit of the Unknown: 17 Equations That Changed the World by Ian Stewart. Review by Omar Shehab.
Unauthorized Access: The Crisis in Online Privacy and Security by Robert Sloan and Richard Warner. Review by Harry Lewis
Boolean Functions - Theory, Algorithms, and Applications by Yves Crama and Peter Hammer. Review by Haris Aziz.
Additive Combinatorics by Terence Tao and Van Vu. Review by Raghunath Tewari.
Discrete and Computational Geometry by by Satyan Devadoss and Joseph O'Rourke. Review by Brittany Teresa Fasy and David Millman.
Iterative Methods in Combinatorial Optimization by by Lap Chi Lau, R Ravi and Mohit Singh. Review by Yang Li.
Perspectives on Projective Geometry by Jurgen Richter-Gebert. Review by Servino Coutinho.
Who's #1?: The Science of Ranking and Rating by Amy Langville and Carl Meyer. Review by Nicholas Mattei.
Boosting : Foundations and Algorithms by Robert Schapire and Yoav Freund. Review by Shiva Kintali.
The Honor Class: Hilbert's Problems and Their Solver by Ben Yandell. Review by Bill Gasarch.
Mathematical Developments arising from Hilbert's Problems. Edited by Felix Browder. Review by Bill Gasarch.
Variable-length Codes for Data Compression by David Salomon. Review by Farhan Nasim.
History of Mathematics - Highways and Byways by Amy Dahan-Dalmedico and Jeanne Peiffer (Translated by Sanford Segal). Review by Shyamala Nagaraj.
Identity-Based Encryption by Sanjit Chattarjee and Palash Sarkar. Review by Jonathan Katz.
Resources for Teaching Discrete Mathematics edited by Brian Hopkins. Review by Myriam Abramson.
Proofs and Algorithms by Gilles Dowek (translation by Maribel Fernandez). Review by Michael Cadilhac.
Introduction to Computational Proteomics by Golan Yona. Review by Dimitris Papamichail.
Computability and Complexity Theory by Steven Homer and Alan Selman. Review by Jeffrey Shallit.
Quantum Computing Since Democritus by Scott Aaronson. Review by Frederic Green.
Algorithmic Puzzles by Anany Levitin and Maria Levitin. Review by William Gasarch.
Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography by Juraj Hromkovic. Review by Richard Jankowski.
The Mathematics of Life by Ian Stewart. Review by Aaron Sterling.
Universal Semantic Communication by Brendan Juba. Review by Wesley Calvert.
Graph Algorithms (2nd edition) by Shimon Even, edited by Guy Even. Review by Anthony Labarre.
How to Fold It by Joseph O'Rourke. Review by Brittany Teresa Fasy and David Millman.
Bioinformatics for Biologists Edited by Pavel Pevzner and Ron Shamir. Review by Dimitris Papamichail.
Extremal Combinatorics with Applications to Computer Science (2nd edition) by Stasys Jukna. Review by Miklos Bona.
Enumerative Combinatorics, Volume 1, Second Edition by Richard Stanley. Review by Ang`ele Hamel.
Combinatorial Optimization by B. Korte and J. Vygen. Review by Akash Kumar.
The Golden Ticket: P, NP, and the Search for the Impossible by Lance Fortnow. Review by Cynthia DiPaula and Andrew Wonnacott.
Probably Approximately Correct by Leslie Valiant. Review by Joshua Brule.
How to Solve It: A New Aspect of Mathematical Method by Polya. Review b Mohsen Vakilian.
Street-Fighting Mathematics by Mahajan. Review by Mohsen Vakilian.
Grammatical inference: learning automata and grammars by Colin de la Higuera. Review by Matthias Galle.
Logical Foundation of Proof Complexity by Stephen Cook and Phuong Nguyen. Review by Arthur Milchior.
Exact Exponential Algorithms by Fedor Fomin and Dieter Kratsch. Review by Michael Lampis.
Bioinspired Computation in Combinatorial Optimization by Frank Neumann and Carsten Witt. Review by Sven Herrmann.
Triangulations: Structure for Algorithms and Applications by Jesus De Lorea, Jorg Rambau, and Francisco Santos. Review by Michael Murphy.
Flows in Networks by Lester Ford and Delbert Fulkerson. Review by Yixin Cao.
Quantum Computing - A Gentle Introduction by Eleanor Rieffel and Wolfgang Polak. Review by Kyriakos Sgarbas.
The Art of Computer Programming: Volume 4A by Donald Knuth. Review by John Rogers.
Boolean Function Complexity: Advances and Frontiers by Stasys Jukna. Review by William Gasarch.
P, NP, and NP-Completeness by Oded Goldreich. Review by Shyamala Nagaraj.
Bijective Combinatorics by Nicholas Loehr. Review by Miklos Bona.
Surveillance or Security? By Susan Landau. Review by Tal Moran.
Spyware and Adware by John Aycock. Review by Dave Werden
Burdens of Proof by Jean-Franc cois Blanchette. Review by Harry Lewis.
Boolean Models and Methods in Mathematics, Computer Science, and Engineering Edited by Yves Crama and Peter Hammer. Review by Marcin Kaminski.
Algorithmic Randomness and Complexity by Downey and Hirschfeldt. Review by Jason Teutsch.
Information Retrieval By Buettcher, Clarke, Cormack. Review by Paul Rubin.
Models of Conflict and Cooperation by Rick Gillman and David Housman. Review by Mark Wilson.
Applied Information Security by David Basin, Patrick Schaller, and Michael Schlapfer. Review by Jonathan Katz.
Introduction to Bio-Ontologies by Peter Robinson and Sebastian Bauer. Review by Mohsen Mahmoudi Aznaveh.
The Dots and Boxes Game: Sophisticated Child's Play by Elwyn Berlekamp. Review by Omar Shehab.
Algorithmic Cryptanalysis. By Antoine Joux. Review by Alexandra Anzala-Yamajako.
Algorithmic Bioprocesses. Edited by Condon, Harel, Kok, Salomaa, Winfree. Review by Aaron Sterling.
Vehicular Networks, from Theory to Practice. Edited by Stephan Olariu and Michele Weigle. Review by Yu Wang.
Graph Theory and Interconnection Networks. By Lih-Hsing Hsu and Cheng-Kuan Lin. Review by Francesco Silvestri.
Transitions and Trees: An Introduction to Structural Operational Semantics. By Hans Huttel. Review by Steven Falke.
Origins and Foundations of Computing. By Friedrich Bauer. Review by Haim Kilov.
Introduction to Scheduling. Edited by Yves Robert and Frederic Vivien. Review by Ben Fulton.
Semantic Techniques in Quantum Computation. Edited by Simon Gay and Ian Mackie. Review by Kyriakos Sgarbas.
Modern Computer Arithmetic. By Richard Brent and Paul Zimmermann. Review by Song Yan.
Combinatorial Games: Tic-Tac-Toe Theory by Jozsef Beck. Review by William Gasarch.
Algorithmic Adventures: From Knowledge to Magic by Juraj Hromkovivc. Review by Antonio Porreca.
Applied Algebra: Codes, Ciphers and Discrete Algorithms by Darel Hardy, Fred Richman, and Carol Walker. Review by Yulai Xie.
Models of Computation - An Introduction to Computability Theory by Maribel Fernandez. Review by Jose de Oliveira Guimaraes.
Handbook of weighted Automata Edited by Manfred Droste, Werner Kuich and Heiko Vogler. Review by Michael Cadilhac
Matching Theory by Laszlo Lovasz and Michael Plummer. Review by Haris Aziz.
Introduction to Mathematics of Satisfiability by Victor Marek. Review by Stephen Falke.
Elements of Automata Theory by Jacques Sakarovitch. Review by Shiva Kintali.
Combinatorial Pattern Matching Algorithms in Computational Biology Using Perl and R by Gabriel Valiente. Review by Anthony Labarre.
In Pursuit of the Traveling Salesman by William Cook. Review by Haris Aziz.
Permutation Patterns Edited by Steve Linton, Nik Ruv skuc, Vincent Vatter. Review by Karolina Soltys.
A Concise Introduction to Data Compression by David Salomon. Review by Ville Hautamaki.
Parallel Algorithms by Henri Casanova, Arnaud Legrand, and Yves Robert. Review by Mihai Pop.
Polynomia And Related Realms by Dan Kalman. Review by Akash Kumar.
Biscuits of Number Theory Edited by Arthur Benjamin and Ezra Brown. Review by Jeffrey Shallit.
Combinatorial Geometry and Its Algorithmic Applications: The Alcala Lectures by Janos Pach and Micha Sharir. Review by Sergio Cabello.
Handbook of Large-Scale Random Networks Edited by : Bela Bollobas, Robert Kozma and Deszo Miklos. Review by Gabriel Istrate.
Algorithms and Theory of Computation Handbook Edited by : Mikhail Atallah and Marina Blanton. Review by Nick Papanikolaou.
Primality testing and integer factorization in public key cryptography by Song Yan. Review by Severino Coutinho
Process Algebra: Equational Theories of Communicating Processes by Jos Baeten, Twan Basten, and Michel Reniers. Review by Wesley Calvert.
Insider Threats in Cyber Security Edited by Probst, Hunker, Gollman, and Bishop. Review by Kim-Kwang Raymond Choo.
The Cryptoclub: Using Mathematics to Make and Break Secret Codes by Janet Beissinger and Vera Pless. Review by Abu Mohammad Omar Shehab Uddin Ayub.
Cryptanalysis Attacks on RSA by Song Yan. Review by Leo Irakliotis.
Cryptanalysis of RSA and its variants by Jason Hinek. Review by Antoine Rojat.
Understanding and Applying Cryptography and Data Security by Adam Elbirt Review by Jeremy Barbay.
Efficient Secure Two-Party Protocols: Techniques and Constructions by Carmit Hazay and Yehuda Lindell. Review by Jonathan Katz.
Theory of Computation by Dexter Kozen. Review by Daniel Apon.
Codes: an introduction to information communication and cryptography by Normal L Biggs. Review by Robert Low.
Finite Fields and Applications by Gary Mullen and Carl Mummert Review by Jeffrey Shallit
The Life and Times of the Central Limit Theorem by William Adams. Review by Miklos Bona.
Pearls of Discrete Mathematics by Martin Erickson. Review by Robert Szarka.
Design Theory by Charles Lindner and Christopher Rodger. Review by Dimitris Papamichail.
An Introduction to the History of Algebra: Solving Equations from Mesopotamian Times to the Renaissance by Jacques Sesiano. Review by William Gasarch.
Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography by Yves Nievergelt. Review by Saif Terai.
Rippling: Meta-Level Guidance For Mathematical Reasoning by Alan Bundy, David Basin, Dieter Hutter, and Andrew Ireland. Review by Maulik Dave.
Handbook of Nature-Inspired and Innovative Computing Edited by Albert Zomaya. Review by Aaron Sterling.
Algorithms and Data Structures: The Basic Toolbox by Kurt Mehlhorn and Peter Sanders. Review by Hal Elrod.
The Algorithm Design Manual (Second Edition) By Steven Skiena. Review by Neelakantan Kartha.
Graph Theory: A Problem Oriented Approach by Daniel Marcus. Review by Haris Aziz.
Proofs from THE BOOK (4th edition) by Martin Aigner and Gunter Ziegler. Review by Miklos Bona.
Handbook of Chemoinformatics Algorithms Edited by Faulon, Bender. Review by Aaron Sterling.
Dynamic Fuzzy Logic and its Applications by Fanzhang. Review by Song Yan.
Erdos on Graphs: His Legacy of Unsolved Problems by Fan Chung and Ron Graham. Review by Andy Parrish.
Roots to Research by Judith Sally and Paul Sally, Jr. Review by Eowyn Cenek.
Chromatic Graph Theory by Gary Chartrand and Ping Zhang. Review by Vance Faber.
Applied Combinatorics by Fred Roberts and Barry Tesman. Review by Dimitris Papamichail. Review by Miklos Bona.
Combinatorics, A Guided Tour by David Mazur. Review by Michael Cadilhac.
Famous Puzzles of Great Mathematicians by Miodrag Petkovi. Review by Lev Reyzin.
Combinatorics – A Problem Oriented Approach by Daniel Marcus. Review by Myriam Abramson.
Probability: Theory and Examples by Rick Durrett. Review by Miklos Bona.
Games, Puzzles, & Computation by Robert Hearn and Erik Demaine. Review by Daniel Apon.
From Zero to Infinity: What Makes Numbers Interesting by Constance Reid.
Mathematics for the Analysis of Algorithms by Daniel Greene and Donald Knuth.
Algebraic Cryptanalysis by Gregory Bard.
Algebraic Function Fields and Codes by Henning Stichtenoth.
Those Fascinating Numbers by Jean-Marie De Konick.
Polya Urn Models by Hosam Mahmoud.
Not always buried deep: a second course in elementary number theory by Paul Pollack.
Pioneering Women in American Mathematics: The Pre-1940 PhD's by Judy Green and Jeanne LaDuke.
A Guide to Elementary Number Theory by Underwood Dudley.
Mathematical Tools for Data Mining: Set Theory, Partial Orders, Combinatorics by Dan Simovici and Chabane Djeraba.
Proceedings from the Gatherings for Gardner Conference. Edited by a variety of people. Review by William Gasarch.
Comprehensive Mathematics for Computer Scientists 1 by Guerino Mazzola, Gerard Milmeister, Jody Weissmann. Review by Sage LaTorra.
Creative Mathematics by Hubert Wall. Review by Jason Dyer.
Nonlinear Integer Programming by Duan Li and Xiaoling Sun. Review by Justin Melvin.
Complex Social Networks by Fernando Vega-Redondo. Review by Carl Kingsford.
The Calculus of Computation:Decision Procedures with Applications to Verification by Aaron Bradley and Zohar Manna. Review by Carlo Furia.
Algorithms on Strings by Crochemore, Hanchart and Lecroq. Review by Yiorgos Adamopoulos.
A View from the Top: Analysis, Combinatorics and Number Theory by Alex Iosevich. Review by Yannis Haralambous.
Geometric Folding Algorithms by Eric Demaine and Joseph O'Rourke. Review by Brittany Teresa Fasy and David Millman.
Geometric Algebra: An Algebraic System for Computer Games and Animation by John Vince. Review by Brittany Teresa Fasy and David Millman.
Dude, Can You Count? by Christian Constanda. Review by William Gasarch.
Computational Complexity: A Conceptual Perspective by Oded Goldreich. Review by Daniel Apon.
Computational Complexity: A Modern Approach by Sanjeev Arora and Boaz Barak. Review by Daniel Apon.
Algorithmic Game Theory A collection of articles on Algorithmic Game Theory edited by Noam Nisan, Tim Roughgarden, Eva Tardos, and Vijay Vazirani. Review by David Levin.
The 
Question and Godel's Lost Letter
by Richard Lipton.
Review by William Gasarch.
The Pea and the Sun: A Mathematical Paradox by Leonard Wapner. Review by William Gasarch.
Coding for Data and Computer Communications by by David Salomon. Review by David Werden.
Binary Quadratic Forms: An Algorithmic Approach by by Johannes Buchmann and Ulrich Vollmer. Review by Graham Coleman.
Elliptic Curves by Lawrence Washington. Review by David Chen.
Concurrent Zero-Knowledge by Alon Rosen. Review by Sarvagya Upadhyay.
Introduction to Cryptography by Hans Delfs and Helmut Knebl. Review by Cillian Murphy.
Introduction to Modern Cryptography by Jonathan Katz and Yehuda Lindell. Review by Ben Fulton.
An Introduction to Mathematical Cryptography by Jeffrey Hoffstein, Jill Pipher, and Joseph Silverman. Review by Sarah Meiklejohn.
Software Abstractions: Logic, Language and Analysis by Daniel Jackson. Review by Andrew Lee.
Random Curves: Journeys of a Mathematician by Neal Koblitz. Review by William Gasarch.
Games of No Chance (1998, Edited by Richard Nowakowski). Review by Bill Gasarch.
More Games of No Chance (2002, Edited by Richard Nowakowski). Review by Bill Gasarch.
Games of No Chance III (2009, Edited by Michael Albert and Richard Nowakowski. Review by Bill Gasarch.
Mathematical Treks: From Surreal Numbers to Magic Circles by Ivars Peterson. Review by William Gasarch.
Decisions and Elections: Explaining the Unexpected. by Donald Saari. Review by David Pritchard.
The Mathematics of Voting and Elections: A Hands-On Approach by Jonathan Hodge and Richard Klima. Review by Mark Wilson.
Branching Programs and Binary Decision Diagrams: Theory and Applications by Ingo Wegener. Review by Samuel Johnson.
Quantum Computer Science: An Introduction by N. David Mermin. Review by Eleanor Rieffel.
Cryptographic Applications of Analytic Number Theory: Lower Bounds and Pseudorandomness by Igor Shparlinski. Review by Jeffrey Shallit.
When Least is Best. How Mathematicians Discovered Many Clever Ways to Make Things as Small (or as Large) as Possible by Paul Nahin. Review by Yannis Haralambous.
The Space and Motion of Communicating Agents by Robin Milner. Review by Nick Papanikolaou.
Analytic Combinatorics by Philippe Flajolet and Robert Sedgewick. Review by Miklos Bona.
Combinatorics The Rota Way by Joesph Kung, Gian-Carlo Rota and Catherine Yan. Review by John Mount.
A Course in Enumeration by Martin Aigner. Review by Peter Boothe.
A Combinatorial Approach to Matrix Theory And Its Applications by Richard Brualdi and Dragos Cvetkovic. Review by Miklos Bona.
The Annotated Turing by Charles Petzoid. Review by Kevin Wilson.
Logicomix Text by Apostolos Doxiadis and Christos Papadimitriou! Art by Alecos Papadatos and Annie di Donna Review by William Gasarch! This is a comic book! Honest!
Proof and Other Dilemmas: Mathematics and Philosophy Edited by Bonnie Gold & Roger Simons. Review by Christopher Pincock.
Essays in Constructive Mathematics by Harold Edwards. Review by Severino Coutinho.
Is Mathematics Inevitable? A Miscellany Edited by Underwood Dudley. Review by Jose Guimaraes.
A Concise Introduction To Languages and Machines by Alan Parkes. Review by Mike Williams.
A Second Course in Formal Languages and Automata Theory by Jeffrey Shallit. Review by Kevin Wilson.
Automata Theory with Modern Applications by James Anderson. Review by Kyriakos Sgarbas.
Change is Possible: Stories of Women and Minorities in Mathematics by Patricia Clark Kenschaft. Review by Sorelle Friedler.
Riot at the Calc Exam and other Mathematically Bent Stories by Colin Adams. Review by Bill Gasarch.
The Great 
/e Debate: Which is the Best Number?
by Colin Adams VS Thomas Garrity, Moderated by Edward Burger. Review by Bill Gasarch.
The United States of Mathematics: Presidential Debate by Colin Adams VS Thomas Garrity, moderated by Edward Burger. Review by Bill Gasarch.
Data Structures and Algorithms Using Python and C. by David Reed and John Zelle. Review by Richard Jankowski. An Introduction to Data Structures and Algorithms. by James Storer. Review by Adel El-Atawy
Advanced Data Structures by Peter Brass. Review by Richard Jankowski.
The Burrows-Wheeler Transform: Data Compression, Suffix Arrays, and Pattern Matching by Donald Adjeroh, Timothy Bell and Amar Mukherjee. Review by Shoshana Neuburger.
Curve and Surface Reconstruction: Algorithms with Mathematical Analysis by Tamal Dey. Review by Matthew Sottile.
Concentration of Measure for the Analysis of Randomized Algorithms by Devdatt Dubhashi and Alessandro Panconesi. Review by Aravind Srinivasan.
The Modern Algebra of Information Retrieval by Sandor Dominich. Review by John Griffin.
Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations by Yoav Shoham and Kevin Leyton-Brown. Review by Haris Aziz.
The Political Mapping of Cyberspace by Jeremy Crampton. Review by Rajesh Natarajan.
The Princeton Companion to Mathematics by Timothy Gowers, June Barrow-Green and Imre Leader. Review by Haris Aziz.
Computer Viruses and Malware by John Aycock. Review by Michael Sanford.
Formal Correctness of Security Protocols by Giampaolo Bella. Review by Yannis Stamatiou.
Computability of Julia Sets by Mark Braverman and Michael Yampolsky. Review:by Wesley Calvert.
Quantum Computation and Quantum Communication: Theory and Experiments. by Mladen Pavicic. Review: George Hacken.
Quantum Computing for Computer Scientists By Noson Yanofsky and Mirco Mannucci. Review by Severino Coutinho.
Biologically Inspired Algorithms for Financial Modelling by Anthony Brabazon, Michael O'Neil. Review by Brad Kyer.
The Handbook of Bioinspired Algorithms and Applications Editors of Book: Stephan Olariu and Albert Zomaya. Review by Kushal Chakrabarti.
Theoretical and Experimental DNA Computation. By Martyn Amos. Review by Maulik Dave.
Coding for Data and Computer Communications By David Salomon. Review by Fatima Talib.
The Mathematical Coloring Book: Mathematics of Coloring and the Colorful Life of its Creators by Alexander Soifer. Review by William Gasarch.
Professor Stewart's Cabinet of Mathematical Curiosities by Ian Stewart. Review by Bill Gasarch.
Five Minute Mathematics by Ehrhard Behrends, Review by Bill Gasarch.
Aha Gotcha!- Aha Insight! by Martin Gardner, Review by Bill Gasarch.
Origami, Eleusis, and the Soma Cube by Martin Gardner, Review by Bill Gasarch.
Hexaflexagons, Probability Paradoxes, and The Tower of Hanoi by Martin Gardner, Review by Bill Gasarch.
Group Theory in the Bedroom and Other Mathematical Diversions by Brian Hayes. Review by Bill Gasarch.
Combinatorics and Graph Theory by Harris, Hirst, Mossinghoff. Review by Miklos Bona.
Algorithmic Combinatorics on Partial Words by Francine Blanchet-Sadri. Review by Miklos Bona .
An Introduction to Difference Equations, Third Edition by Saber Elaydi. Review by Adel El-Atawy.
Random Graphs (Second Edition) by Bela Bollobas. Review by Miklos Bona.
Chases and Escapes by Paul Nahin. Review by Eowyn Cenek.
How to Think about Algorithms by Jeff Edmonds. Review by Kryiakos Sgarbas.
A Programmer's Companion to Algorithm Analysis
by Ernst Leiss. Review by Dean Kelley.
Algorithms by Johnonbaugh and Schaefer Review by Dean Kelley.
Algorithms by Dasgupta, Christos Papadimitriou, and Umesh Vazirani. Review by Dean Kelley.
Design and Analysis of Randomized Algorithms: Introduction to Design Paradigms by Juraj Hromkovic. Review by Marious Mavronicolas.
Theoretical Aspects of Local Search by Michiels, Aarts, and Korst. Review by Jakub Marecek.
The Traveling Salesman Problem: A Computational Study by Applegate, Bixby, Chvatal, and Cook. Review by William Springer.
Visibility Algorithms in the Plane by Ghosh. Review by Alice Dean.
A Course on the Web Graph by Anthony Bonato. Review by Elisa Schaeffer.
Higher Arithmetic by Edwards. Review by Brittany Teresa Fasy and David Millman.
Blown to Bits: Your Life, Liberty, and Happiness after the Digital Explosion by Hal Abelson, Ken Ledeen, and Harry Lewis. Review by William Gasarch.
Solving polynomial equation systems II: Macaulay's paradigm and Grobner technology by Teo Mora. Review by Severino Coutinho.
How To Prove It: A Structured Approach by Daniel Velleman. Review by Brent Smith.
Practical Optimization: Algorithms and Engineering Applications by Andreas Antoniou and Wu–Sheng Lu. Review by Brian Borchers.
Rock, Paper, Scissors: Game Theory for Everyday Life by Len Fisher. Review by William Gasarch.
Combinatorial Designs: Constructions and Analysis by Douglas Stinson. Review by Gregory Taylor.
Combinatorics of Permutations by Miklos Bona. Review by Gregory Taylor.
Enumerative Combinatorics by Charalambos Charalambides. Review by Sergey Kitaev.
Geometric Algebra for Computer Science by Leo Dorst, Dorst Fontijne, and Stephen Mann.
Privacy on the Line: The Politics of Wiretapping and Encryption by Whitfield Diffie and Susan Landau. Review by Richard Jankowski.
Combinatorial Optimization: Packing and Covering by Gerard Cornuejols. Review by Brian Borchers.
Ordered Sets: An Introduction by Bernd Schroder. Review by Radim Belohlavek.
General Lattice Theory (Second Edition) by George Gratzer. Review by Jonathan Cohen.
The congruences of a finite lattice: a proof-by picture approach by George Gratzer. Review by Jonathan Cohen.
Applied Combinatorics on Words by M. Lothaire. Review by Maulik Dave. (Note- M. Lothaire is a pseudonym of a group of mathematicians who work on combinatorics on words and have some joint books.)
Computation engineering: applied automata theory and logic by Ganesh Lalitha Gopalakrishnan. Review by Severino Coutinho.
The Art of Computer Programming Volume 4, Fascicles 2, 3, and 4 by Donald Knuth. Review by John Rogers.
A Course in Computational Algebraic Number Theory By Henri Cohen. Review by Timothy Kelley.
Foundations of Computer Security by David Salomon. Review by Richard Jankowski.
Derivation and Computation: taking the Curry-Howard correspondence seriously by Harold Simmons. Review by Robert Irwin.
Theoretical and Experimental DNA Computation By Martyn Amos. Review by Maulik Dave.
Cryptography in C and C by Michael Welschenbach. Review by S Terai.
A Beginner's Guide to Discrete Mathematics by Walter Wallis. Review by James Rauff.
Handbook of Elliptic and Hyperelliptic Curve Cryptography Edited by Henri Cohen and Gerhard Frey. Review by Lawrence Washington.
The Game's Afoot: Game Theory in Myth and Paradox by Alexander Mehlmann. Review by Danny Krizanc.
Introducing Game Theory and Its Applications by Eliott Mendelson. Review by William Springer.
Game Theory and Strategy by Philip Straffin. Review by William Springer.
Semantic Integration of Heterogeneous Software Specifications by Martin Grobe-Rhode. Review by Maulik Dave.
The Access Principle by John Willinsky. Review by Scott Aaronson.
A Century of Scientific Publishing: A collection of essays Edited by Fredrickson. Review by William Gasarch.
Mathematics of Physics and Engineering by Edward Blum and Sergey Lototsky. Review by Frederic Green.
Research Problems in Discrete Geometry by Brass, Moser, Pach. Review by William Gasarch.
The Political Mapping of Cyberspace by Jeremy Crampton. Review by Rajesh Natarajan.
Probability and Computing: Randomized Algorithms and Probabilistic Analysis by Michael Mitzenmacher and Eli Upfal. Review by Jonathan Katz Review by Yannis Stamatiou.
Computational Techniques of the Simplex Method by Istvan Maros. Review by Brian Borchers.
Symbolic Asymptotics by John Shackell. Review by James Beaumont.
Complexity and Cryptography. An Introduction by John Talbot and Dominic Welsh. Review by Jorg Rothe.
Complexity Theory and Cryptology: An Introduction to Cryptocomplexity by Jorg Rothe. Review by Piotr Faliszewski.
Three Blogs by Theorists. The blogs are by Lance Fortnow, Scott Aaronson, and Luca Trevisan. Review of these three blog by William Gasarch.
Excellence Without a Soul: How a Great University Forgot Education by Harry Lewis. Review by William Gasarch.
An Introduction to Quantum Computing Algorithms by Arthur Pittenger. Review by Ronald de Wolf.
Quantum Computing by Mika Hirvensalo. Review by Ronald de Wolf.
Classical and Quantum Computation by Alexi Kitaev, Alexander Shen, and Mikhail Vyalyi. Review by Ronald de Wolf.
Introduction to Lattices and Order by Brian Davey, Hilary Priestley. Review by Jonathan Cohen.
Computational Techniques for the Summation of Series by Anthony Sofo. Review by Vladik Kreinovich.
Types and Programming Languages by Benjamin Pierce. Review by Mats Kindah.
Information Theory, Inference, and Learning Algorithms by David MacKay. Review by Maulik Dave.
Verification of Reactive Systems : Formal Methods and Algorithms by Klaus Schneider. Review by Maulik Dave.
Algorithmic Learning in a Random World by Vovk, Gammerman, and Shafer. Review by James Law.
The Random Projection Method by Santosh Vempala. Review by Aravind Srinivasan.
Reality Conditions: Short Mathematical Fiction, by Alex Kasman. Review by Bill Gasarch.
Numb3rs, TV show. Review by Bill Gasarch.
Mathematical Apocryphal: Stories and Anecdotes of Mathematicians and the Mathematical by Steven Kranz. Review by Bill Gasarch.
Mathematical Apocrypha Redux: More Stories and Anecdotes of Mathematicians and the Mathematical by Steven Kranz. Review by Bill Gasarch.
A History of Pi by Petr Beckmann. Review by Brian Blank.
The Joy of Pi by David Blatner. Review by Brian Blank.
The Nothing That Is by Robert Kaplan. Review by Brian Blank.
e: The Story of a Number by Eli Maor. Review by Brian Blank.
The story of 
: An Imaginary Tale by Paul Nahin. Review by Brian Blank.
Zero: The Biography of a Dangerous Idea by Charles Seife. Review by Brian Blank.
The Square Root of 2: A Dialogue Concerning a Number and a Sequence by David Flannery. Review in the form of a dialogue between William Gasarch, Alexander Kruskal, Justin Kruskal, and Rebecca Kruskal. (The Kruskal Triplets.)
Fair Division and Collective Welfare by Herve Moulin. Review by Varsha Dani.
Algorithms: Sequential, Parallel, and Distributed by Kenneth Berman and Jerome Paul. Review by William Schmeister.
Algebraic Complexity Theory by Peter Burgisser, Michael Clausen, and M. Amiu Shokrollahi. Review by Anthony Widjaja To (This is not a typo. The middle name is Widjaja and his last name is To.)
A Computational Introduction to Number Theory and Algebra by Victor Shoup. Review by Jonathan Katz. Primality Testing in Polynomial Time by Martin Dietzfelbinger. Review by Jonathan Katz.
Introduction to Coding Theory by Juerjen Bierbrauer. Review by William Springer.
Codes: The Guide to Secrecy from Ancient to Modern Times by Richard Mollin. Review by Adam Bender.
Computational Complexity: a Quantitative Perspective by Marius Zimand. Review Carlos Oliveira.
Secure Communicating Systems : Design, analysis, and implementation by Michael R A Huth. Review by Maulik Dave.
Alfred Tarski: Life and Logic by Anita Burdman Feferman and Solomon Feferman. Review by Pierre Lescanne.
Data Structures, Near Neighbor Searches, and Methodology: Fifth and Sixth DIMACS Implementation Challenge Edited by Michael Goldwasser, David Johnson, Catherine McGeoch. Review by Maulik Dave.
Genomic Perl: From Bioinformatics Basics to Working Code by Rex Dwyer. Review by Raymond Wan.
Graphs, Networks, and Algorithms by Dieter Jungnickel. Review by William Fahle.
Immunocomputing: Principles and Applications by Alexander Tarakanov, Victor Skormin, Svetlana Sokolova. Review by Wenzhong Zhao.
Term Rewriting Systems by Terese. Review by Frederic Loulergue.
Classical and Quantum Computing with C and Java Simulations by Yorick Hardy and Willi–Hans Steeb. Review by Nick Papanikolaou.
Integer Programming By Laurence Wolsey. Review by E. Jonathan Chapin.
Computational Line Geometry by Helmut Pottmann and Johannes Wallner. Review by Georg Essl.
Logic for Computer Scientists by Uwe Schoning. Review by Riccardo Pucella.
Teaching Statistics Using Baseball by Jim Albert. Review by James Glenn.
Cryptological Mathematics by Robert Lewand. Review by William Gasarch.
Data Privacy and Security by David Salomon. Review by Nick Papanikolaou.
Cryptography: An Introduction by V.V. Yaschenk. Review by Jon Katz.
Cryptanalysis of Number Theoretic Ciphers by Samuel Wagstaff, Jr. Review by Jon Katz.
RSA and Public-Key Cryptography by Richard Mollin. Review by Jon Katz.
Foundations of Cryptography, Vol. 1: Basic Tools, by Oded Goldreich. Review by Jon Katz.
Proofs that Really Count: The Art of Combinatorial Proof by Arthur Benjamin and Jennifer Quinn. Review by William Gasarch.
Types and Programming Languages by Benjamin Pierce. Review by Mats Kindahl
Introduction To Natural Computation by Dana Ballard. Review by Larry Moss.
Mathematical Methods in Artificial Intelligence by Edward Bender. Review by Larry Moss.
Boolean Functions and Computation Models by Clote and Kranakis. Review by R. Gregory Taylor.
Selected Papers in Discrete Mathematics by Donald Knuth. Review by Carlos Oliveira.
Linear Optimization and Extensions – Problems and Solutions by Dimitris Alevas and Manfred Padberg. Review by Carlos Oliveira.
Introduction to the Design and Analysis of Algorithms By Ananay Levitin. Review by William Fahle.
Handbook of Graph Theory Edited by Gross and Yellen. Review by William Gasarch.
Reasoning about Uncertainty by Joseph Halpern. Review by Wenzhong Zhao.
Learning Kernel Classifiers: Theory and Algorithms by Ralf Herbrich. Review by Luc Willie.
Learning with Kernels: Support Vector Machines, Regularization Optimization and Beyond by Bernhard Scholkopf and Alexander Smola. Review by Luc Willie
Essentials of Constraint Programming by Thom Fruhwirth and Slim Abdennadher Review by Carlos Oliveira.
Concurrent and Real-time Systems: The CSP Approach by Steve Schneider. Review by Sabina Petride.
Introduction to Languages, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic by Alan Parkes. Review by Robert McNaughton.
Algorithm Design: Foundations, Analysis and Internet Examples by Michael Goodrich and Roberto Tamassia. Review by Pavol Navrat.
Theory of Semi-Feasible Algorithms by Lane Hemaspaandra and Leen Torenvliet. Review by Lance Fortnow.
The Classical Decision Problem by Egon Borger, Erich Gradel and Yuri Gurevich. Review by Dan Simovici.
Automata theory and its applications by Bakhadyr Khoussainov and Anil Nerode. Review by Lawrence Moss and Hans-Jorg Tiede.
Automata, Logics, and Infinite Games edited by Erich Gradel, Wolfgang Thomas, and Thomas Wilke. Review by Lawrence Moss and Hans-Jorg Tiede
Automatic sequences: Theory, Applications, Generalizations by Jean-Paul Allouche and Jeffrey Shallit. Review by Jean Berstel.
Introduction to Cryptography by Johannes Buchmann. Review by Andrew Lee.
Coding Theory and Cryptography: The Essentials, Second Edition by Darrel Hankerson, Gary Hoffman, Douglas Leonard, Charles Lindner, Kevin Phelps, Chris Rodger, James Wall. Review by Robert Irwin.
Cryptography: Theory and Practice by Douglas Stinson. Review by William Springer.
Foundations of Cryptography: Basic Tools by Oded Goldreich Review by Riccardo Pucella.
Modelling and Analysis of Security Protocols by P. Ryan and S. Schneider Review by Riccardo Pucella.
Modern Cryptography, Probabilistic Proofs and Pseudorandomness (Algorithms and Combinatorics, Vol 17) by Oded Goldreich. Review by Andrew Lee.
Set Theory For Computing: From Decision Procedures to Declarative Programming with Sets by Domenico Cantone, Eugenio Omodeo and Alberto Policriti. Review by Robert Irwin.
Theory of Computational Complexity by Ding-Zhu Du and Ker-I Ko. Review by Eowyn Cenek.
Computer Arithmetic Algorithms: A review by Israel Koren. Review by George Constantinides
An Introduction to Quantum Computing Algorithms by Arthur Pittenger. Review by Andrea Marchini.
Algorithms Sequential & Parallel: A Unified Approach by R. Miller & L. Boxer. Review by Anthony Widjaja To.
Algorithmics for Hard Problems: Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics by Juraj Hromkovic. Review by Hassan Masum.
Modal and Temporal Properties of Processes by Colin Stirling. Review by Vicky Weissman.
Modal Logic by Patrick Blackburn, Maarten de Rijke, and Yde Venema. Review by P. Daniel Hestand.
Number Theory for Computing by Song Yan. Review by Prodromos Saridis.
Type-Logical Semantics by Bruce Carpenter. Review by Riccardo Pucella and Stephen Chong.
The -calculus: A Theory of Mobile Processes
by Davide Sangiorgi and D. Walker.
Review by Riccardo Pucella.
Bioinformatics: The Machine Learning Approach by Pierre Baldi and Soren Brunak. Review by Ivelin Ivanov.
The Clausal Theory of Types by David Wolfram (Not to be confused with Stephen Wolfram, whose book is also reviewed in this column.) Review by Maulik Dave.
Discrete Mathematical Problems with Medical Applications (DIMACS Volume 55) Edited by Ding-Zu Du, Panayote Pardalos, and J. Wang. Review by Suresh Venkatasubramanian.
Things a Computer Scientist Rarely Talks About by Donald Knuth. Review by Ian Parberry.
A New Kind of Science by Stephen Wolfram. Review by Hassan Masum.
Modern Computer Algebra by Joachim von zur Gathen and Jurgen Gerhard. Review by R. Gregory Taylor.
The Discrepancy Method — Randomness and Complexity by Bernard Chazelle. Review by Jin-Yi Cai.
Computability and Complexity Theory by Steven Homer and Alan Selman. Review by Eowyn Cenek.
The Complexity Theory Companion by Lane Hemaspaandra and Mitsunori Ogihara. Review by Eowyn Cenek.
Mathematical Theory of Domains by Viggo Stoltenberg-Hansen, Ingrid Lindstrom, and Edward Griffor. Review by P. Daniel Hestand.
Model Checking by Edmund Clarke, Jr., Orna Grumberg, and Doron Peled. Review by Vicky Weissman.
Petri Net Algebra by Eike Best, Raymond Devillers, Maciej Koutny. Review by Ivelin Ivanov.
Combinatorial Optimization - Theory and Algorithms by Bernhard Korte and Jens Vygen Review by Ivelin Ivanov.
Calculated Bets by Steven Skiena. Review by William Gasarch.
Algorithmic Geometry by Jean-Daniel Boissonat and Mariette Yvinec. Review by Eowyn Cenek.
Branching Programs and Binary Decision Diagrams: Theory and Applications by Ingo Wegener. Review by Lance Fortnow.
Networks in Distributed Computing (DIMACS proceedings) Edited by Marios Mavronicolas, Michael Merritt, and Nir Shavit. Review by Ivelin Ivanov.
Graph Theory and Its Applications by Jonathan Gross and Jay Yellen. Review by David Marcus.
Graph Theory by William Tutte. Review by Christopher Jennings.
Data Refinement: Model-Oriented Proof Methods and Their Comparison by Willem-Paul de Roever and Kai Engelhardt. Review by Dan Hestand.
In the last column William Gasarch reviewed Proofs and Refutations by Lakatos. Included in that review were some remarks about the relevancey of Philosophy of Math for theoretical computer scientists. David Molnar disagrees with some of what was said and was invited to write a response. This is included, as well as a response to the response.
Proofs and Confirmations: the story of the alternating sign matrix conjecture , by David Bressoud. Review by Jeremy Avigad.
Proofs and Refutations by Imre Lakatos. Review by William Gasarch.
Dynamic Logic (Foundations of Computing) by David Harel, Dexter Kozen and Jeryz Tiuryn. Review by Riccardo Pucella.
Analysis of Algorithms:An Active Learning Approach by Jeffrey McConnell. Review by Christopher Jennings
Automata and Languages: Theory and Applications by Alexander Meduna. Review by James Rauff.
Control Flow Semantics , by J. de Bakker and E. de Vink. Review by Riccardo Pucella.
External Memory Algorithms (proceedings of DIMACS Workshop, May 20-22,1998) Edited by J.M. Abello and J.S. Vitter. Review by Gianluca Della Vedova.
- Unleashed
By Jorg Arndt and Christoph Haenel.
Review by David Marcus.
Chaotic Elections! by Donald Saari. Review by William Gasarch.
Mathematics and Politics by Alan Taylor. Review by William Gasarch.
The Codebreakers: The story of secret writing , by David Kahn Review by William Gasarch.
The Code Book: The Evolution of Secrecy from Mary Queen of Scots to Quantum Cryptography , by Simon Singh. Review by Jim Reeds.
Basic Proof Theory by Anne Troelstra and Helmut Schwichtenberg. Review by Jeremy Avigad.
Complexity and Real Computation by Lenore Blum, Felipe Cucker, Michael Shub, and Steven Smale. Review by Tim McNicholl.
Data Structures and Algorithms in Java (2nd ed) by Michael T Goodrich and Roberto Tamassia. Review by Hassan Masum.
Selected Papers on Analysis of Algorithms by Donald Knuth. Review by Timothy McNicholl.
How to Solve It: Modern Heuristics by Zbigniew Michalewicz and David B Fogel. Review by Hassan Masum.
Proof, Language, and Interaction: Essays in Honour of Robin Milner Edited by Plotkin, Stirling and Tofte. Review by Riccardo Pucella.
Fair Division: From Cake Cutting to Dispute Resolution), by Brams and Taylor. Review by William Gasarch.
Cake Cutting: Be Fair if You Can by Robertson and Webb. Review by William Gasarch.
The Win-Win Solution by Brams and Taylor. Review by William Gasarch.
Fair Allocation (Proceedings of Symposia in Applied Mathematics, Vol 33) Edited by H. Peyton Young. Review by William Gasarch.
Computational Geometry: Algorithms and Applications (2nd Ed) by Mark de Berg, Marc van Kreveld, Mark Overmars, and Otfried Schwarzkopf. Review by Hassan Masum.
Parameterized Complexity, by Downey and Fellows. Review by Gabriel Istrate.
Modern Graph Theory by Bollobas. Review by Eowyn Cenek.
A
B
by Marko Petkovsek, Herbert Wilf, and Doron Zeilberger.
Review by Vladik Kreinovich.
Communicating and mobile systems: the -calculus
by Robin Milner.
Review by Riccardo Pucella.
Descriptive Complexity Theory by Neal Immerman. Review by William Gasarch.
Finite Model Theory by Heinz-Dieter Ebbinhaus and Jorg Flum. Review by William Gasarch.
Descriptive Complexity and Finite Models (Proceedings from a DIMACS workshop) edited by Neil Immerman and Phokion Kolaitis. Review by William Gasarch.
Theory of Computing: A Gentle Introduction by Efim Kinber and Carl Smith. Review by Judy Goldsmith.
Microsurveys in Discrete Probability (Proceedings from a DIMACS workshop) edited by David Aldous and James Propp. Review by Hassan Masum.
Term Rewriting and all that by Franz Baader and Tobias Nipkow. Review by Paliath Narendran.
Gems of Theoretical Computer Science by Uwe Schoning and Randall Pruim. Review by Danny Krizanc.
Network Design: Connectivity and Facilities Location, DIMACS Workshop edited by Pardalos and Du. Review by Boris Goldengorin.
The Optimal Implementation of Functional Programming Languages by Andrea Asperti and Stefano Guerrini. Review by Christopher League.
Indiscrete Thoughts by Gina-Carlo Rota. Review by William Gasarch.
Distributed Computing by Attiya and Welch, Review by Maurice Herlihy. This is a textbook aimed at grad students, and advanced undergrads, for a course on Distributed Computing.
Hilbert's Tenth Problem , by Yuri Matiyasevich. Review by Randall Pruim.
Lambda Calculi: A Guide for Computer Scientists by Chris Hankin. Review by Christopher League.
Systems that Learn (second edition) by Jain, Osherson, Royer, Sharma. Review by Carl Smith.
Mathematical Support for Molecular Biology edited by Martin Farach-Colton, Fred Roberts, Martin Vingron, and Michael Waterman. Review by Chrystopher Nehaniv.
DNA Based Computers II, edited by Lauara Landweber and Eric Baum. Review by Mitsunori Ogihara and Animesh Ray.
DNA Based Computers III edited by Harvey Rubin and David Harlan Wood. Review by Martyn Amos.
Online Computation and Competitive Analysis by Allan Borodin and Ran El-Yaniv. Review by Neal Young.
Computational geometry in C (Second Edition) , by Joseph O'Rourke. Review by Michael Dekhtyar.
Bounded Queries in Recursion Theory by William Gasarch and Georgia Martin. Review by Lance Fortnow.
Logic For Applications (Second Edition) , By Anil Nerode and Richard Shore. Review by Alexander Dekhtyar.
Algorithms and Theory of Computation Handbook edited by Atallah.
Handbook of Combinatorics (in two Volumes) edited by Graham, Grotschel, Lovasz.
Probabilistic Combinatorics and Its Applications, ed. by Bollobas.
Spectral Graph Theory by Chung.
Stable Marriage and its Relation to Other Combinatorial Problems: An Introduction to Algorithm Analysis by Donald Knuth. Review by Tim McNichol.
The Limits of Mathematics by Gregory Chaitin. Review by Vladimir Tasic.
Privacy on the Line by Whitfield Diffie and Susan Landau. Review by Joseph Maklevitch.
A Theory of Objects by Authors: Marti n Abadi and Luca Cardelli. Review by Brian Postow.
Cryptology and Computational Number Theory by Carl Pomerance. Review by Andreas Stein.
Theories of Computability by Nick Pippenger. Review by Sanjay Gupta.
Vicious Circles by Barwise and Moss. Review by Alexander Dekhtyar.
Algorithms on strings, trees, and sequences: computer science and computational biology by Dan Gusfield. Review by Gary Benson.
Verification of Sequential and Concurrent Programs by Krzysztof Apt and Ernst-Rudiger Olderog. Review by Anish Arora.
Algorithms and Programming: Problems and Solutions by Alexander Shen. Review by Jerry James.
Approximation Algorithms for NP-hard Problems , Edited by Dorit Hochbaum. Review by Randeep Bhatia and Yoram Sussmann.
Selected Papers on Computer Science by Donald Knuth. Review by Samir Khuller.
Communication Complexity by Eyal Kushilevitz and Noam Nisan. Review by William Gasarch.
Complexity Theory Retrospective II, edited by Lane Hemaspaandra and Alan Selman. Review by Eric Allender.
Basic Simple Type Theory by J. Roger Hindley. Review by Brian Postow.
Discrete Mathematics in the Schools, Edited by Joseph Rosenstein, Deborah Franzblau, and Fred Roberts. Review by Neal Koblitz.
Metamathematics, Machines, and Godel's Proof by N. Shankar. Review by K. Purang.
Reasoning About Knowledge by Ronald Fagin, Joseph Halpern, Yoram Moses and Moshe Vardi. Review by Alexander Dekhtyar.
Isomorphisms of Types:
From 
-calculus to information retrieval and
language design
by Roberto Di Cosmo.
Review by Christopher League.
An intro. to Kolg. Comp by Vitanyi, Li. Review by William Gasarch