Home Advanced Search

Advanced Search - Page 1

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.)
Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Sharad Malik (auth.), C. R. Ramakrishnan, Jakob Rehof (eds.)
Asynchronous Circuit Design for VLSI Signal Processing
  • PDF
  • English
  • Year: 1994
  • Author: Teresa H. Meng, Sharad Malik (auth.), Teresa H. Meng, 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.)
Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Shuyuan Zhang, Sharad Malik, Rick McGeer (auth.), Supratik Chakraborty, Madhavan Mukund (eds.)
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
Theoretical and Experimental Aspects of Valence Fluctuations and Heavy Fermions
  • PDF
  • English
  • Year: 1988
  • Author: P. W. Anderson (auth.), L. C. Gupta, S. K. Malik (eds.)
Back from the Brink: Turning Escorts Around
  • EPUB
  • English
  • Year: 2019
  • Author: Seetha, Sharad Gupta
Algal Biofuels: Recent Advances and Future Prospects
  • PDF
  • English
  • Year: 2017
  • Author: Sanjay Kumar Gupta, Anushree Malik, Faizal Bux (eds.)
Magnetic Properties of Paramagnetic Compounds: Magnetic Susceptibility Data – Part 6
  • PDF
  • English
  • Year: 2017
  • Author: R. T. Pardasani,P. Pardasani (auth.), ,A. Gupta (eds.)
search