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
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
Tom Schrijvers, editor
Functional and logic programming : 11th international symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings
[, Springer-Verlag], 2012
eBooks