skip to main content
Idioma:
previous page 1 Resultados 2
Mostrar Somente
Refinado por: autor: Workshop on Computer Science Logic remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
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)

12
Computer science logic 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings
Computer science logic 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings

Workshop on Computer Science Logic (18th 2004 Karpacz, Poland) Jerzy Marcinkowski 1965; Andrzej Tarlecki; European Association for Computer Science Logic Conference Karpacz, Poland) 2004

Berlin Springer New York c2004

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

13
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.

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

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

16
Computer science logic 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings
Computer science logic 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings

Workshop on Computer Science Logic (12th 1998 Brno, Czech Republic) G Gottlob (Georg); E Grandjean (Etienne); Katrin Seyr

Berlin Springer New York 1999

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

17
Computer science logic 17th International Workshop, CSL 2003, 12th Annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003 : proceedings
Computer science logic 17th International Workshop, CSL 2003, 12th Annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 17th International Workshop, CSL 2003, 12th Annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003 : proceedings

Matthias Baaz; Johann A Makowsky 1948-; European Association for Computer Science Logic Conference Vienna University of Technology) 2003; Workshop on Computer Science Logic (17th 2003 Vienna University of Technology); Kurt Gödel Colloquium (8th 2003 Vienna University of Technology)

Berlin Springer New York c2003

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

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

previous page 1 Resultados 2

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (1)

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

Buscando em bases de dados remotas. Favor aguardar.