|
|
|
|
Computation engineering applied automata theory and logic by Gopalakrishnan, Ganesh. Material type:  Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York ; Springer ; 2006Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 48 Call number: 681.3 GOP.
|
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings / edited by Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan. by Slind, Konrad [editor.] | Bunker, Annette [editor.] | Gopalakrishnan, Ganesh [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3223Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Formal Methods in Computer-Aided Design [electronic resource] : Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings / edited by Ganesh Gopalakrishnan, Phillip Windley. by Gopalakrishnan, Ganesh [editor.] | Windley, Phillip [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1522Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computer Aided Verification [electronic resource] : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings / edited by Ganesh Gopalakrishnan, Shaz Qadeer. by Gopalakrishnan, Ganesh [editor.] | Qadeer, Shaz [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6806Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
