Specification and Verification of Multi-agent Systems

  • Length: 422 pages
  • Publication Date: 2010-08-06

Curves and Surfaces

  • Length: 758 pages
  • Publication Date: 2012-01-07

Algorithms and Complexity

  • Length: 395 pages
  • Publication Date: 2010-07-16

Killer Game Programming in Java

  • Length: 998 pages
  • Publication Date: 2005-05-27

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