skip to main content
Idioma:
Mostrar Somente
Refinado por: assunto: Metodologia E Técnicas De Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Automata, languages, and machines
Automata, languages, and machines
Automata, languages, and machines
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata, languages, and machines

Samuel Eilenberg Author Unknown; Unknown Author

Elsevier 1974

Acesso online. A biblioteca também possui exemplares impressos.

2
Word equations and related topics proceedings
Word equations and related topics proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Word equations and related topics proceedings

International Workshop Word Equations and RelatedTopics, 1., Tubingen, 1990 Klaus Ulrich Schulz

Berlin Springer 1992

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs 572 e.1 ) e outros locais(Acessar)

3
Sur les ensembles algébriques d'arbres et les langages déterministes quelques applications à la théorie des schémas de programme
Sur les ensembles algébriques d'arbres et les langages déterministes quelques applications à la théorie des schémas de programme
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Sur les ensembles algébriques d'arbres et les langages déterministes quelques applications à la théorie des schémas de programme

Bruno Courcelie Maurice Nivat

1976

Localização: IME - Inst. Matemática e Estatística    (QA806.T C859s )(Acessar)

4
Computer programming and formal systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer programming and formal systems

P. Braffort (Paul) D Hirschberg (David)

Amsterdam North-Holland Pub. Co. 1963

Localização: ICMC - Inst. Ciên. Mat. Computação    (68Q01 C738 e.1 )(Acessar)

5
Machines, languages, and computation
Machines, languages, and computation
Material Type:
Livro 		Adicionar ao Meu Espaço

Machines, languages, and computation

Peter J. Denning 1942- Jack B Dennis (Jack Bonnell); Joseph E Qualitz 1948-

Englewood Cliffs, N.J. Prentice-Hall c1978

Localização: ICMC - Inst. Ciên. Mat. Computação    (68N20 D398m e.1 ) e outros locais(Acessar)

6
Automata on infinite words
Automata on infinite words
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata on infinite words

Ecole de printemps d'informatique théorique (1984 Le Mont-Dore, France) M Nivat; Dominique Perrin

Berlin New York Springer-Verlag c1985

Localização: EPBC - Esc. Politécnica-Bib Central    (004 Ec73a ) e outros locais(Acessar)

7
Introduction to automata theory, languages, and computation
Introduction to automata theory, languages, and computation
Material Type:
Livro 		Adicionar ao Meu Espaço

Introduction to automata theory, languages, and computation

John E. Hopcroft 1939- Jeffrey D Ullman 1942-

Reading, Mass. Addison-Wesley c1979

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (519.713 H77i 1979 ) e outros locais(Acessar)

8
Algebraic theory of machines, languages, and semi-groups
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic theory of machines, languages, and semi-groups

Michael A. Arbib Kenneth Krohn; John L Rhodes

New York Academic Press 1968

Localização: EPBC - Esc. Politécnica-Bib Central    (004 Ar16a ) e outros locais(Acessar)

9
Logic programming and automated reasoning 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings
Logic programming and automated reasoning 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic programming and automated reasoning 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings

LPAR (4th 1993 Saint Petersburg, Russia) A Voronkov 1959- (Andreæi)

Berlin New York Springer-Verlag c1993

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lnai v.698 e.1 ) e outros locais(Acessar)

10
A study in string processing languages
A study in string processing languages
Material Type:
Livro 		Adicionar ao Meu Espaço

A study in string processing languages

Paul Klint

Berlin New York Springer-Verlag c1985

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.205 ex.1 ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de1968  (1)
  2. 1968Até1973  (1)
  3. 1974Até1975  (1)
  4. 1976Até1978  (2)
  5. Após 1978  (5)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Nivat, M
  2. AUTHOR, U
  3. Perrin, D
  4. Denning, P
  5. Rhodes, J

Neste Assunto:

  1. Linguagens Formais
  2. Machine Theory
  3. Formal Languages
  4. Teoria Da Computação
  5. Linguagem De Programação

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.