Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Libro
|
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 : proceedingsEuropean Symposium on Programming (16th 2007 Braga, Portugal) Rocco De Nicola; ETAPS 2007 (2007 Braga, Portugal)Berlin Springer New York 2007Disponible en EPBC - Esc. Politécnica-Bib Central (004.43 P943 16. ) y otras localizaciones(Obténgalo) |
|
2 |
Material Type: Libro
|
Automata, languages and programming 34th international colloquium, ICALP 2007, Wroc aw, Poland, July 9-13 2007 : proceedingsInternational 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 ScienceBerlin Springer New York c2007Disponible en IME - Inst. Matemática e Estatística (S L471c v.4596 )(Obténgalo) |
|
3 |
Material Type: Libro
|
Static analysis 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark August 22-24, 2007 : proceedingsInternational Static Analysis Symposium (14th 2007 Lyngby, Denmark) Hanne Riis Nielson 1954; Gilberto Fil e 1951Berlin Springer c2007Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4634 ) y otras localizaciones(Obténgalo) |
|
4 |
Material Type: Libro
|
Automata, languages and programming 33rd international colloquium, ICALP 2006, Venice, Italy, July 10-14 2006 : proceedingsInternational Colloquium on Automata, Languages, and Programming (33rd 2006 Venice, Italy) Bart Preneel; Vladimiro Sassone; Ingo Wegener; Michele Bugliesi; European Association for Theoretical Computer ScienceBerlin Springer New York c2006Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4051 pt.I ) y otras localizaciones(Obténgalo) |
|
5 |
Material Type: Libro
|
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 : proceedingsEuropean Symposium on Programming (14th 2005 Edinburgh, UK) Mooly SagivBerlin Springer New York c2005Acceso en línea. La biblioteca tiene también copias físicas. |
|
6 |
Material Type: Libro
|
Automata, languages and programming 32nd international colloquium, ICALP 2005 Lisbon, Portugal, July 11-15, 2005 : proceedingsInternational Colloquium on Automata, Languages, and Programming (32nd 2005 Lisbon, Portugal) Giuseppe Francesco Italiano; Luís Monteiro; Catuscia Palamidessi; Moti Yung; Lu is CairesBerlin Springer London c2005Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3580 ) y otras localizaciones(Obténgalo) |
|
7 |
Material Type: Libro
|
Static analysis 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedingsInternational Static Analysis Symposium (12th 2005 London, England) Chris Hankin; Igor SiveroniBerlin Springer New York c2005Acceso en línea. La biblioteca tiene también copias físicas. |
|
8 |
Material Type: Libro
|
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 : proceedingsEuropean Symposium on Programming (13th 2004 Barcelona, Spain) David A Schmidt 1953 May 10-; ETAPS 2004 (2004 Barcelona, Spain)Berlin Springer New York c2004Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2986 e.2 ) y otras localizaciones(Obténgalo) |
|
9 |
Material Type: Libro
|
Static analysis 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedingsInternational Static Analysis Symposium (11th 2004 Verona, Italy) Roberto GiacobazziBerlin Springer New York c2004Acceso en línea. La biblioteca tiene también copias físicas. |
|
10 |
Material Type: Libro
|
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 : proceedingsEuropean Symposium on Programming (12th 2003 Warsaw, Poland) Pierpaolo Degano 1950-; ETAPS 2003 (2003 Warsaw, Poland)Berlin Springer New York c2003Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2618 )(Obténgalo) |