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
Mostrar Somente
Refinado por: assunto: Teoria Da Computação remover Computabilidade E Complexidade remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computation theory and logic
Computation theory and logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Computation theory and logic

E Börger 1946- (Egon)

Berlin New York Springer-Verlag c1987

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

2
Petri nets applications and relationships to other models concurrency : advances in petri nets 1986, part ii : proceedings of an advanced course bad honnef, 8.-19. september 1986
Petri nets applications and relationships to other models concurrency : advances in petri nets 1986, part ii : proceedings of an advanced course bad honnef, 8.-19. september 1986
Material Type:
Livro 		Adicionar ao Meu Espaço

Petri nets applications and relationships to other models concurrency : advances in petri nets 1986, part ii : proceedings of an advanced course bad honnef, 8.-19. september 1986

Wilfried Brauer; Wolfgang Reisig

Berlin Springer 1987

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

3
Theory of computation formal languages, automata, and complexity
Theory of computation formal languages, automata, and complexity
Material Type:
Livro 		Adicionar ao Meu Espaço

Theory of computation formal languages, automata, and complexity

J. Glenn Brookshear

Redwood City, Calif. Benjamin/Cummings c1989

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

4
Trees in algebra and programming - caap'94 proceedings
Trees in algebra and programming - caap'94 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Trees in algebra and programming - caap'94 proceedings

Colloquium on Trees in Algebra and Pogramming (19. 1994 Edinburgh) Sophie Tison; European Symposium on Programming (5. 1994 Edinburgh)

Berlin Springer 1994

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

5
CAAP '88 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings
CAAP '88 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

CAAP '88 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings

Colloquium on Trees in Algebra and Programming (13th 1988 Nancy, France) M Dauchet 1946- (Max); M Nivat; European Symposium on Programming (2nd 1988 Nancy, France)

Berlin Springer-Verlag New York c1988

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

6
Trees in algebra and programming - caap,96 proceedings [of the] 21st intrnational colloquium, held in linkoping, Sweden, april 22-24, 1996
Trees in algebra and programming - caap,96 proceedings [of the] 21st intrnational colloquium, held in linkoping, Sweden, april 22-24, 1996
Material Type:
Livro 		Adicionar ao Meu Espaço

Trees in algebra and programming - caap,96 proceedings [of the] 21st intrnational colloquium, held in linkoping, Sweden, april 22-24, 1996

Colloquium on Trees in Algebra and Programming (21. 1996 Sinkoping, Se) Helene Kirchner; European Symposium on Programming (6. 1996 Linkoping, Se)

Berlin Springer 1996

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

7
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.

8
Advanced intelligent computing theories and applications with aspects of theoretical and methodological issues; third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21 - 24, 2007; proceedings
Advanced intelligent computing theories and applications with aspects of theoretical and methodological issues; third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21 - 24, 2007; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Advanced intelligent computing theories and applications with aspects of theoretical and methodological issues; third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21 - 24, 2007; proceedings

De-Shuang Huang; Laurent Heutte; Marco Loog; International Conference on Intelligent Computing. <3, 2007, Qingdao>

Internetausg. Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues

Berlin Springer Heidelberg u.a. 2007

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

9
Applicable algebra, error-correcting codes, combinatorics and computer algebra proceedings
Applicable algebra, error-correcting codes, combinatorics and computer algebra proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Applicable algebra, error-correcting codes, combinatorics and computer algebra proceedings

International Conference on Applied Algebra Algorithmics and Error-Correcting Codes, 4., Karlsruhe,1986 Thomas Beth

Berlin Springer 1988

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

10
Applied algebra, algebraic algorithms and error-correcting codes proceeding
Applied algebra, algebraic algorithms and error-correcting codes proceeding
Material Type:
Livro 		Adicionar ao Meu Espaço

Applied algebra, algebraic algorithms and error-correcting codes proceeding

International Conference on Applied Algebra, Algorithmics and Error-Correcting Codes, 5., Menorca, 1987 Llorenc Huguet; Alain Poli

Belin Springer 1989

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.356 e.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  (20)
  2. Artigos  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1988  (5)
  2. 1988Até1990  (5)
  3. 1991Até1994  (4)
  4. 1995Até2002  (4)
  5. Após 2002  (3)
  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.