Showing
1 - 2
results of
2
for search '
Gopalakrishnan, Ganesh
'
Skip to content
Login
Menu
0
items
(Full)
Servicios para Alumnos
Servicios para Académicos
Recupera tu NIP
Mis Préstamos y Multas
Language
Inglés
Español
Francés
Galego
Search terms
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Search
Advanced
Author
Gopalakrishnan, Ganesh
Skip recommendations
Showing
1 - 2
results of
2
for search '
Gopalakrishnan, Ganesh
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Search Tools:
Suscríbete a esta búsqueda
1
Loading…
Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings /
Published 2011
Other Authors:
“…
Gopalakrishnan, Ganesh
…”
Call Number:
Loading…
Located:
Loading…
Texto Completo
Electronic
eBook
QR Code
2
Loading…
Computation Engineering Applied Automata Theory and Logic /
by
Gopalakrishnan, Ganesh
Published 2006
Call Number:
Loading…
Located:
Loading…
Texto Completo
Electronic
eBook
QR Code
Related Subjects
Computer science
Formal Languages and Automata Theory
Machine theory
Artificial Intelligence
Artificial intelligence
Compilers (Computer programs)
Compilers and Interpreters
Computer Science Logic and Foundations of Programming
Computer programming
Electrical and Electronic Engineering
Electrical engineering
Electronic Circuits and Systems
Electronic circuits
Programming Techniques
Software Engineering
Software engineering
Theory of Computation