Integrated formal methods: 9th international conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings

Information processing in computer-assisted interventions : third international conference, IPCAI 2012, Pisa, Italy, June 27, 2012 : proceedings

Computational intelligence for multimedia understanding : international workshop, MUSCLE 2011, Pisa, Italy, December 13-15, 2011 : revised selected papers

Software engineering for resilient systems : 4th international workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012 : proceedings

Converging Clinical and Engineering Research on Neurorehabilitation III: Proceedings of the 4th International Conference on NeuroRehabilitation (ICNR2018), October 16-20, 2018, Pisa, Italy