Formal Verification of Object-Oriented Software

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

Explaining Games: The Epistemic Programme in Game Theory

  • Length: 193 pages
  • Publication Date: 2010-09-16

Algorithms in C++ Part 5: Graph Algorithms, 3rd Edition

  • Length: 528 pages
  • Publication Date: 2002-01-06

Essential Numerical Computer Methods

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

Digital Design of Signal Processing Systems: A Practical Approach

  • Length: 506 pages
  • Publication Date: 2011-02-22

Model Checking Software

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

Fundamentals of Speaker Recognition

  • Length: 1003 pages
  • Publication Date: 2011-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

Advances in Image and Video Technology, Part II

  • Length: 424 pages
  • Publication Date: 2012-02-28