Reneta P. Barneva, editor
Combinatorial image analysis: 15th international workshop, IWCIA 2012, Austin, TX, USA, November 28-30, 2012 : proceedings
Springer-Verlag , 2012
eBooks
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
Abderrahim Elmoataz, editor
Image and signal processing : 5th international conference, ICISP 2012, Agadir, Morocco, June 28-30, 2012 : proceedings
[, Springer-Verlag], 2012
eBooks
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
Marco Bernardo, editor
Formal methods for model-driven engineering : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012, advanced lectures
[, Springer-Verlag], 2012
eBooks