skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Programming languages and systems 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
Material Type:
Libro
Añadir a Mi Portal

Programming languages and systems 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

European Symposium on Programming (10th 2001 Genoa, Italy) David Sands 1965-; ETAPS 2001 (2001 Genoa, Italy)

Berlin New York Springer c2001

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

2
Static analysis 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings
Material Type:
Libro
Añadir a Mi Portal

Static analysis 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings

International Static Analysis Symposium (8th 2001 Paris, france) Patrick Cousot 1948-

Berlin Springer New York c2001

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

3
Programming languages and systems 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
Material Type:
Libro
Añadir a Mi Portal

Programming languages and systems 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

European Symposium on Programming (9th 2000 Berlin, Germany) Gert Smolka; ETAPS 2000 (2000 Berlin, Germany)

Berlin New York Springer c2000

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

4
Static analysis 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedings
Material Type:
Libro
Añadir a Mi Portal

Static analysis 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedings

International Static Analysis Symposium (7th 2000 Santa Barbara, Calif.) Jens Palsberg

Berlin Springer New York c2000

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

5
Programming languages and systems 8th European Symposium on Programming, ESOP'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
Material Type:
Libro
Añadir a Mi Portal

Programming languages and systems 8th European Symposium on Programming, ESOP'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings

European Symposium on Programming (8th 1999 Amsterdam, Netherlands) S. Doaitse Swierstra; ETAPS'99 (1999 Amsterdam, Netherlands)

Berlin New York Springer 1999

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

6
Static analysis 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings
Material Type:
Libro
Añadir a Mi Portal

Static analysis 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings

International Static Analysis Symposium (6th 1999 Venice, Italy) Agostino Cortesi 1963-; Gilberto Filé 1951-

Berlin Springer New York c1999

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

Personalizar los resultados

  1. Editar

Refine Search Results

Ampliar mis resultados

  1.   

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