Algorithmics, complexity, computer algebra and computational geometry

Analysis of Boolean Functions

O'Donnell, Ryan
Published: June 2014Published: September 2014

Logical Foundations of Proof Complexity

Cook, Stephen
Nguyen, Phuong
Published: March 2014Published: March 2010Published: April 2010

Tractability

Practical Approaches to Hard Problems

Bordeaux, Lucas
Hamadi, Youssef
Kohli, Pushmeet
Published: February 2014Published: No date available

Effective Mathematics of the Uncountable

Greenberg, Noam
Hirschfeldt, Denis
Hamkins, Joel David
(+ 1 other)
Published: October 2013Published: No date available

Surveys in Combinatorics 2013

Blackburn, Simon R.
Gerke, Stefanie
Wildon, Mark
Published: June 2013Published: July 2013

Modern Computer Algebra

von zur Gathen, Joachim
Gerhard, Jürgen
Published: April 2013Published: No date available
3rd Edition

Dense Sphere Packings

A Blueprint for Formal Proofs

Hales, Thomas
Published: September 2012Published: September 2012

Concentration of Measure for the Analysis of Randomized Algorithms

Dubhashi, Devdatt P.
Panconesi, Alessandro
Published: May 2012Published: August 2009Published: September 2009

A Guide to Experimental Algorithmics

McGeoch, Catherine C.
Published: March 2012Published: March 2012Published: June 2012

Noisy Information and Computational Complexity

Plaskota, Leszek
Published: March 2012Published: May 1996Published: February 2011

Enumerative Combinatorics

Stanley, Richard P.
Published: February 2012Published: February 2012Published: February 2012
Volume 1
2nd Edition

Graph Algorithms

Even, Shimon
Even, Guy
Published: November 2011Published: November 2011Published: February 2012
2nd Edition

Lectures in Logic and Set Theory

Tourlakis, George
Published: September 2011Published: February 2003Published: December 2004
Volume 2. Set Theory

Algorithmic Number Theory

Lattices, Number Fields, Curves and Cryptography

Buhler, J. P.
Stevenhagen, P.
Published: July 2011Published: December 2008

Iterative Methods in Combinatorial Optimization

Lau, Lap Chi
Ravi, R.
Singh, Mohit
Published: June 2011Published: June 2011Published: May 2011

The Design of Approximation Algorithms

Williamson, David P.
Shmoys, David B.
Published: June 2011Published: May 2011

Combinatorial and Computational Geometry

Goodman, Jacob E.
Pach, Janos
Welzl, Emo
Published: June 2011Published: October 2005

Curve and Surface Reconstruction

Algorithms with Mathematical Analysis

Dey, Tamal K.
Published: March 2011Published: February 2007Published: January 2007

More Games of No Chance

Nowakowski, Richard
Published: February 2011Published: February 2003

Lectures in Game Theory for Computer Scientists

Apt, Krzysztof R.
Grädel, Erich
Published: January 2011Published: May 2011