Home Advanced Search

Advanced Search - Page 1

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.)
Practical Aspects of Declarative Languages: Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11–12, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: C. R. Ramakrishnan (auth.), I. V. Ramakrishnan (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.)
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.)
Programming and Programming Languages
  • PDF
  • English
  • Author: Shriram Krishnamurthi, Joe Gibbs Politz
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.)
Manufacturing Decision Support Systems
  • PDF
  • English
  • Year: 1996
  • Author: Murali Krishnamurthi, Raj Jayashankar (auth.), Hamid R. Parsaei, Sai Kolli, Thomas R. Hanley (eds.)
Security and Trust Management: 7th International Workshop, STM 2011, Copenhagen, Denmark, June 27-28, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Bjørnar Solhaug, Ketil Stølen (auth.), Catherine Meadows, Carmen Fernandez-Gago (eds.)
Security and Privacy in Ad-hoc and Sensor Networks: 4th European Workshop, ESAS 2007, Cambridge, UK, July 2-3, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Rene Mayrhofer (auth.), Frank Stajano, Catherine Meadows, Srdjan Capkun, Tyler Moore (eds.)
Security and Privacy in Ad-hoc and Sensor Networks: 4th European Workshop, ESAS 2007, Cambridge, UK, July 2-3, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Rene Mayrhofer (auth.), Frank Stajano, Catherine Meadows, Srdjan Capkun, Tyler Moore (eds.)
search