Elementary Linear Algebra, 4th Edition

  • Length: 768 pages
  • Publication Date: 2010-01-11

Foundations of Algebraic Specification and Formal Software Development

  • Length: 597 pages
  • Publication Date: 2012-01-03
5.0

Numerical and Symbolic Scientific Computing: Progress and Prospects

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

Proceedings of the 10th Asian Logic Conference

  • Length: 393 pages
  • Publication Date: 2010-01-30