Developments in Language Theory

  • Length: 503 pages
  • Publication Date: 2009-08-06

Formal Verification of Object-Oriented Software

  • Length: 209 pages
  • Publication Date: 2011-03-11

Essential Numerical Computer Methods

  • Length: 616 pages
  • Publication Date: 2010-11-10

Model Checking Software

  • Length: 273 pages
  • Publication Date: 2010-12-09

Computability and Complexity Theory, 2nd Edition

  • Length: 314 pages
  • Publication Date: 2012-01-31

Graph-Theoretic Concepts in Computer Science

  • Length: 355 pages
  • Publication Date: 2011-12-07

Codes et turbocodes

  • Length: 416 pages
  • Publication Date: 2007-03-01

Bayesian Artificial Intelligence, 2nd Edition

  • Length: 491 pages
  • Publication Date: 2010-12-16

Approximation Algorithms for Complex Systems

  • Length: 317 pages
  • Publication Date: 2011-01-11