Home Advanced Search

Advanced Search - Page 1

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.)
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference Bangalore, India, December 13–15, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Eric Allender (auth.), Ramesh Hariharan, V. Vinay, Madhavan Mukund (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.)
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.)
The Ecological Era and Classical Chinese Naturalism: A Case Study of Tao Yuanming
  • PDF
  • English
  • Year: 2017
  • Author: Shuyuan Lu (auth.)
Methane: Fuel for the Future
  • PDF
  • English
  • Year: 1982
  • Author: Patrick L. McGeer, Enoch J. Durbin (auth.), Patrick McGeer, Enoch Durbin (eds.)
Logic Synthesis and Optimization
  • PDF
  • English
  • Year: 1993
  • Author: Robert K. Brayton, Patrick C. McGeer (auth.), Tsutomu Sasao (eds.)
Neurobiology of Acetylcholine
  • PDF
  • English
  • Year: 1987
  • Author: P. L. McGeer, E. G. McGeer, K. Mizukawa, H. Tago, J. H. Peng (auth.), Nae J. Dun, Robert L. Perlman (eds.)
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Andreas Podelski (auth.), Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay (eds.)
search