Koha online catalog › Results of search for 'au:"Cervesato, Iliano."'

Your search returned 2 results.

	1.	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 \| Veith, Helmut \| Voronkov, Andrei \| SpringerLink (Online service). Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.63 C47 2008 (1). Place hold Add to cart (remove)
	2.	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 \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA75.5 C47 2007 (1). Place hold Add to cart (remove)