Home Advanced Search

Advanced Search - Page 1

Broadband Communications: Global infrastructure for the information age
  • PDF
  • English
  • Year: 1996
  • Author: Lorne Mason, Augusto Casaca (eds.)
Behavioral Synthesis for Hardware Security
  • PDF
  • English
  • Year: 2022
  • Author: Srinivas Katkoori (editor), Sheikh Ariful Islam (editor)
Scalable techniques for formal verification
  • PDF
  • English
  • Year: 2010
  • Author: Sandip Ray (auth.)
Scalable Techniques for Formal Verification
  • PDF
  • English
  • Year: 2010
  • Author: Sandip Ray (auth.)
Scalable Techniques for Formal Verification
  • PDF
  • English
  • Year: 2010
  • Author: Sandip Ray (auth.)