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

Testing Software and Systems

  • Length: 236 pages
  • Publication Date: 2011-12-20

Formal Methods: Foundations and Applications

  • Length: 215 pages
  • Publication Date: 2011-12-27

Certified Programs and Proofs

  • Length: 416 pages
  • Publication Date: 2011-12-13