Search Result

Found 4336 Document(s) match with the query 20409397
Formal methods : foundations and applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings
Author : Rohit Gheyi, editor
Call Number : e20409397
Collection Type : eBooks
Location : Universitas Indonesia Library
Programming languages : 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012 : proceedings
Author : Francisco Heron de Carvalho Junior, author
Call Number : e20409999
Collection Type : eBooks
Location : Universitas Indonesia Library
Advances in artificial intelligence - SBIA 2012 : 21th Brazilian Symposium on Artificial Intelligence, Curitiba, Brazil, October 20-25, 2012 : proceedings
Author : No author
Call Number : e20406312
Collection Type : eBooks
Location : Universitas Indonesia Library
Advances in bioinformatics and computational biology : 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012 : proceedings
Author : Souto, Marcilio C. P. de, author
Call Number : e20406317
Collection Type : eBooks
Location : Universitas Indonesia Library
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures
Author : No author
Call Number : 004.01 FOR f
Collection Type : Buku Teks SO
Location : Universitas Indonesia Library
Distributed computing : 26th international symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012 : proceedings
Author : No author
Call Number : e20408636
Collection Type : eBooks
Location : Universitas Indonesia Library
<<   1 2 3 4 5   >>