skip to main content
Idioma:
Mostrar Somente
Refinado por: nível superior: Disponível na Biblioteca remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computer science logic 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings
Computer science logic 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings

Workshop on Computer Science Logic (5th 1991 Bern, Switzerland) E Börger 1946- (Egon)

Berlin New York Springer-Verlag c1992

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

2
Computer science logic selected papers [of the] 9th international workshop, CSL'95 annual conference of the EACSL, held in paderborn, Germany, september 22-29, 1995
Computer science logic selected papers [of the] 9th international workshop, CSL'95 annual conference of the EACSL, held in paderborn, Germany, september 22-29, 1995
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic selected papers [of the] 9th international workshop, CSL'95 annual conference of the EACSL, held in paderborn, Germany, september 22-29, 1995

Workshop on Computer Science Logic (9. 1995 Paderborn, De) H. Kleine Buning

Berlin Springer 1996

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

3
Computer science logic 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
Computer science logic 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings

Workshop on Computer Science Logic (4th 1990 Heidelberg, Germany) E Börger 1946- (Egon)

Berlin Springer-Verlag New York c1991

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

4
Computer science logic 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings
Computer science logic 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings

Workshop on Computer Science Logic (16th 2002 Edinburgh, Scotland) J. C Bradfield; European Association for Computer Science Logic Conference Edinburgh, Scotland) 2002

Berlin Springer New York c2002

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

5
Computer science logic 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings
Computer science logic 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings

Workshop on Computer Science Logic (19th 2005 Oxford, England) European Association for Computer Science Logic Conference 2005 Oxford, England)

Berlin Springer New York c2005

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

6
Computer science logic 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
Computer science logic 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers

Workshop on Computer Science Logic (6th 1992 San Miniato, Italy) E Börger 1946- (Egon)

Berlin New York Springer-Verlag c1993

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

7
Computer science logic proceedings
Computer science logic proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic proceedings

Workshop on Computer Science Logic (7. 1993 Swamsea) E Borger; Yuri Gurevich

Berlin Springer 1994

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

8
Computer science logic 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 ; proceedings
Computer science logic 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 ; proceedings

Workshop on Computer Science Logic (21st 2007 Lausanne, Switzerland) Jacques Duparc; Thomas A Henzinger

Berlin Springer 2007

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

9
Computer science logic 10th international workshop, CSL'96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
Computer science logic 10th international workshop, CSL'96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 10th international workshop, CSL'96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers

Workshop on Computer Science Logic (10th 1996 Utrecht, Netherlands) D. van Dalen 1932- (Dirk); M Bezem 1956- (Marc); European Association for Computer Science Logic Conference Utrecht, Netherlands) 1996

Berlin Springer New York c1997

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

10
Computer science logic 11th international workshop, CSL'97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers
Computer science logic 11th international workshop, CSL'97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 11th international workshop, CSL'97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers

Workshop on Computer Science Logic (11th 1997 Aarhus, Denmark) M Nielsen (Mogens) 1949-; Wolfgang Thomas 1947-; European Association for Computer Science Logic Conference Aarhus, Denmark) 1997

Berlin Springer New York 1998

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (2)

Data de Publicação 

De até
Refinar
  1. Antes de1991  (3)
  2. 1991Até1993  (3)
  3. 1994Até1997  (3)
  4. 1998Até2002  (5)
  5. Após 2002  (6)
  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.