IMSc Library catalog › Results of search for 'au:"Cervesato, Iliano."'

Your search returned 2 results.

Not what you expected? Check for suggestions

			Advances in Computer Science – ASIAN 2007. Computer and Network Security [electronic resource] : 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings / edited by Iliano Cervesato. by Cervesato, Iliano [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4846Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings / edited by Iliano Cervesato, Helmut Veith, Andrei Voronkov. by Cervesato, Iliano [editor.] \| Veith, Helmut [editor.] \| Voronkov, Andrei [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5330Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags