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.)

Asynchronous Circuit Design for VLSI Signal Processing

PDF
English
Year: 1994
Author: Teresa H. Meng, Sharad Malik (auth.), Teresa H. Meng, Sharad Malik (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.)

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.)

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.)

Continuous Media Databases

PDF
English
Year: 2000
Author: Aidong Zhang, Avi Silberschatz, Sharad Mehrotra (auth.), Aidong Zhang, Avi Silberschatz, Sharad Mehrotra (eds.)

Performance Analysis of Real-Time Embedded Software

PDF
English
Year: 1999
Author: Yau-Tsun Steven Li, Sharad Malik (auth.)

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.)

Mechanics Over Micro and Nano Scales

PDF
English
Year: 2011
Author: Jeevanjyoti Chakraborty, Suman Chakraborty (auth.), Suman Chakraborty (eds.)