1
|
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)
|
2
|
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)
|
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: Livro
|
|
Fundamentals of computation theory
International Symposium on the Fundamentals of Computation Theory,FCT'99, 12 1999 Iasi Gabriel Ciobanu; Gheorghe Paun
Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-
Berlin Springer-Verlag c1999
Localização:
IFSC - Inst. Física de São Carlos
(P621.38195 L471 v.1684 )(Acessar)
|
8
|
Material Type: Livro
|
|
Modelos clássicos de computação
Flávio Soares Corrêa da Silva Ana Cristina Vieira de Melo
São Paulo Thomson 2006
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68Q15.10 S586mc e.1 ) e outros locais(Acessar)
|
9
|
Material Type: Livro
|
|
Algorithms and theory of computer handbook special topics and techniques
Mikhail J Atallah; Marina Blanton
Boca Raton etc. CRC Press cop. 2010
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68Q20.01 A 862st.2 e.1 ) e outros locais(Acessar)
|
10
|
Material Type: Livro
|
|
Estruturas de dados e seus algoritmos
Jayme Luiz Szwarcfiter Lilian Markenzon
Rio de Janeiro LTC 2010
Localização:
PUSPSC - Prefeitura do Campus USP de São Carlos
(005.1 S998e 3. ed. e.4 ) e outros locais(Acessar)
|