Proofs and Algorithms: An Introduction to Logic and Computability
by Gilles Dowek
- Length: 203 pages
- Publication Date: 2011-01-13
Computational Aspects of Cooperative Game Theory
- Length: 168 pages
- Publication Date: 2011-10-25
Information Systems Theory: Explaining and Predicting Our Digital Society, Vol. 2
- Length: 470 pages
- Publication Date: 2011-09-20
Approximation Algorithms and Semidefinite Programming
- Length: 262 pages
- Publication Date: 2012-01-10
Computability and Complexity Theory, 2nd Edition
- Length: 314 pages
- Publication Date: 2012-01-31