1
|
Material Type: Livro
|
|
Introdução aos fundamentos da computação linguagens e máquinas
Newton José Vieira
São Paulo Pioneira Thomson Learning 2006
Localização:
EACH - Esc. Artes, Ciências e Humanidades
(004.0151 V658i ) e outros locais(Acessar)
|
2
|
Material Type: Tese de Doutorado
|
|
Um método de escolha automática de soluções usando tecnologia adaptativa
Ricardo Luis de Azevedo da Rocha 1960- João José Neto 1948-
2000
Localização:
EPBC - Esc. Politécnica-Bib Central
(FT-1416 ) e outros locais(Acessar)
|
3
|
Material Type: Livro
|
|
Linguagens formais teoria, modelagem e implementação
Marcus Vinicius Midena Ramos João José Neto 1948-; Ítalo Santiago Vega
Porto Alegre Bookman 2009
Localização:
EACH - Esc. Artes, Ciências e Humanidades
(005.131 R175L e.2 ) e outros locais(Acessar)
|
4
|
Material Type: Livro
|
|
Programming language theory and its implementation applicative and imperative paradigms
Michael J. C. Gordon 1948-
New York Prentice-Hall 1988
Localização:
EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval
(004.43 G657p ) e outros locais(Acessar)
|
5
|
Material Type: Livro
|
|
Introdução à teoria da computação
Michael Sipser Ruy José Guerra Barretto de Queiroz; Newton José Vieira
São Paulo Thomson Learning c2007
Localização:
EACH - Esc. Artes, Ciências e Humanidades
(004.0151 S618i e.7 ) e outros locais(Acessar)
|
6
|
Material Type: Livro
|
|
Introduction to the theory of computation
Michael Sipser
Boston Thomson Course Technology 2006
Localização:
EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval
(004 Si75i2 e.5 ) e outros locais(Acessar)
|
7
|
Material Type: Livro
|
|
Types for proofs and programs international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers
TYPES 2006 (2006 Nottingham, England) Thorsten Altenkirch 1962-; Conor McBride
Berlin Springer New York c2007
Localização:
EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval
(004 T98 2006 ) e outros locais(Acessar)
|
8
|
Material Type: Livro
|
|
Finite-state models for logical machines
Frederick C. Hennie (Frederick Clair)
New York Wiley 1968
Localização:
EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval
(519.713 H393f ) e outros locais(Acessar)
|
9
|
Material Type: Livro
|
|
Languages and machines an introduction to the theory of computer science
Thomas A. Sudkamp
Reading, Mass. Addison-Wesley c1988
Localização:
EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval
(510.64 Su22L )(Acessar)
|
10
|
Material Type: Livro
|
|
Elementos de teoria da computação
Harry R Lewis Christos H Papadimitriou; Edson Furmankiewicz; Hemerson Pistori; João José Neto 1948-
Porto Alegre Bookman 2000
Localização:
EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval
(004 L586eP2 e.2 ) e outros locais(Acessar)
|