FEEDBACK Smiley face

Your search returned 5 results. Subscribe to this search

|
1. Static Analysis [electronic resource] :6th International Symposium, SAS’99 Venice, Italy, September 22–24, 1999 Proceedings /

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

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

2. Verification, Model Checking, and Abstract Interpretation [electronic resource] :Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers /

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

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available

3. Verification, Model Checking, and Abstract Interpretation [electronic resource] :4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings /

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

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.Online access: Click here to access online Availability: No items available

4. Computer Information Systems and Industrial Management [electronic resource] :11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings /

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

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.Online access: Click here to access online Availability: No items available

5. Computer Information Systems and Industrial Management [electronic resource] :12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings /

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

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in