Formal Methods in Computer-Aided Design [electronic resource] : Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings / Formal Methods in Computer-Aided Design [electronic resource] : Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings /

by Gopalakrishnan, Ganesh. editor., Windley, Phillip. editor., SpringerLink (Online service)
Published 1998

Formal Methods in Computer-Aided Design [electronic resource] : Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings / Formal Methods in Computer-Aided Design [electronic resource] : Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings /

by Gopalakrishnan, Ganesh. editor., Windley, Phillip. editor., SpringerLink (Online service)
Published 1998

Changing profile of prostatic abscess

by Bhagat,Suresh K., Kekre,Nitin S., Gopalakrishnan,Ganesh, Balaji,V., Mathews,Mary S.
Published 2008

Theorem Proving in Higher Order Logics [electronic resource] : 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings / Theorem Proving in Higher Order Logics [electronic resource] : 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings /

by Slind, Konrad. editor., Bunker, Annette. editor., Gopalakrishnan, Ganesh. editor., SpringerLink (Online service)
Published 2004

Theorem Proving in Higher Order Logics [electronic resource] : 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings / Theorem Proving in Higher Order Logics [electronic resource] : 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings /

by Slind, Konrad. editor., Bunker, Annette. editor., Gopalakrishnan, Ganesh. editor., SpringerLink (Online service)
Published 2004

Surgical repair in case of covered exstrophy of bladder with complete duplication of lower genitourinary tract and visceral sequestration

by Sarode,Sachin, Mhaske,Sunil, Wagaskar,Vinayak G., Patil,Bhushan, Patwardhan,Sujata K., Gopalakrishnan,Ganesh
Published 2018