Author: Gopalakrishnan, Ganesh

Author's info and books

Information about author Gopalakrishnan, Ganesh from several data sources.

Author Search

Search for any author

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

Book's cover

“Automata and Computability” Metadata:

  • Title: Automata and Computability
  • Author:
  • 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:


2Computation Engineering:

By

Book's cover

“Computation Engineering:” Metadata:

  • Title: Computation Engineering:
  • Author:
  • 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:


    3Specification and Analysis of Discrete Systems

    By

    “Specification and Analysis of Discrete Systems” Metadata:

    • Title: ➤  Specification and Analysis of Discrete Systems
    • Author:
    • 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:


    4Computation Engineering: Applied Automata Theory and Logic

    By

    Book's cover

    “Computation Engineering: Applied Automata Theory and Logic” Metadata:

    • Title: ➤  Computation Engineering: Applied Automata Theory and Logic
    • Author:

    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:


    5Computer Aided Verification

    By

    Book's cover

    “Computer Aided Verification” Metadata:

    • Title: Computer Aided Verification
    • Author:
    • 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:


      6Genitourinary Tuberculosis

      By

      “Genitourinary Tuberculosis” Metadata:

      • Title: Genitourinary Tuberculosis
      • Authors:
      • 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:


      7Formal Methods in Computer-Aided Design

      By

      “Formal Methods in Computer-Aided Design” Metadata:

      • Title: ➤  Formal Methods in Computer-Aided Design
      • Authors:
      • 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:


      8Theorem Proving in Higher Order Logics

      By

      “Theorem Proving in Higher Order Logics” Metadata:

      • Title: ➤  Theorem Proving in Higher Order Logics
      • Authors:
      • 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: