Lectures on proof verification and approximation algorithms

Những quyển sách tương tự

• Logic Synthesis and Verification Algorithms/
  Bằng: Hachtel, G.D
  Được phát hành: (2006)
• Logic synthesis and verification algorithms
  Bằng: Hachtel, Gary D
  Được phát hành: (1996)
• Approximation algorithms
  Bằng: Vazirani, Vijay V
  Được phát hành: (2003)
• Algorithms for approximation /
  Bằng: Mason, J. C.
  Được phát hành: (1987)
• Design of approximation algorithms
  Bằng: Williamson, David P
  Được phát hành: (2011)