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

Aspects of Natural Language Processing

  • Length: 461 pages
  • Publication Date: 2009-11-13

Sets, Logic and Maths for Computing, 2nd Edition

  • Length: 304 pages
  • Publication Date: 2012-03-31
3.4

Fuzzy Optimization: Recent Advances and Applications

  • Length: 533 pages
  • Publication Date: 2010-07-12

Principles and Practice of Constraint Programming – CP 2011

  • Length: 860 pages
  • Publication Date: 2011-11-03

Fuzzy Logic and Applications

  • Length: 290 pages
  • Publication Date: 2011-09-12

Proofs and Algorithms: An Introduction to Logic and Computability

  • Length: 203 pages
  • Publication Date: 2011-01-13
4.0

Proofs and Computations

  • Length: 480 pages
  • Publication Date: 2012-01-16
5.0