skip to main content
Mostrar Somente
Refinado por: tipo de recurso: Livros remover autor: International Static Analysis Symposium remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Static analysis 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

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

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1694 e.1 )(Acessar)

2
Static analysis 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

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

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1824 )(Acessar)

3
Static analysis 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

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

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2126 ) e outros locais(Acessar)

4
Static analysis 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark August 22-24, 2007 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

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

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4634 ) e outros locais(Acessar)

5
Static analysis 4th International Symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Static analysis 4th International Symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings

International Static Analysis Symposium (4th 1997 Paris, France) Pascal Van Hentenryck

Berlin Springer New York c1997

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1302 ) e outros locais(Acessar)

6
Static analysis 5th international symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Static analysis 5th international symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings

G Levi 1942- (Giorgio); International Static Analysis Symposium (5th 1998 Pisa, Italy)

Berlin Springer New York c1998

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1503 ) e outros locais(Acessar)

7
Static analysis First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Static analysis First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings

International Static Analysis Symposium (1st 1994 Namur, Belgium) Baudouin Le Charlier 1950-

Berlin New York Springer-Verlag c1994

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.864 e.1 ) e outros locais(Acessar)

8
Static analysis 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Static analysis 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings

International Static Analysis Symposium (9th 2002 Madrid, Spain) Manuel Hermenegildo; Germán Puebla

Berlin Springer New York c2002

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2477 )(Acessar)

9
Static analysis 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

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

Acesso online. A biblioteca também possui exemplares impressos.

10
Static analysis 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

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

Acesso online. A biblioteca também possui exemplares impressos.

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (2)

Buscando em bases de dados remotas. Favor aguardar.