Mathematical Methods for Signal and Image Analysis and Representation

  • Length: 329 pages
  • Publication Date: 2012-01-16

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

Computational Aspects of Cooperative Game Theory

  • Length: 168 pages
  • Publication Date: 2011-10-25
5.0

Integrated Methods for Optimization

  • Length: 658 pages
  • Publication Date: 2011-11-12

Lectures in Game Theory for Computer Scientists

  • Length: 308 pages
  • Publication Date: 2011-02-14

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

Theory and Applications of Models of Computation

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