skip to main content
Resultados 1 2 3 next page
Mostrar solo
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:
Libro
Añadir a Mi Portal

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

Disponible en EPBC - Esc. Politécnica-Bib Central    (004.43 P943 16. ) y otras localizaciones(Obténgalo)

2
Automata, languages and programming 34th international colloquium, ICALP 2007, Wroc aw, Poland, July 9-13 2007 : proceedings
Material Type:
Libro
Añadir a Mi Portal

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

Disponible en IME - Inst. Matemática e Estatística    (S L471c v.4596 )(Obténgalo)

3
Static analysis 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark August 22-24, 2007 : proceedings
Material Type:
Libro
Añadir a Mi Portal

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

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4634 ) y otras localizaciones(Obténgalo)

4
Automata, languages and programming 33rd international colloquium, ICALP 2006, Venice, Italy, July 10-14 2006 : proceedings
Material Type:
Libro
Añadir a Mi Portal

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

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4051 pt.I ) y otras localizaciones(Obténgalo)

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:
Libro
Añadir a Mi Portal

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

Acceso en línea. La biblioteca tiene también copias físicas.

6
Automata, languages and programming 32nd international colloquium, ICALP 2005 Lisbon, Portugal, July 11-15, 2005 : proceedings
Material Type:
Libro
Añadir a Mi Portal

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

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.3580 ) y otras localizaciones(Obténgalo)

7
Static analysis 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings
Material Type:
Libro
Añadir a Mi Portal

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

Acceso en línea. La biblioteca tiene también copias físicas.

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:
Libro
Añadir a Mi Portal

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

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2986 e.2 ) y otras localizaciones(Obténgalo)

9
Static analysis 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings
Material Type:
Libro
Añadir a Mi Portal

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

Acceso en línea. La biblioteca tiene también copias físicas.

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:
Libro
Añadir a Mi Portal

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

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2618 )(Obténgalo)

Resultados 1 2 3 next page

Personalizar los resultados

  1. Editar

Refine Search Results

Ampliar mis resultados

  1.   

Mostrar solo

  1. Recursos en línea (3)

Fecha de Publicación 

De Hasta
  1. Antes de1990  (3)
  2. 1990Hasta1998  (4)
  3. 1999Hasta2001  (7)
  4. 2002Hasta2005  (9)
  5. Después de 2005  (4)
  6. Más opciones open sub menu

Buscando en bases de datos remotas, por favor espere

  • Buscando por
  • enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Mostrar lo que tiene hasta ahora