Ganesh Gopalakrishnan
Ganesh Gopalakrishnan
7 books in the database
Books
Computation Engineering:Ganesh Gopalakrishnan

Computation Engineering:
Ganesh Gopalakrishnan · 2006
Automata and ComputabilityGanesh Gopalakrishnan

Automata and Computability
Ganesh Gopalakrishnan · 2019
Computer Aided VerificationGanesh Gopalakrishnan

Computer Aided Verification
Ganesh Gopalakrishnan · 2011
Specification and Analysis of Discrete SystemsGanesh Gopalakrishnan
Specification and Analysis of Discrete Systems
Ganesh Gopalakrishnan · 2023
Genitourinary TuberculosisGanesh Gopalakrishnan
Genitourinary Tuberculosis
Ganesh Gopalakrishnan · 2020
Computation Engineering: Applied Automata Theory and LogicGanesh Gopalakrishnan

Computation Engineering: Applied Automata Theory and Logic
Ganesh Gopalakrishnan · 2006
Formal Methods in Computer-Aided DesignGanesh Gopalakrishnan
Formal Methods in Computer-Aided Design
Ganesh Gopalakrishnan · 2003