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

Biology: The Dynamic Science, 2nd Edition

  • Length: 1283 pages
  • Publication Date: 2011-01-01

Approximation Algorithms and Semidefinite Programming

  • Length: 262 pages
  • Publication Date: 2012-01-10
5.0

Algebraic and Numeric Biology

  • Length: 195 pages
  • Publication Date: 2012-01-12

Introduction to Scheduling

  • Length: 333 pages
  • Publication Date: 2009-11-18

Mapping with Drupal

  • Length: 148 pages
  • Publication Date: 2011-12-28

Visualizing Data Patterns with Micromaps

  • Length: 182 pages
  • Publication Date: 2010-04-29

Verification and Validation in Scientific Computing

  • Length: 784 pages
  • Publication Date: 2010-11-22