skip to main content
Idioma:
Mostrar Somente
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover assunto: Teoria Da Computação remover assunto: Engenharia De Software remover nível superior: Disponível na Biblioteca remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Algebraic methods theory, tools and applications : proceedings
Algebraic methods theory, tools and applications : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic methods theory, tools and applications : proceedings

Workshop on Algebraic Methods : Theory, Tools andApplications, 2., Mierlo, 1989 Jan A Bergstra

Berlin Springer 1991

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

2
Algebraic methods theory, tools and applications : proceedings
Algebraic methods theory, tools and applications : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic methods theory, tools and applications : proceedings

Workshop on Algebraic Methods : Theory, Tools andApplications, 1., Passau, 1987 Jan A Bergstra; Martin Wirsing

Berlin Springer 1989

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

3
Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedings
Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedings

CAV (Conference) (5th 1993 Eloúnda, Greece) Costas Courcoubetis

Berlin New York Springer-Verlag c1993

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

4
Computer-aided verification proceedings
Computer-aided verification proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer-aided verification proceedings

DIMACS Workshop on Computer-Aided Verification (2nd 1990 Center for Discrete Mathematics and Theoretical Computer Science) E. M Clarke 1945-; R. P Kurshan 1943-

Berlin New York Springer-Verlag c1991

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

5
Computer aided verification proceedings
Computer aided verification proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer aided verification proceedings

International Conference on Computer-Aided Verification (4. 1992 Montreal) Gregor von Bochmann

Berlin Springer 1993

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

6
Computer aided verification proceedings
Computer aided verification proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer aided verification proceedings

International Conference on Computer-Aided Verification (6. 1994 Stanford) David L Dill

Berlin Springer 1994

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

7
Computer-aided verification proceedings
Computer-aided verification proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer-aided verification proceedings

International Conference on Computer-Aided Verification, 3., Aalborg, 1991 Kim G Larsen

Berlin Springer 1992

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

8
Design and implementation of symbolic computation systems proceedings
Design and implementation of symbolic computation systems proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Design and implementation of symbolic computation systems proceedings

International Symposium on Design and Implementation of Symbolic Computation Systems (3. 1993 Gmunden) Alfonso Miola

Berlin Springer 1993

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

9
Design and implementation of symbolic computation systems proceedings
Design and implementation of symbolic computation systems proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Design and implementation of symbolic computation systems proceedings

International Symposium on Design and Implementation of Symbolic Computation Systems (2. 1992 Bath) John Fitch

Berlin Springer 1993

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

10
Euro-Par'99 parallel processing 5th International Euro-Par Conference, Toulouse, France, August 31-September 3, 1999 : proceedings
Euro-Par'99 parallel processing 5th International Euro-Par Conference, Toulouse, France, August 31-September 3, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Euro-Par'99 parallel processing 5th International Euro-Par Conference, Toulouse, France, August 31-September 3, 1999 : proceedings

International Euro-Par Conference (5th 1999 Toulouse, France) Patrick Amestoy

Berlin Springer New York c1999

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)

Data de Publicação 

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