Home Advanced Search

Advanced Search - Page 1

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.)
Asynchronous Circuit Design for VLSI Signal Processing
  • PDF
  • English
  • Year: 1994
  • Author: Teresa H. Meng, Sharad Malik (auth.), Teresa H. Meng, Sharad Malik (eds.)
Practical Aspects of Declarative Languages: 4th International Symposium, PADL 2002 Portland, OR, USA, January 19–20, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Catherine Meadows (auth.), Shriram Krishnamurthi, C. R. Ramakrishnan (eds.)
Cloud Computing for Logistics
  • PDF
  • English
  • Year: 2015
  • Author: Michael ten Hompel, Jakob Rehof, Oliver Wolf (eds.)
Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Dirk Beyer, Philipp Wendler (auth.), Ezio Bartocci, C. R. Ramakrishnan (eds.)
CONCUR 2004 - Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie (auth.), Philippa Gardner, Nobuko Yoshida (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.)
Symposia on Theoretical Physics: 2 Lectures presented at the 1964 Second Anniversary Symposium of the Institute of Mathematical Sciences Madras, India
  • PDF
  • English
  • Year: 1995
  • Author: E. C. G. Sudarshan (auth.), Alladi Ramakrishnan (eds.)
Mammalian Carbohydrate Recognition Systems
  • PDF
  • English
  • Year: 2001
  • Author: C. A. Jakob, E. Chevet, D. Y. Thomas (auth.), Dr. Paul R. Crocker (eds.)
search