Ramakrishnan, C. R. books & textbook
Carbon Capture and Storage: Physical, Chemical, and Biological Methods
Edited by Rao Y. Surampalli Tian C. Zhang R. D. Tyagi Ravi Naidu B. R. Gurjar C. S. P. Ojha Song Yan Satinder K. Brar Anushuya Ramakrishnan C. M. Kao Rao Y. Surampalli Tian C. Zhang R. D. Tyagi Ravi Naidu B. R. Gurjar C. S. P. Ojha Song Yan Satinder K. Brar Anushuya Ramakrishnan C. M. Kao
American Society of Civil Engineers /2015-02-03 Paperback / 550 Pages
isbn-10: 0784413673 / isbn-13: 9780784413678
Tools and Algorithms for the Construction and Analysis of Systems
Springer-Verlag Berlin and Heidelberg GmbH & Co. K /2008-06-01 Hardcover / 520 Pages
Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings (Theoretical Computer Science and General Issues)
Bartocci, Ezio Ramakrishnan, C. R.
Springer /2013-07-19 Paperback / 387 Pages
isbn-10: 3642391753 / isbn-13: 9783642391750
Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 4963)
Ramakrishnan, C.R. Rehof, Jakob
Springer /2008-03-18 Paperback / 536 Pages
isbn-10: 3540787992 / isbn-13: 9783540787990
Practical Aspects of Declarative Languages: 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings (Lecture Notes in Computer Science, 2257)
Krishnamurthi, Shriram Ramakrishnan, C.R.
Springer /2002-01-09 Paperback / 359 Pages
isbn-10: 354043092X / isbn-13: 9783540430926
Handbook of Lethality Guides for Low Acid Canned Foods, Vol. 1: Conduction Heating
C. R. Stumbo K. S. Purohit T. V. Ramakrishnan D. A. Evans F. J. Francis
CRC Press /1983-02-01 Hardcover / 2 Pages
isbn-10: 0849329612 / isbn-13: 9780849329616
