Resultados de 1 a 10 de 12 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
- Recursos Online (2)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
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 c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4634 ) e outros locais(Acessar) |
| 2 |
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. |
| 3 |
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. |
| 4 |
Material Type: Livro
|
|
Static analysis 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedingsInternational Static Analysis Symposium (9th 2002 Madrid, Spain) Manuel Hermenegildo; Germán PueblaBerlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2477 )(Acessar) |
| 5 |
Material Type: Livro
|
|
Static analysis 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedingsInternational Static Analysis Symposium (8th 2001 Paris, france) Patrick Cousot 1948-Berlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2126 ) e outros locais(Acessar) |
| 6 |
Material Type: Livro
|
|
Static analysis 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedingsInternational Static Analysis Symposium (7th 2000 Santa Barbara, Calif.) Jens PalsbergBerlin Springer New York c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1824 )(Acessar) |
| 7 |
Material Type: Livro
|
|
Static analysis 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedingsInternational Static Analysis Symposium (6th 1999 Venice, Italy) Agostino Cortesi 1963-; Gilberto Filé 1951-Berlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1694 e.1 )(Acessar) |
| 8 |
Material Type: Livro
|
|
Static analysis 5th international symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedingsG Levi 1942- (Giorgio); International Static Analysis Symposium (5th 1998 Pisa, Italy)Berlin Springer New York c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1503 ) e outros locais(Acessar) |
| 9 |
Material Type: Livro
|
|
Static analysis 4th International Symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedingsInternational Static Analysis Symposium (4th 1997 Paris, France) Pascal Van HentenryckBerlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1302 ) e outros locais(Acessar) |
| 10 |
Material Type: Livro
|
|
Static analysis proceedings [of the] third international symposium, sas'96, held in aachen, germany, september 24-26, 1996International Static Analysis Symposium (3. 1996 Aachen, De) Radhia Cousot; David SchmidtBerlin Springer 1996Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1145 ) e outros locais(Acessar) |
Resultados de 1 a 10 de 12 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (2)
Refinar Meus Resultados
Assunto
- Programming Languages (Electronic Computers) (10)
- Computer Programming (9)
- Técnicas De Programação (Congressos) (8)
- Metodologia E Técnicas De Computação (6)
- Engenharia De Software (3)
- Statische Analyse (2)
- Programmverifikation (2)
- Langages De Programmation (2)
- Programmtransformation (2)
- Programmation (Informatique) (2)
- Kontrollfluss (2)
- Programmanalyse (2)
- Langage De Programmation (2)
- Datenfluss (2)
- Analyse Statique (2)
- Programmation (1)
- Static Analysis (1)
- Linguagem De Programação (1)
- Electronic Digital Computers (1)
- Especificação De Sistemas E Programas (1)
-
Mais opções
Autor/Criador
- Le Charlier, B (1)
- Fil e, G (1)
- Levi, G (1)
- Puebla, G (1)
- Cousot, R (1)
- Palsberg, J (1)
- Filé, G (1)
- Cousot, P (1)
- Hankin, C (1)
- van Hentenryck, P (1)
- Hermenegildo, M (1)
- Mycroft, A (1)
- Giacobazzi, R (1)
- Cortesi, A (1)
- Siveroni, I (1)
- Schmidt, D (1)
- Nielson, H (1)
-
Mais opções
Data de Publicação
- Antes de1996 (2)
- 1996Até1997 (2)
- 1998Até1999 (2)
- 2000Até2002 (3)
- Após 2002 (3)
-
Mais opções
Biblioteca
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 