Library Services | Technical University of Kenya catalog › Results of search for 'au:"Bartocci, C."'

Your search returned 2 results.

	1.	Vite matematiche [electronic resource] : Protagonisti del’ 900 da Hilbert a Wiles / edited by C. Bartocci, R. Betti, A. Guerraggio, R. Lucchetti. by Bartocci, C \| Betti, R \| Guerraggio, A \| Lucchetti, R \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Milano : Springer Milan, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	2.	Model Checking Software [electronic resource] : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings / edited by Ezio Bartocci, C. R. Ramakrishnan. by Bartocci, Ezio [editor.] \| Ramakrishnan, C. R [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)

Library Services | Technical University of Kenya