skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Linguagens Formais remover assunto: Teoria Da Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Implementation and Application of Automata: 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers
Implementation and Application of Automata: 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Implementation and Application of Automata: 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers

Watson, Bruce ; Wood, Derick Wood, Derick ; Watson, Bruce W.

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

Citações Citado por
2
Mathematical Foundations of Computer Science 1977
Mathematical Foundations of Computer Science 1977
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical Foundations of Computer Science 1977

Gruska

Springer Berlin Heidelberg 1977

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

3
Computer science logic 11th international workshop, CSL'97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers
Computer science logic 11th international workshop, CSL'97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 11th international workshop, CSL'97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers

Workshop on Computer Science Logic (11th 1997 Aarhus, Denmark) M Nielsen (Mogens) 1949-; Wolfgang Thomas 1947-; European Association for Computer Science Logic Conference Aarhus, Denmark) 1997

Berlin Springer New York 1998

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

4
Languages and machines an introduction to the theory of computer science
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)

5
Multiset processing mathematical, computer science, and molecular computing points of view
Multiset processing mathematical, computer science, and molecular computing points of view
Material Type:
Livro 		Adicionar ao Meu Espaço

Multiset processing mathematical, computer science, and molecular computing points of view

Cristian Calude 1952-

Berlin Springer London c2001

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

6
Compression and entropy
Compression and entropy
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Compression and entropy

Georges Hansel Dominique Perrin; Imre Simon 1943-2009; Annual Symposium on Theoretical Aspects of Computer Science - STACS (9. 1992 Cachan, France)

Proceedings Berlin : Springer, 1992

Berlin Springer 1992

Localização: IME - Inst. Matemática e Estatística    (PROD-834804 ) e outros locais(Acessar)

7
Conditional term rewriting systems
Conditional term rewriting systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Conditional term rewriting systems

International Workshop CTRS (3rd 1992 : Pont-à-Mousson, France) M Rusinowitch (Michael); J. L Remy

Berlin New York Springer-Verlag 1993

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

8
Rewriting techniques and applications 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings
Rewriting techniques and applications 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting techniques and applications 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings

Hubert Comon; International Conference on Rewriting Techniques and Applications (8th 1997 Sitges, Spain)

Berlin Springer New York c1997

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

9
Automata, languages, and programming 12th colloquium, Nafplion, Greece, July 15-19, 1985
Automata, languages, and programming 12th colloquium, Nafplion, Greece, July 15-19, 1985
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata, languages, and programming 12th colloquium, Nafplion, Greece, July 15-19, 1985

ICALP 85 (1985 Nauplion, Greece) Wilfried Brauer; European Association for Theoretical Computer Science; Ethnikon Metsovion Polytechneion; Universität Hamburg

Berlin New York Springer-Verlag c1985

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

10
Combinatorics on Traces
Combinatorics on Traces
Combinatorics on Traces
Material Type:
Livro 		Adicionar ao Meu Espaço

Combinatorics on Traces

Volker Diekert

Springer Berlin Heidelberg 1990

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (43)
  2. Artigos  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1985  (6)
  2. 1985Até1988  (8)
  3. 1989Até1992  (8)
  4. 1993Até1998  (10)
  5. Após 1998  (14)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.