|
Login | Sign Up | Settings | Sell Books | Wish List |
Searching ... |
0 % | |||
Computation Engineering Applied Automata Theory and Logic by Ganesh C. Gopalakrishnan, Gopalakrishnan Ganesh L., Cennamo K. Hardcover, 472 Pages, Published 2006 by Springer ISBN-13: 978-0-387-24418-1, ISBN: 0-387-24418-2 |
Automata and Computability(1st Edition) A Programmer's Perspective by Ganesh Gopalakrishnan Hardcover, 348 Pages, Published 2019 by Chapman And Hall/Crc ISBN-13: 978-1-138-55242-5, ISBN: 1-138-55242-9 |
Automata and Computability A Programmer's Perspective by Ganesh Gopalakrishnan 328 Pages, Published 2019 by Crc Press ISBN-13: 978-1-351-37429-3, ISBN: 1-351-37429-X |
Automata and Computability A Programmer's Perspective (Paperback) by Ganesh Lalitha Gopalakrishnan Paperback, Published 2020 by Taylor & Francis Ltd, United Kingdom ISBN-13: 978-0-367-65654-6, ISBN: 0-367-65654-X |
Computation Engineering(Reprint) Applied Automata Theory and Logic by Ganesh C. Gopalakrishnan Paperback, 472 Pages, Published 2010 by Springer ISBN-13: 978-1-4419-3741-4, ISBN: 1-4419-3741-2 |
Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer Science) by Ganesh C. Gopalakrishnan, Shaz Qadeer Paperback, 763 Pages, Published 2012 by Springer ISBN-13: 978-3-642-22109-5, ISBN: 3-642-22109-2 |
Theorem Proving in Higher Order Logics 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science) by Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan Paperback, 340 Pages, Published 2008 by Springer ISBN-13: 978-3-540-23017-5, ISBN: 3-540-23017-3 |
Formal Methods in Computer-Aided Design Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings (Lecture Notes in Computer Science) by Ganesh C. Gopalakrishnan, Phillip Windley, Phillip J. Windley, Fmcad '98 Staff Paperback, 538 Pages, Published 1998 by Springer ISBN-13: 978-3-540-65191-8, ISBN: 3-540-65191-8 |
Computation Engineering(1st Edition) Formal Specification and Verification Methods by Ganesh C. Gopalakrishnan Hardcover, 400 Pages, Published 2006 by Springer-Verlag New York Inc. ISBN-13: 978-0-387-24419-8, ISBN: 0-387-24419-0 |
Specification and Analysis of Discrete Systems(1st Edition) A Programmer’s Perspective by Ganesh Gopalakrishnan Hardcover, 400 Pages, Published 2018 by Chapman And Hall/Crc ISBN-13: 978-1-138-55666-9, ISBN: 1-138-55666-1 |
A Treatise on Turbomachines by Ganesh C. Gopalakrishnan , Gopala Krishnan , Gopalakrishnan Et.Al. Paperback, 200 Pages, Published 2008 by Scitech Publications (India) Pvt Ltd ISBN-13: 978-81-87328-98-8, ISBN: 81-87328-98-3 |
Gopalakrishnan Ganesh