Home Advanced Search

Advanced Search - Page 1

SAT-based scalable formal verification solutions
  • PDF
  • English
  • Year: 2007
  • Author: Malay Ganai, Aarti Gupta
SAT-Based Scalable Formal Verification Solutions
  • PDF
  • English
  • Year: 2007
  • Author: Dr. Malay K. Ganai, Dr. Aarti Gupta (auth.)
Psychiatric Ethics in Late-Life Patients: Medicolegal and Forensic Aspects at the Interface of Mental Health
  • PDF
  • English
  • Year: 2019
  • Author: Meera Balasubramaniam, Aarti Gupta, Rajesh R. Tampi
Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: James R. Larus (auth.), Aarti Gupta, Sharad Malik (eds.)
Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Aarti Gupta (auth.), Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.)
Histone Deacetylase Inhibitors — Epidrugs for Neurological Disorders
  • PDF
  • English
  • Year: 2019
  • Author: Shabir Ahmad Ganai
Histone Deacetylase Inhibitors in Combinatorial Anticancer Therapy
  • PDF
  • English
  • Year: 2020
  • Author: Shabir Ahmad Ganai
How India works: making sense of a complex corporate culture
  • EPUB
  • English
  • Year: 2018
  • Author: Aarti Kelshikar
Aarti Paarti: An American Kitchen with an Indian Soul
  • AZW3
  • English
  • Year: 2014
  • Author: Sequeira, Aarti
How Women Work: Fitting In and Standing Out in Asia
  • EPUB
  • English
  • Year: 2023
  • Author: Aarti Kelshikar
search