skip to main content
Resultados 1 2 3 4 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Introdução aos fundamentos da computação linguagens e máquinas
Material Type:
Livro
Adicionar ao Meu Espaço

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
Adicionar ao Meu Espaço

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
Linguagens formais teoria, modelagem e implementação
Material Type:
Livro
Adicionar ao Meu Espaço

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
Programming language theory and its implementation applicative and imperative paradigms
Material Type:
Livro
Adicionar ao Meu Espaço

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
Introdução à teoria da computação
Material Type:
Livro
Adicionar ao Meu Espaço

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
Introduction to the theory of computation
Material Type:
Livro
Adicionar ao Meu Espaço

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
Types for proofs and programs international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers
Material Type:
Livro
Adicionar ao Meu Espaço

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
Adicionar ao Meu Espaço

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
Languages and machines an introduction to the theory of computer science
Material Type:
Livro
Adicionar ao Meu Espaço

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
Elementos de teoria da computação
Material Type:
Livro
Adicionar ao Meu Espaço

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)

Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (2)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (26)
  2. Produções Acadêmicas  (4)
  3. Revistas  (2)
  4. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1981  (4)
  2. 1981Até1989  (8)
  3. 1990Até1999  (5)
  4. 2000Até2007  (11)
  5. Após 2007  (4)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.