Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures
edited by Elena Giachino, Reiner Hähnle, Frank S. Boer and Marcello M. Bonsangue
Springer, 2013
 Buku Teks
Foundations of information and knowledge systems : 5th international symposium, FOIKS 2008, Pisa, Italy, February 11-15, 2008 : proceedings
edited by Sven Hartmann, Gabriele Kern-Isberner
Springer-Verlag, 2008
 Buku Teks
Gordon Fraser, editor
Search based software engineering : 4th international symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012 : proceedings
[, Springer-Verlag], 2012
 eBooks
Antonis Bikakis, editor
Rules on the web : research and applications : 6th international symposium, RuleML 2012, Montpellier, France, August 27-29, 2012 : proceedings
[Springer-Verlag, ], 2012
 eBooks
Information processing in computer-assisted interventions : third international conference, IPCAI 2012, Pisa, Italy, June 27, 2012 : proceedings
editor, Purang Abolmaesumi
Springer-Verlag, 2012
 eBooks