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: 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)
|
3
|
Material Type: Livro
|
|
Linguagens formais e autômatos
Paulo Blauth Menezes
Porto Alegre Sagra-Luzzatto 2005
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68Q15.01 m543Li.5 e.2 ) e outros locais(Acessar)
|
4
|
Material Type: Livro
|
|
Grafos internos e multirelacões com "Spans" - propriedades e composicionalidade
Marnes Augusto Hoff Paulo F. Blauth Menezes
Porto Alegre UFRGS 2005
Localização:
ICMC - Inst. Ciên. Mat. Computação
(T H698gr e.1 )(Acessar)
|
5
|
Material Type: Livro
|
|
Teoria da computação máquinas universais e computabilidade
Tiarajú Asmuz Diverio Paulo Blauth Menezes
Porto Alegre Bookman 2011
Localização:
PUSPSC - Prefeitura do Campus USP de São Carlos
(006 D618t 3. ed. e.4 )(Acessar)
|
6
|
Material Type: Livro
|
|
Linguagens formais e autômatos
Paulo Blauth Menezes
Porto Alegre Bookman 2008
Localização:
EACH - Esc. Artes, Ciências e Humanidades
(005.131 M543L 5.ed. ) e outros locais(Acessar)
|
7
|
Material Type: Livro
|
|
Linguagens formais e autômatos
Paulo Blauth Menezes
Porto Alegre Bookman 2011
Localização:
EESC - Esc. Engenharia de São Carlos
(006 M543L.6 e.2 ) e outros locais(Acessar)
|
8
|
Material Type: Livro
|
|
Teoria das categorias para ciência da computação
Paulo Blauth Menezes Edward Hermann Heusler
Porto Alegre Sagra Luzzatto 2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(18A05 M543tc e.2 )(Acessar)
|