Rohit Gheyi, editor
Formal methods : foundations and applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings
[, Springer-Verlag], 2012
 eBooks
Advances in artificial intelligence - SBIA 2012 : 21th Brazilian Symposium on Artificial Intelligence, Curitiba, Brazil, October 20-25, 2012 : proceedings
Leliane N. Barros, Marcelo Finger, Aurora T.R. Pozo, Gustavo Alberto Giménez Lugo, Marcos Castilho
Springer-Verlag, 2012
 eBooks
Souto, Marcilio C. P. de, editor
Advances in bioinformatics and computational biology : 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012 : proceedings
Springer-Verlag, 2012
 eBooks
Distributed computing : 26th international symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012 : proceedings
edited by Marcos K. Aguilera
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