1
Material Type:
Livro
This volume contains the papers presented at SBMF 2010... [Prefácio]
Jim Davies Leila Silva; Adenilso da Silva Simão; Brazilian Symposium on Formal Methods - SBMF (13. 2010 Natal)
Proceedings Heidelberg : Springer
Heidelberg Springer 2011
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-2220867 ) e outros locais(Acessar)
This feature requires javascript
2
Material Type:
Livro
Formal methods foundations and applications
Jim Davies Leila Silva; Adenilso da Silva Simão; Brazilian Symposium on Formal Methods - SBMF (13. 2010 Natal)
Proceedings Heidelberg : Springer
Heidelberg Springer 2011
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-2213638 ) e outros locais(Acessar)
This feature requires javascript
3
Material Type:
Livro
Testing software and systems
Alexandre Petrenko Adenilso da Silva Simão; José Carlos Maldonado; IFIP WG 6.1 International Conference - ICTSS (22. 2010 Natal)
Proceedings
Berlin Springer 2010
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-2132657 ) e outros locais(Acessar)
This feature requires javascript
4
Material Type:
Livro
Reconfigurable computing architectures, tools and applications
Pedro C Diniz Eduardo Marques; Koen Bertels; Marcio Merino Fernandes; João M. P Cardoso; International Workshop, ARC 2007 (3. 2007 Mangaratiba)
Proceedings
Berlin Springer-Verlag 2007
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-1582502 ) e outros locais(Acessar)
This feature requires javascript
5
Material Type:
Livro
Progress in pattern recognition, image analysis, and applications proceedings [of the] 13th Iberoamerican Congress on Pattern Recognition, CIARP'2008 [held in] Havana, Cuba,September 09-12, 2008
José Ruiz-Shulcloper; Walter G Kropatsch; Iberoamerican Congress on Pattern Recognition, CIARP 2010 (13th Havana, CUBA 2008)
proceedings
Berlin Springer 2008
Localização:
IME - Inst. Matemática e Estatística
(S L47c v.5197 ) (Acessar)
This feature requires javascript
6
Material Type:
Livro
Progress in pattern recognition, image analysis, computer vision, and applications proceedings [of the] 15th Iberoamerican Congress on Pattern Recognition, CIARP'2010 [held in] São Paulo, Brazil, November 08-11, 2010
Roberto Marcondes César Jr; Isabelle Bloch; Iberoamerican Congress on Pattern Recognition, CIARP 2010 (15th : São Paulo, SP, BR : 2010)
proceedings
Berlin Springer 2010
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.6419 ) (Acessar)
This feature requires javascript
7
Material Type:
Livro
Progress in pattern recognition, image analysis, computer vision, and applications
Isabelle Bloch Roberto Marcondes César Júnior; Iberoamerican Congress on Pattern Recognition, CIARP 2010 (15. São Paulo 2010)
Proceedings
New York Springer 2010
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.6419 ) e outros locais(Acessar)
This feature requires javascript
8
Material Type:
Livro
Preface
Nuno J Mamede Jorge Baptista; Isabel Trancoso; Maria das Graças Volpe Nunes; International Workshop - PROPOR 2003 (6. 2003 Faro)
Proceedings
Heidelberg Springer 2003
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-1318345 ) e outros locais(Acessar)
This feature requires javascript
9
Material Type:
Livro
Computational Processing of the Portuguese Language
Nuno J Mamede Jorge Baptista; Isabel Trancoso; Maria das Graças Volpe Nunes; International Workshop - PROPOR 2003 (6. 2003 Faro)
Proceedings
Heidelberg Springer 2003
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-1318234 ) e outros locais(Acessar)
This feature requires javascript