Your search returned 5 results.

Not what you expected? Check for suggestions
E-BOOKS
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings / edited by Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay.

by Zuck, Lenore D [editor.] | Attie, Paul C [editor.] | Cortesi, Agostino [editor.] | Mukhopadhyay, Supratik [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2575Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Verification, Model Checking, and Abstract Interpretation [electronic resource] : Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers / edited by Agostino Cortesi.

by Cortesi, Agostino [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2294Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Static Analysis [electronic resource] : 6th International Symposium, SAS’99 Venice, Italy, September 22–24, 1999 Proceedings / edited by Agostino Cortesi, Gilberto Filé.

by Cortesi, Agostino [editor.] | Filé, Gilberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1694Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Computer Information Systems and Industrial Management [electronic resource] : 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings / edited by Agostino Cortesi, Nabendu Chaki, Khalid Saeed, Sławomir Wierzchoń.

by Cortesi, Agostino [editor.] | Chaki, Nabendu [editor.] | Saeed, Khalid [editor.] | Wierzchoń, Sławomir [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7564Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Computer Information Systems and Industrial Management [electronic resource] : 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings / edited by Khalid Saeed, Rituparna Chaki, Agostino Cortesi, Sławomir Wierzchoń.

by Saeed, Khalid [editor.] | Chaki, Rituparna [editor.] | Cortesi, Agostino [editor.] | Wierzchoń, Sławomir [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8104Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha