Kasthurirangan Gopalakrishnan's Documents

Kasthurirangan Gopalakrishnan's Documents

Sustainable and Resilient Critical Infrastructure Systems: Simulation, Modeling, and Intelligent Engineering

Sustainable and Resilient Critical Infrastructure Systems: Simulation, Modeling, and Intelligent Engineering
Read more
Soft Computing in Green and Renewable Energy Systems

Soft Computing in Green and Renewable Energy Systems
Read more
Nanotechnology in Civil Infrastructure: A Paradigm Shift

Nanotechnology in Civil Infrastructure: A Paradigm Shift
Read more
Classic Papers in Natural Resource Economics

Classic Papers in Natural Resource Economics
Read more
Computation Engineering

Computation Engineering
Read more
Computation engineering: applied automata theory and logic

Computation engineering: applied automata theory and logic
Read more
Classic Papers in Natural Resource Economics

Classic Papers in Natural Resource Economics
Read more
Sustainable Bioenergy and Bioproducts: Value Added Engineering Applications

Sustainable Bioenergy and Bioproducts: Value Added Engineering Applications
Read more
Sustainable Bioenergy and Bioproducts: Value Added Engineering Applications

Sustainable Bioenergy and Bioproducts: Value Added Engineering Applications
Read more
Computation Engineering: Applied Automata Theory and Logic

Computation Engineering: Applied Automata Theory and Logic
Read more
Oracle Database 11g Oracle Real Application Clusters Handbook, 2nd Edition

Oracle Database 11g Oracle Real Application Clusters Handbook, 2nd Edition
Read more
Commutative algebra

Commutative algebra
Read more
Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
Read more
Commutative algebra

Commutative algebra
Read more
Commutative algebra

Commutative algebra
Read more
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings
Read more
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings
Read more
Computer Aided Verification - CAV 2011

Computer Aided Verification - CAV 2011
Read more
Commutative algebra

Commutative algebra
Read more
Direct Transistor-Level Layout for Digital Blocks

Direct Transistor-Level Layout for Digital Blocks
Read more
Oracle Wait Interface: A Practical Guide to Performance Diagnostics & Tuning

Oracle Wait Interface: A Practical Guide to Performance Diagnostics & Tuning
Read more
Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science)

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science)
Read more
Water Institutions: Policies, Performance and Prospects

Water Institutions: Policies, Performance and Prospects
Read more
New Directions in Solid State Chemistry

New Directions in Solid State Chemistry
Read more
Basic Skills in Statistics: A Guide for Healthcare Professionals (Class Health)

Basic Skills in Statistics: A Guide for Healthcare Professionals (Class Health)
Read more
Theorem proving in higher order logics, 17 conf., TPHOLs 2004

Theorem proving in higher order logics, 17 conf., TPHOLs 2004
Read more
New Directions in Solid State Chemistry

New Directions in Solid State Chemistry
Read more
Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science)

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science)
Read more
Computational Techniques for Structural Health Monitoring

Computational Techniques for Structural Health Monitoring
Read more
Smart material systems and MEMS: design and development methodologies

Smart material systems and MEMS: design and development methodologies
Read more