Home Advanced Search

Advanced Search - Page 1

Scalable Hardware Verification with Symbolic Simulation
  • PDF
  • English
  • Year: 2005
  • Author: Valeria Bertacco
Post-Silicon and Runtime Verification for Modern Processors
  • PDF
  • English
  • Year: 2010;2011
  • Author: Wagner, Ilya;Bertacco, Valeria
Post-Silicon and Runtime Verification for Modern Processors
  • PDF
  • English
  • Year: 2011
  • Author: Ilya Wagner, Valeria Bertacco (auth.)
Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Michael Codish, Yoav Fekete, Amit Metodi (auth.), Valeria Bertacco, Axel Legay (eds.)
Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Michael Codish, Yoav Fekete, Amit Metodi (auth.), Valeria Bertacco, Axel Legay (eds.)
Language and Translation in Postcolonial Literatures
  • EPUB
  • English
  • Year: 2013
  • Author: Bertacco, Simona;
The Relocation of Culture: Translations, Migrations, Borders
  • PDF
  • English
  • Year: 2021
  • Author: Simona Bertacco; Nicoletta Vallorani
The Relocation of Culture: Translations, Migrations, Borders
  • PDF
  • English
  • Year: 2021
  • Author: Simona Bertacco, Nicoletta Vallorani, Homi K. Bhabha
Food Values in Europe
  • PDF
  • English
  • Year: 2019
  • Author: Valeria Siniscalchi; Valeria Siniscalchi
The Prince's Body: Vincenzo Gonzaga and Renaissance Medicine
  • PDF
  • English
  • Year: 2015
  • Author: Valeria Finucci
search