1
|
Material Type: Relatório Técnico
|
|
Arguments in favor of a controlled plurality of office formating standards
Flávio Soares Corrêa da Silva
São Paulo IME-USP 2007
Localização:
IME - Inst. Matemática e Estatística
(RT-MAC 2007 v.7 ) e outros locais(Acessar)
|
2
|
Material Type: Livro
|
|
Teoria da computação máquinas universais e computabilidade
Tiarajú Asmuz Diverio Paulo Blauth Menezes
Porto Alegre, RS Sagra-Luzzato c1999
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68Q01 D618t e.3 ) e outros locais(Acessar)
|
3
|
Material Type: Relatório Técnico
|
|
Representação gramatical adaptativa com verificação de aparência de linguagens dependentes de contexto
César Alberto Bravo Pariente João José Neto 1948-
São Paulo EPUSP 2005
Item não circula. Consulte sua biblioteca.(Acessar)
|
4
|
Material Type: Artigo de Congresso
|
|
Memórias do WTA 2010 quarto workshop de tecnologia adaptativa
Ricardo Luis de Azevedo da Rocha 1960- Workshop de Tecnologia Adaptativa (4. 2010 São Paulo, Brasil)
Workshop de Tecnologia Adaptativa São Paulo: s.n. , 2010
São Paulo 2010
Item não circula. Consulte sua biblioteca.(Acessar)
|
5
|
Material Type: Livro
|
|
Teoria da computação máquinas universais e computabilidade
Tiarajú Asmuz Diverio Paulo Blauth Menezes
Porto Alegre Sagra-Luzzato Instituto de Informática da UFRGS 2004, c2000
Localização:
EACH - Esc. Artes, Ciências e Humanidades
(006 D618t 2.ed. e.5 ) e outros locais(Acessar)
|
6
|
Material Type: Livro
|
|
Introdução à teoria da computação
Michael Sipser Ruy José Guerra Barretto de Queiroz; Newton José Vieira
São Paulo Cengage Learning 2011, c2007
Localização:
EACH - Esc. Artes, Ciências e Humanidades
(004.0151 S618i 2011 ) e outros locais(Acessar)
|
7
|
Material Type: Artigo
|
|
Building PQR trees in almost-linear time
Guilherme Pimentel Telles João Meidanis
Eletronic Notes in Discrete Mathematics v. 19, p. 33-39, 2005
2005
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-1472391 )(Acessar)
|
8
|
Material Type: Artigo
|
|
Applying semantics to grid middleware
A. C. T. Vidal F. J. S Silva; Sergio Takeo Kofuji 1958-; Fábio Kon 1969-
Concurency and Computation: practice and experience Sussex v. 21, n. 13, p. 1725-1741, 2009
Sussex 2009
Localização:
IME - Inst. Matemática e Estatística
(PROD-1786340 )(Acessar)
|
9
|
Material Type: Dissertação de Mestrado
|
|
Protocolo de identificação baseado em polinônios multivariáveis quadráticos
Fabio de Salles Monteiro Routo Terada
2012
Localização:
IME - Inst. Matemática e Estatística
(IME-T QA800.T M775p e.1 )(Acessar)
|
10
|
Material Type: Artigo
|
|
Building PQR trees in almost-linear time
Guilherme Pimentel Telles João Meidanis
Eletronic Notes in Discrete Mathematics v. 19, p. 33-39, 2005
2005
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-1472391 )(Acessar)
|