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

Design and implementation of symbolic computation systems proceedings

International Symposium on Design and Implementation of Symbolic Computation Systems, 1., Capri, 1990 Alfonso Miola

Berlin Springer 1990

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

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

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

4
Design and implementation of symbolic computation systems proceedings [of the] international symposium, disco'96, karlsruhe, germany, september 18-20, 1996
Material Type:
Livro
Adicionar ao Meu Espaço

Design and implementation of symbolic computation systems proceedings [of the] international symposium, disco'96, karlsruhe, germany, september 18-20, 1996

International Symposium on Design and Implementation of Symbolic Computation Systems (4. 1996 Karlsruhe, De) Jacques Calmet; Carla Limongelli

Berlin Springer 1996

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

5
Formal methods and software development
Material Type:
Livro
Adicionar ao Meu Espaço

Formal methods and software development

Colloquium on Software Engineering (1985 Berlin, Germany) Hartmut Ehrig

Berlin Springer-Verlag New York c1985

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

6
Foundations of software science and computation structures First International Conference, FoSSaCS'98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Foundations of software science and computation structures First International Conference, FoSSaCS'98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings

FoSSaCS '98 (Conference) (1st 1998 Lisbon, Portugal) Maurice Nivat 1937-; Joint European Conferences on Theory and Practice of Software (1998 Lisbon, Portugal)

Berlin London Springer c1998

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

7
Mathematics of program construction 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Mathematics of program construction 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings

International Conference on the Mathematics of Program Construction (4th 1998 Marstrand, Sweden) Johan Jeuring 1965-

Berlin Springer Verlag New York c1998

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

8
Principles and practice of constraint programming second International Workshop, PPCP'94, Rosario, Orcas Island, WA, USA, may 2-4, 1994 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Principles and practice of constraint programming second International Workshop, PPCP'94, Rosario, Orcas Island, WA, USA, may 2-4, 1994 : proceedings

Workshop on the Principles and Practice of Constraint Programming (2nd 1994 Rosario, Wash.) Alan Borning 1950- (Alan H.)

Berlin New York Springer-Verlag c1994

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

9
Material Type:
Livro
Adicionar ao Meu Espaço

Proceedings

M.-C. Gaudel (Marie-Claude) International Joint Conference on Theory and Practice of Software Development (5 1993 Orsay)

Berlin Springer 1993

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

10
Programming languages and systems 7th European Symposium on Programming, ESOP '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1996 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Programming languages and systems 7th European Symposium on Programming, ESOP '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1996 : proceedings

European Symposium on Programming (7th 1998 Lisbon, Portugal) Chris Hankin; International Joint Conference on Theory and Practice of Software Development (1998 Lisbon, Portugal)

Berlin Springer New York c1998

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
  1. Antes de1990  (1)
  2. 1990Até1992  (1)
  3. 1993Até1993  (3)
  4. 1994Até1995  (2)
  5. Após 1995  (5)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.