skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Refinado por: Nome da Publicação: Proceedings remover tipo de recurso: Livros remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
This volume contains the papers presented at SBMF 2010... [Prefácio]
This volume contains the papers presented at SBMF 2010... [Prefácio]
Material Type:
Livro 		Adicionar ao Meu Espaço

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)

2
Formal methods foundations and applications
Formal methods foundations and applications
Material Type:
Livro 		Adicionar ao Meu Espaço

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)

3
Testing software and systems
Testing software and systems
Material Type:
Livro 		Adicionar ao Meu Espaço

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)

4
Reconfigurable computing architectures, tools and applications
Reconfigurable computing architectures, tools and applications
Material Type:
Livro 		Adicionar ao Meu Espaço

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)

5
Progress in pattern recognition, image analysis, computer vision, and applications
Progress in pattern recognition, image analysis, computer vision, and applications
Material Type:
Livro 		Adicionar ao Meu Espaço

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)

6
Preface
Preface
Material Type:
Livro 		Adicionar ao Meu Espaço

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)

7
Computational Processing of the Portuguese Language
Computational Processing of the Portuguese Language
Material Type:
Livro 		Adicionar ao Meu Espaço

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)

Personalize Seus Resultados

  1. Editar

Refine Search Results

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.