1
Material Type:
Livro
Verificação e construção de programas
Paulo A . S. Veloso Escola Brasileiro-Argentina de Informática (1. 1986 Campinas)
Campinas Ed Unicamp 1986
Localização:
IME - Inst. Matemática e Estatística
(QA754 V443v ) e outros locais(Acessar)
This feature requires javascript
2
Material Type:
Livro
Estruturação e verificação de programas com tipos de dados
Paulo A . S. Veloso
São Paulo Edgard Blucher 1987
Localização:
IME - Inst. Matemática e Estatística
(QA758 V443v ) e outros locais(Acessar)
This feature requires javascript
3
Material Type:
Livro
Ondas e ondaletas da análise de Fourier à análise de ondaletas de séries temporais
Pedro Alberto Morettin 1942-
São Paulo EDUSP 2014
Localização:
EESC - Esc. Engenharia de São Carlos
(519.232 M845o.2 ) e outros locais(Acessar)
This feature requires javascript
4
Material Type:
Tese de Doutorado
Solução bayesiana para dois problemas clássicos em genética penetrância e equilíbrio de Hardy-Weinberg
Andre Rogatko Paulo A Otto
1983
Localização:
ICMC - Inst. Ciên. Mat. Computação
(T R721so e.1 ) e outros locais(Acessar)
This feature requires javascript
5
Material Type:
Livro
Maquinas e linguagens
Paulo A . S. Veloso
São Paulo IME-USP 1979
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68Q15.01 V443m e.4 ) (Acessar)
This feature requires javascript
6
Material Type:
Livro
Estruturas de dados
Paulo A . S. Veloso
Rio de Janeiro Campus 1983
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68P05.01 V438e e.1 ) (Acessar)
This feature requires javascript
7
Material Type:
Livro
Estruturas de dados
Paulo A . S. Veloso Clesio dos Santos; Paulo Azeredo; Antonio Furtado
Rio de Janeiro Campus 1984
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68P05.01 V438e.2 e.1 ) e outros locais(Acessar)
This feature requires javascript
8
Material Type:
Livro
Complexidade de algoritmos análise, projeto e métodos
Laira Vieira Toscani Paulo A . S Veloso; Instituto de Informática da UFRGS
São Paulo Sagra Luzzato 2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68Q20.15 T713ca e.5 ) (Acessar)
This feature requires javascript
9
Material Type:
Artigo de Congresso
Static analysis of java bytecode for domain-specific software testing
Márcio Eduardo Delamaro Paulo A Nardi; Otávio Augusto Lazzarini Lemos; Paulo Cesar Masiero; Edmundo Sergio Spoto; José Carlos Maldonado; Auri Marcelo Rizzo Vincenzi; Simpósio Brasileiro de Engenharia de Software 21 2007 João Pessoa
Anais [s.l.s.n.], 2007
s.l. s.n. 2007
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-1626441 ) e outros locais(Acessar)
This feature requires javascript
10
Material Type:
Artigo
Concept drift detection on social network data using cross-recurrence quantification analysis
Rodrigo Fernandes de Mello Ricardo A Rios; Paulo A Pagliosa
Chaos Melville : AIP v. 28, p. 085719-1-085719-15, 2018
Melville 2018
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-2901697 ) (Acessar)
This feature requires javascript