skip to main content
Resultados 1 2 3 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Programming languages and systems 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics [i.e. Practice] of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Programming languages and systems 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics [i.e. Practice] of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings

European Symposium on Programming (16th 2007 Braga, Portugal) Rocco De Nicola; ETAPS 2007 (2007 Braga, Portugal)

Berlin Springer New York 2007

Localização: EPBC - Esc. Politécnica-Bib Central    (004.43 P943 16. ) e outros locais(Acessar)

2
Automata, languages and programming 34th international colloquium, ICALP 2007, Wroc aw, Poland, July 9-13 2007 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Automata, languages and programming 34th international colloquium, ICALP 2007, Wroc aw, Poland, July 9-13 2007 : proceedings

International Colloquium on Automata, Languages, and Programming (34th 2007 Wroc aw, Poland) Christian Cachin; Tomasz Jurdzinski; Andrzej Tarlecki; L Arge (Lars); European Association for Theoretical Computer Science

Berlin Springer New York c2007

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4596 )(Acessar)

3
Static analysis 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark August 22-24, 2007 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Static analysis 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark August 22-24, 2007 : proceedings

International Static Analysis Symposium (14th 2007 Lyngby, Denmark) Hanne Riis Nielson 1954; Gilberto Fil e 1951

Berlin Springer c2007

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

4
Automata, languages and programming 33rd international colloquium, ICALP 2006, Venice, Italy, July 10-14 2006 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Automata, languages and programming 33rd international colloquium, ICALP 2006, Venice, Italy, July 10-14 2006 : proceedings

International Colloquium on Automata, Languages, and Programming (33rd 2006 Venice, Italy) Bart Preneel; Vladimiro Sassone; Ingo Wegener; Michele Bugliesi; European Association for Theoretical Computer Science

Berlin Springer New York c2006

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

5
Programming languages and systems 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Programming languages and systems 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 : proceedings

European Symposium on Programming (14th 2005 Edinburgh, UK) Mooly Sagiv

Berlin Springer New York c2005

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

6
Automata, languages and programming 32nd international colloquium, ICALP 2005 Lisbon, Portugal, July 11-15, 2005 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Automata, languages and programming 32nd international colloquium, ICALP 2005 Lisbon, Portugal, July 11-15, 2005 : proceedings

International Colloquium on Automata, Languages, and Programming (32nd 2005 Lisbon, Portugal) Giuseppe Francesco Italiano; Luís Monteiro; Catuscia Palamidessi; Moti Yung; Lu is Caires

Berlin Springer London c2005

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

7
Static analysis 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Static analysis 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings

International Static Analysis Symposium (12th 2005 London, England) Chris Hankin; Igor Siveroni

Berlin Springer New York c2005

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

8
Programming languages and systems 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Programming languages and systems 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings

European Symposium on Programming (13th 2004 Barcelona, Spain) David A Schmidt 1953 May 10-; ETAPS 2004 (2004 Barcelona, Spain)

Berlin Springer New York c2004

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

9
Static analysis 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Static analysis 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings

International Static Analysis Symposium (11th 2004 Verona, Italy) Roberto Giacobazzi

Berlin Springer New York c2004

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

10
Programming languages and systems 12th European Symposium on Programming, ESOP 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Programming languages and systems 12th European Symposium on Programming, ESOP 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings

European Symposium on Programming (12th 2003 Warsaw, Poland) Pierpaolo Degano 1950-; ETAPS 2003 (2003 Warsaw, Poland)

Berlin Springer New York c2003

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

Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (3)

Data de Publicação 

De até
  1. Antes de1990  (3)
  2. 1990Até1998  (4)
  3. 1999Até2001  (7)
  4. 2002Até2005  (9)
  5. Após 2005  (4)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.