Algorithm Theory

  • Length: 448 pages
  • Publication Date: 2010-08-11

The Code Book: How to Make It, Break It, Hack It, Crack It

  • Length: 272 pages
  • Publication Date: 2003-08-12

AI 2006: Advances in Artificial Intelligence

  • Length: 1330 pages
  • Publication Date: 2007-02-05

A First Course in Statistical Programming with R

  • Length: 174 pages
  • Publication Date: 2008-01-28

The Correctness-by-Construction Approach to Programming

  • Length: 277 pages
  • Publication Date: 2012-04-11

Combinatorial Optimization: Theory and Algorithms

  • Length: 678 pages
  • Publication Date: 2012-01-10

Real-Time Embedded Systems: Optimization, Synthesis, and Networking

  • Length: 231 pages
  • Publication Date: 2011-06-01

The BOXES Methodology: Black Box Dynamic Control

  • Length: 245 pages
  • Publication Date: 2012-05-28

Graph Algorithms

  • Length: 202 pages
  • Publication Date: 2011-09-19