Scagnetto, Ivan books & textbook
Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes in Computer Science, 4941)
Miculan, Marino Scagnetto, Ivan Honsell, Furio
Springer /2008-05-26 Paperback / 210 Pages
isbn-10: 3540680845 / isbn-13: 9783540680840
Mobile Information Retrieval (SpringerBriefs in Computer Science)
Crestani, Fabio Mizzaro, Stefano Scagnetto, Ivan
Springer /2017-07-27 Paperback / 116 Pages
isbn-10: 3319607766 / isbn-13: 9783319607764
