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

Algorithmic Decision Theory

  • Length: 356 pages
  • Publication Date: 2011-12-22

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

Conceptual Models: Core to Good Design

  • Length: 110 pages
  • Publication Date: 2011-12-12

Certified Programs and Proofs

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

Vegan Freak: Being Vegan in a Non-Vegan World

  • Length: 196 pages
  • Publication Date: 2010-01-01

Fruit Juices: Properties, Consumption and Nutrition

  • Length: 375 pages
  • Publication Date: 2009-10

Theory and Applications of Models of Computation

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