Formal methods : foundations and applications 14th Brazilian Symposium on Formal Methods, SBMF 2011, São Paulo, September 26-30 2011 : revised selected papers
Brazilian Symposium on Formal Methods (14th : 2011 : Sao Paulo, Brazil) Adenilso da Silva Simão; Carroll Morgan 1952-
Heidelberg Springer c2011
Localização:
EACH - Esc. Artes, Ciências e Humanidades
(005.1 B827f 2011 ) e outros locais(Acessar)
Advances in artificial intelligence 13th Brazilian Symposium on Artificial Intelligence, SBIA '96, Curitiba, Brazil, October 23-25, 1996 : proceedings
Simpósio Brasileiro de Inteligência Artificial (13 1996 Curitiba) Díbio L Borges 1965- (Díbio Leander); Celso A. A Kaestner 1955- (Celso Antônio Alves); G Carbonell; J Siekmann
Berlin Springer New York c1996
Localização:
EACH - Esc. Artes, Ciências e Humanidades
(006.3 S612a 1996 ) e outros locais(Acessar)