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 ICMC - Inst. Ciên. Mat. Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Information security and privacy 5th Australasian conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000 : proceedings
Information security and privacy 5th Australasian conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Information security and privacy 5th Australasian conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000 : proceedings

ACISP 2000 (2000 Brisbane, Qld.) Colin Boyd; Andrew Clark 1971-; Ed Dawson (Edward)

New York Springer c2000

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

2
Artificial evolution 4th European conference, AE '99, Dunkerque, France, November 3-5, 1999 ; selected papers
Artificial evolution 4th European conference, AE '99, Dunkerque, France, November 3-5, 1999 ; selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Artificial evolution 4th European conference, AE '99, Dunkerque, France, November 3-5, 1999 ; selected papers

AE '99 (1999 Dunkerque, France) Cyril Fonlupt

Berlin Springer London c2000

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

3
Concurrent object-oriented programming and Petri nets advances in Petri nets
Concurrent object-oriented programming and Petri nets advances in Petri nets
Material Type:
Livro 		Adicionar ao Meu Espaço

Concurrent object-oriented programming and Petri nets advances in Petri nets

Gul A Agha; Fiorella De Cindio; Grzegorz Rozenberg

Berlin Springer New York c2001

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

4
Algorithmic learning theory 14th international conference, ALT 2003, Sapporo, Japan, October 17-19, 2003 : proceedings
Algorithmic learning theory 14th international conference, ALT 2003, Sapporo, Japan, October 17-19, 2003 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algorithmic learning theory 14th international conference, ALT 2003, Sapporo, Japan, October 17-19, 2003 : proceedings

ALT 2003 (2003 Sapporo, Japan) Ricard Gavaldà 1964-; K. P Jantke (Klaus P.; Eiji Takimoto 1964-

Berlin Springer New York c2003

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.2842 )(Acessar)

5
Algebraic methodology and software technology 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999 ; proceedings
Algebraic methodology and software technology 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic methodology and software technology 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999 ; proceedings

AMAST'98 (1999 Amazonia, Brazil) Armando Martín Haeberer 1947-

Berlin Springer London c1999

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

6
Algorithms and theory of computation handbook
Algorithms and theory of computation handbook
Material Type:
Livro 		Adicionar ao Meu Espaço

Algorithms and theory of computation handbook

Mikhail J Atallah

Boca Raton CRC Press c1999

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

7
AI 2002 advances in artificial intelligence : 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002 : proceedings
AI 2002 advances in artificial intelligence : 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

AI 2002 advances in artificial intelligence : 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002 : proceedings

Australian Joint Conference on Artificial Intelligence (15th 2002 Canberra, A.C.T.) Bob McKay; J. K Slaney (John K.)

Berlin Springer London c2002

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.2557 )(Acessar)

8
Types for proofs and programs Selected papers of the international workshop on types for proofs and programs, types'93, held in Nijmegen, The Netherlands, May 24-28, 1993
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for proofs and programs Selected papers of the international workshop on types for proofs and programs, types'93, held in Nijmegen, The Netherlands, May 24-28, 1993

H. P. Barendregt (Hendrik Pieter) Tobias Nipkow; Workshop on types for proofs and programs (1 1993 Nijmegen)

Berlin Springer-Verlag 1994

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

9
Hierarchical Neural Networks for Image Interpretation
Hierarchical Neural Networks for Image Interpretation
Hierarchical Neural Networks for Image Interpretation
Material Type:
Livro 		Adicionar ao Meu Espaço

Hierarchical Neural Networks for Image Interpretation

Sven Behnke

Springer Berlin Heidelberg 2003

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

10
Systems of reductions
Systems of reductions
Material Type:
Livro 		Adicionar ao Meu Espaço

Systems of reductions

B. Benninghofen 1958- (Benjamin) S Kemmerich 1953- (Susanne); Michael M Richter 1938-

Berlin New York Springer-Verlag c1987

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (12)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de1977  (20)
  2. 1977Até1984  (21)
  3. 1985Até1991  (91)
  4. 1992Até1999  (125)
  5. Após 1999  (122)
  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.