Your search returned 2 results.

Results
	1.	Computation engineering applied automata theory and logic by Gopalakrishnan Ganesh Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York Springer-Verlag 2006 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 004.0151 G659. Place hold Add to cart (remove)
	2.	No cover image available Formal methods in computer-aided design by Gopalakrishnan Ganesh ed International Conference, FMCAD '98 on Formal Methods in Computer-Aided Design (2nd : 4-6 Nov 1998 : California,USA) International conference, FMCAD '98 on formal methods in computer-aided design California, USA 4-6 Nov 1998 Series: Lecture notes in computer science; v 1522 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1998 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 4.22 In61. Place hold Add to cart (remove)

Refine your search