Home Advanced Search

Advanced Search - Page 1

Automata and computability: a programmer's perspective
  • PDF
  • English
  • Year: 2019
  • Author: Gopalakrishnan, Ganesh
Automata and Computability: A Programmer’s Perspective
  • PDF
  • English
  • Year: 2019
  • Author: Ganesh Gopalakrishnan
Computation engineering: applied automata theory and logic
  • PDF
  • English
  • Year: 2010
  • Author: Ganesh Gopalakrishnan
Computation Engineering: Applied Automata Theory and Logic
  • PDF
  • English
  • Year: 2006
  • Author: Ganesh Gopalakrishnan
Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings
  • DJVU
  • English
  • Year: 2004
  • Author: Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Kenneth L. McMillan (auth.), Ganesh Gopalakrishnan, Phillip Windley (eds.)
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Kenneth L. McMillan (auth.), Ganesh Gopalakrishnan, Phillip Windley (eds.)
Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Vijay Ganesh, Adam Kieżun, Shay Artzi, Philip J. Guo (auth.), Ganesh Gopalakrishnan, Shaz Qadeer (eds.)
Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Vijay Ganesh, Adam Kieżun, Shay Artzi, Philip J. Guo (auth.), Ganesh Gopalakrishnan, Shaz Qadeer (eds.)
Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Vijay Ganesh, Adam Kieżun, Shay Artzi, Philip J. Guo (auth.), Ganesh Gopalakrishnan, Shaz Qadeer (eds.)
search