Logic synthesis and verifications algorithms

Lignende værker

• Computer algorithms
  af: Horowitz, Ellis
  Udgivet: (1998)
• Distributed algorithms
  af: Lynch, Nancy A
  Udgivet: (1996)
• Design and analysis of algorithms
  af: Sharma, Gajendra
  Udgivet: (2015)
• Computer algorithms / C++
  af: Horowitz, Ellis
  Udgivet: (2007)
• Numerical analysis and algorithms
  af: Niyogi, Pradip
  Udgivet: (2003)