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: Metodologia E Técnicas De Computação remover data de publicação: 1990Até1995 remover nível superior: Disponível na Biblioteca remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Concur'95 concurrency theory : proceedings
Concur'95 concurrency theory : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Concur'95 concurrency theory : proceedings

International Conference on Concurrency Theory (6. 1995 Philadelphia, USA) Insup Lee; Scott A Smolka

Berlin Springer 1995

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

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

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

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

5
On the Shape of Mathematical Arguments
On the Shape of Mathematical Arguments
On the Shape of Mathematical Arguments
Material Type:
Livro 		Adicionar ao Meu Espaço

On the Shape of Mathematical Arguments

Antonetta J. M. van Gasteren

Springer Berlin Heidelberg 1990

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

6
Principles and practice of constraint programming second International Workshop, PPCP'94, Rosario, Orcas Island, WA, USA, may 2-4, 1994 : proceedings
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)

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

8
TAPSOFT ®91 proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
TAPSOFT ®91 proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
Material Type:
Livro 		Adicionar ao Meu Espaço

TAPSOFT ®91 proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991

International Joint Conference on Theory and Practice of Software Development (4th : 1991 Brighton, England) Samson Abramsky 1953-; Thomas S. E Maibaum

Berlin Springer-Verlag New York 1991-

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

9
Tapsoft'95 theory and practice of software development : proceedings of the 6th international joint conference caap / fase, held in aarhus, dinmark, may 22-26, 1995
Tapsoft'95 theory and practice of software development : proceedings of the 6th international joint conference caap / fase, held in aarhus, dinmark, may 22-26, 1995
Material Type:
Livro 		Adicionar ao Meu Espaço

Tapsoft'95 theory and practice of software development : proceedings of the 6th international joint conference caap / fase, held in aarhus, dinmark, may 22-26, 1995

International Joint Conference on Theory and Practice of Software Development (6. 1995 Aarhus, Dk) Peter D Mosses; M Nielsen (Mogens) 1949-

Berlin Springer 1995

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.