Computability Theory: An Introduction to Recursion Theory

  • Length: 192 pages
  • Publication Date: 2010-12-16

MICAI 2007: Advances in Artificial Intelligence

  • Length: 1234 pages
  • Publication Date: 2007-12-10

Principles and Practice of Constraint Programming

  • Length: 670 pages
  • Publication Date: 2011-07-14

Conquering Complexity

  • Length: 489 pages
  • Publication Date: 2012-01-02

Boolean Function Complexity: Advances and Frontiers

  • Length: 632 pages
  • Publication Date: 2012-01-05

Analysis of Rare Categories

  • Length: 143 pages
  • Publication Date: 2012-01-04

Foundations of Algebraic Specification and Formal Software Development

  • Length: 597 pages
  • Publication Date: 2012-01-03
5.0

Algorithm Theory

  • Length: 448 pages
  • Publication Date: 2010-08-11

AI 2006: Advances in Artificial Intelligence

  • Length: 1330 pages
  • Publication Date: 2007-02-05

The Correctness-by-Construction Approach to Programming

  • Length: 277 pages
  • Publication Date: 2012-04-11

Combinatorial Optimization: Theory and Algorithms

  • Length: 678 pages
  • Publication Date: 2012-01-10