Home Advanced Search

Advanced Search - Page 1

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

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

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

Database Management Systems

PDF
English
Year: 1998
Author: R. Ramakrishnan

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

The tree of tongues : an anthology of modern Indian poetry

PDF
English
Year: 1999
Author: E. V. Ramakrishnan

Narrating India: The Novel In Search Of The Nation

PDF
English
Year: 2005
Author: E. V. Ramakrishnan

Constraints and Databases

PDF
English
Year: 1998
Author: Raghu Ramakrishnan, Peter J. Stuckey (auth.), Raghu Ramakrishnan, Peter Stuckey (eds.)

Symposia on Theoretical Physics and Mathematics 8: Lectures presented at the 1967 Fifth Anniversary Symposium of the Institute of Mathematical Sciences Madras, India

PDF
English
Year: 1968
Author: N. Dallaporta (auth.), Alladi Ramakrishnan (eds.)