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
Paris Avgeriou, editor
Software engineering for resilient systems : 4th international workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012 : proceedings
[Springer-Verlag , ], 2012
 eBooks
Massimo Ferri, editor
Computational topology in image context : 4th international workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012 : proceedings
[Springer-Verlag, ], 2012
 eBooks
Sara Foresti, editor
Computer security–ESORICS 2012 : 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012 : proceedings
[Springer-Verlag, ], 2012
 eBooks
Sergio Di Martino, editor
Web and wireless geographical information systems : 11th international symposium, W2GIS 2012, Naples, Italy, April 12-13, 2012 : proceedings
[, Springer-Verlag], 2012
 eBooks