Tag: Pure Mathematics

Testing Software and Systems Front Cover

Testing Software and Systems

  • Length: 236 pages
  • Publication Date: 2011-12-20
0
0 ratings
Formal Methods: Foundations and Applications Front Cover

Formal Methods: Foundations and Applications

  • Length: 215 pages
  • Publication Date: 2011-12-27
0
0 ratings
Certified Programs and Proofs Front Cover

Certified Programs and Proofs

  • Length: 416 pages
  • Publication Date: 2011-12-13
0
0 ratings
Theory and Applications of Models of Computation Front Cover

Theory and Applications of Models of Computation

  • Length: 494 pages
  • Publication Date: 2010-07-16
0
0 ratings
Algebraic and Numeric Biology Front Cover

Algebraic and Numeric Biology

  • Length: 195 pages
  • Publication Date: 2012-01-12
0
0 ratings
Topics in Cryptology: CT-RSA 2011 Front Cover

Topics in Cryptology: CT-RSA 2011

  • Length: 430 pages
  • Publication Date: 2011-07-14
0
0 ratings
Progress in Cryptology – INDOCRYPT 2010 Front Cover

Progress in Cryptology – INDOCRYPT 2010

  • Length: 382 pages
  • Publication Date: 2011-01-14
0
0 ratings
Developments in Language Theory Front Cover

Developments in Language Theory

  • Length: 503 pages
  • Publication Date: 2009-08-06
0
0 ratings
Formal Verification of Object-Oriented Software Front Cover

Formal Verification of Object-Oriented Software

  • Length: 209 pages
  • Publication Date: 2011-03-11
0
0 ratings
Model Checking Software Front Cover

Model Checking Software

  • Length: 273 pages
  • Publication Date: 2010-12-09
0
0 ratings
Cryptology and Network Security: 9th International Conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010, Proceedings Front Cover

Cryptology and Network Security: 9th International Conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010, Proceedings

  • Length: 368 pages
  • Publication Date: 2011-01-19
0
0 ratings
Numerical and Symbolic Scientific Computing: Progress and Prospects Front Cover

Numerical and Symbolic Scientific Computing: Progress and Prospects

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