Certified Programs and Proofs

  • Length: 416 pages
  • Publication Date: 2011-12-13
0 (0)

Theory and Applications of Models of Computation

  • Length: 494 pages
  • Publication Date: 2010-07-16
0 (0)

Algebraic and Numeric Biology

  • Length: 195 pages
  • Publication Date: 2012-01-12
0 (0)

Topics in Cryptology: CT-RSA 2011

  • Length: 430 pages
  • Publication Date: 2011-07-14
0 (0)

Progress in Cryptology – INDOCRYPT 2010

  • Length: 382 pages
  • Publication Date: 2011-01-14
0 (0)

Developments in Language Theory

  • Length: 503 pages
  • Publication Date: 2009-08-06
0 (0)

Formal Verification of Object-Oriented Software

  • Length: 209 pages
  • Publication Date: 2011-03-11
0 (0)

Model Checking Software

  • Length: 273 pages
  • Publication Date: 2010-12-09
0 (0)

Numerical and Symbolic Scientific Computing: Progress and Prospects

  • Length: 366 pages
  • Publication Date: 2011-11-30
0 (0)

Algebraic Number Theory, 2nd Edition

  • Length: 442 pages
  • Publication Date: 2011-01-05
0 (0)

Algorithms and Computation

  • Length: 492 pages
  • Publication Date: 2011-01-19
0 (0)