skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
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
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
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
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
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
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
Debugging techniques in large systems
Material Type:
Livro
Adicionar ao Meu Espaço

Debugging techniques in large systems

Courant Computer Science Symposium (1st 1970 New York) Randall Rustin

Englewood Cliffs, N.J. Prentice-Hall 1971

Localização: EPEL - Esc. Politécnica-Bib Eng Eletr    (005.14 R928d ) e outros locais(Acessar)

9
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
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)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
  1. Antes de1982  (2)
  2. 1982Até1987  (3)
  3. 1988Até1990  (3)
  4. 1991Até1993  (8)
  5. Após 1993  (8)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.