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

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

TI-Nspire For Dummies

  • Length: 392 pages
  • Publication Date: 2011-06-07

Constraint Logic Programming using Eclipse

  • Length: 348 pages
  • Publication Date: 2007-01-15

Visualizing Data Patterns with Micromaps

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

Topics in Cryptology: CT-RSA 2011

  • Length: 430 pages
  • Publication Date: 2011-07-14