Ganesh Gopalakrishnan's Documents

Ganesh Gopalakrishnan's Documents

Computation Engineering

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

Computation engineering: applied automata theory and logic
Read more
Computation Engineering: Applied Automata Theory and Logic

Computation Engineering: Applied Automata Theory and Logic
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
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
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
Theorem proving in higher order logics, 17 conf., TPHOLs 2004

Theorem proving in higher order logics, 17 conf., TPHOLs 2004
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
Classic Papers in Natural Resource Economics

Classic Papers in Natural Resource Economics
Read more
Classic Papers in Natural Resource Economics

Classic Papers in Natural Resource Economics
Read more
Intelligent Mechatronics

Intelligent Mechatronics
Read more
Social Freedom in a Multicultural State: Towards a Theory of Intercultural Justice

Social Freedom in a Multicultural State: Towards a Theory of Intercultural Justice
Read more
Oracle Database 11g Oracle Real Application Clusters Handbook, 2nd Edition

Oracle Database 11g Oracle Real Application Clusters Handbook, 2nd Edition
Read more
Wireless Network Deployments

Wireless Network Deployments
Read more
Wireless network deployments

Wireless network deployments
Read more
Commutative algebra

Commutative algebra
Read more
Commutative algebra

Commutative algebra
Read more
Commutative algebra

Commutative algebra
Read more
Commutative algebra

Commutative algebra
Read more
Sustainable and Resilient Critical Infrastructure Systems: Simulation, Modeling, and Intelligent Engineering

Sustainable and Resilient Critical Infrastructure Systems: Simulation, Modeling, and Intelligent Engineering
Read more
Direct Transistor-Level Layout for Digital Blocks

Direct Transistor-Level Layout for Digital Blocks
Read more
Integrated Petroleum Reservoir Management: A Team Approach

Integrated Petroleum Reservoir Management: A Team Approach
Read more
Plant Proteomics. Technologies, Strategies, and Applications

Plant Proteomics. Technologies, Strategies, and Applications
Read more
Information Technology: A Growth Navigator for Small Scale Industries in India

Information Technology: A Growth Navigator for Small Scale Industries in India
Read more
Oracle Wait Interface: A Practical Guide to Performance Diagnostics & Tuning

Oracle Wait Interface: A Practical Guide to Performance Diagnostics & Tuning
Read more
Soft Computing in Green and Renewable Energy Systems

Soft Computing in Green and Renewable Energy Systems
Read more
Aesthetics in Marketing

Aesthetics in Marketing
Read more
Engineering Mathematics- II (As per the new syllabus of VTU (B. E. , II Semester)

Engineering Mathematics- II (As per the new syllabus of VTU (B. E. , II Semester)
Read more