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

Computing with Instinct: Rediscovering Artificial Intelligence

  • Length: 176 pages
  • Publication Date: 2011-05-23

Codes et turbocodes

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

Bayesian Artificial Intelligence, 2nd Edition

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

Applications of Field-Programmable Gate Arrays in Scientific Research

  • Length: 167 pages
  • Publication Date: 2010-12-07