Information processing in computer-assisted interventions : third international conference, IPCAI 2012, Pisa, Italy, June 27, 2012 : proceedings
editor, Purang Abolmaesumi
Springer-Verlag, 2012
eBooks
Integrated formal methods: 9th international conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings
edited by John Derrick
Springer-Verlag, 2012
eBooks
Computational intelligence for multimedia understanding : international workshop, MUSCLE 2011, Pisa, Italy, December 13-15, 2011 : revised selected papers
editors, Emanuele Salerno, A. Enis Cetin, Ovidio Salvetti
Springer-Verlag, 2012
eBooks
Paris Avgeriou, editor
Software engineering for resilient systems : 4th international workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012 : proceedings
[Springer-Verlag , ], 2012
eBooks
Chris Hawblitzel, editor
Certified programs and proofs: second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings
Springer-Verlag , 2012
eBooks