Author: Gopalakrishnan, Ganesh
Author's info and books
Information about author Gopalakrishnan, Ganesh from several data sources.
AI-generated bio of "Gopalakrishnan, Ganesh":
Authors Results
Source: The Open Library
Authors called "Gopalakrishnan, Ganesh"
Search results for authors called Gopalakrishnan, Ganesh from The Open Library
Ganesh Gopalakrishnan
Basic Info:
- Name: Ganesh Gopalakrishnan
- Last Name: Gopalakrishnan
Ganesh C. Gopalakrishnan
Basic Info:
- Name: Ganesh C. Gopalakrishnan
- Last Name: Gopalakrishnan
Books Results
Source: The Open Library
Gopalakrishnan, Ganesh Books
Books writen by author Gopalakrishnan, Ganesh from The Open Library
1Automata and Computability
By Ganesh Gopalakrishnan

“Automata and Computability” Metadata:
- Title: Automata and Computability
- Author: Ganesh Gopalakrishnan
- Language: English
Access and General Info:
- First Year Published: 2019
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Automata and Computability at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Computation Engineering:
By Ganesh Gopalakrishnan

“Computation Engineering:” Metadata:
- Title: Computation Engineering:
- Author: Ganesh Gopalakrishnan
- Language: English
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Computation Engineering: at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Specification and Analysis of Discrete Systems
By Ganesh Gopalakrishnan
“Specification and Analysis of Discrete Systems” Metadata:
- Title: ➤ Specification and Analysis of Discrete Systems
- Author: Ganesh Gopalakrishnan
- Language: English
Access and General Info:
- First Year Published: 2023
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Specification and Analysis of Discrete Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Computation Engineering: Applied Automata Theory and Logic
By Ganesh Gopalakrishnan

“Computation Engineering: Applied Automata Theory and Logic” Metadata:
- Title: ➤ Computation Engineering: Applied Automata Theory and Logic
- Author: Ganesh Gopalakrishnan
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Computation Engineering: Applied Automata Theory and Logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Computer Aided Verification
By Ganesh Gopalakrishnan

“Computer Aided Verification” Metadata:
- Title: Computer Aided Verification
- Author: Ganesh Gopalakrishnan
- Language: English
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Computer Aided Verification at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Genitourinary Tuberculosis
By Ganesh Gopalakrishnan and Sujata Patwardhan
“Genitourinary Tuberculosis” Metadata:
- Title: Genitourinary Tuberculosis
- Authors: Ganesh GopalakrishnanSujata Patwardhan
- Language: English
Access and General Info:
- First Year Published: 2020
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Genitourinary Tuberculosis at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Formal Methods in Computer-Aided Design
By Ganesh Gopalakrishnan and Phillip Windley
“Formal Methods in Computer-Aided Design” Metadata:
- Title: ➤ Formal Methods in Computer-Aided Design
- Authors: Ganesh GopalakrishnanPhillip Windley
- Language: English
Access and General Info:
- First Year Published: 2003
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Formal Methods in Computer-Aided Design at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Theorem Proving in Higher Order Logics
By Konrad Slind, Annette Bunker and Ganesh C. Gopalakrishnan
“Theorem Proving in Higher Order Logics” Metadata:
- Title: ➤ Theorem Proving in Higher Order Logics
- Authors: Konrad SlindAnnette BunkerGanesh C. Gopalakrishnan
- Language: English
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Theorem Proving in Higher Order Logics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.