Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Static Analysis: Third International Symposium, SAS '96 Aachen, Germany, September 24–26, 1996 ProceedingsCousot, Radhia ; Schmidt, David A Cousot, Radhia ; Schmidt, David A.Berlin, Heidelberg: Springer Berlin Heidelberg 1996Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
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 c2004Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Livro
|
![]() |
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 c2005Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Livro
|
![]() |
Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, ProceedingsGiacobazzi, Roberto Giacobazzi, RobertoBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
Static Analysis: 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, ProceedingsLevi, Giorgio Levi, GiorgioBerlin, Heidelberg: Springer Berlin / Heidelberg 1998Texto completo disponível |
6 |
Material Type: Livro
|
![]() |
Static Analysis: 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : ProceedingsCousot, Patrick Cousot, PatrickBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
Principles of Declarative Programming: 10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 ProceedingsPalamidessi, Catuscia ; Glaser, Hugh ; Meinke, Karl Meinke, Karl ; Palamidessi, Catuscia ; Glaser, HughBerlin, Heidelberg: Springer Berlin Heidelberg 1998Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
ECOOP 2001 - Object-Oriented Programming: 15th European Conference, Budapest, Hungary, June 18-22, 2001, ProceedingsLindskov Knudsen, Jorgen Knudsen, Jørgen LindskovBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000. ProceedingsPalsberg, Jens Palsberg, JensBerlin, Heidelberg: Springer Berlin Heidelberg 2000Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Static Analysis: Third International Workshop, WSA '93 Padova, Italy, September 22–24, 1993 ProceedingsCousot, Patrick ; Falaschi, Moreno ; Filé, Gilberto ; Rauzy, Antoine Cousot, Patrick ; Rauzy, Antoine ; Falaschi, Moreno ; Filé, GilbertoBerlin, Heidelberg: Springer Berlin Heidelberg 1993Texto completo disponível |