Theory and Applications of Models of Computation

  • Length: 494 pages
  • Publication Date: 2010-07-16

Algebraic and Numeric Biology

  • Length: 195 pages
  • Publication Date: 2012-01-12

Topics in Cryptology: CT-RSA 2011

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

Progress in Cryptology – INDOCRYPT 2010

  • Length: 382 pages
  • Publication Date: 2011-01-14

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

Model Checking Software

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

Numerical and Symbolic Scientific Computing: Progress and Prospects

  • Length: 366 pages
  • Publication Date: 2011-11-30

Algebraic Number Theory, 2nd Edition

  • Length: 442 pages
  • Publication Date: 2011-01-05

Algorithms and Computation

  • Length: 492 pages
  • Publication Date: 2011-01-19