skip to main content
Idioma:
Refinado por: assunto: Kontrollfluss remover Computer Programming remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Static analysis 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings
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.

2
Static analysis 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings
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.

3
Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings
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

Giacobazzi, Roberto Giacobazzi, Roberto

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

Citações Citado por
4
Static Analysis: 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings
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

Levi, Giorgio Levi, Giorgio

Berlin, Heidelberg: Springer Berlin / Heidelberg 1998

Texto completo disponível

Citações Citado por
5
VeriIntel2C: Abstracting RTL to C to maximize High-Level Synthesis Design Space Exploration
VeriIntel2C: Abstracting RTL to C to maximize High-Level Synthesis Design Space Exploration
Material Type:
Artigo 		Adicionar ao Meu Espaço

VeriIntel2C: Abstracting RTL to C to maximize High-Level Synthesis Design Space Exploration

Mahapatra, Anushree ; Schafer, Benjamin Carrion

Integration (Amsterdam), 2019-01, Vol.64, p.1-12 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (4)
  2. Artigos  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1998  (1)
  2. 1998Até2002  (1)
  3. 2003Até2003  (1)
  4. 2004Até2005  (3)
  5. Após 2005  (1)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. International Static Analysis Symposium
  2. Giacobazzi, R
  3. Hankin, C
  4. Siveroni, I

Neste Assunto:

  1. Kontrollfluss
  2. Computer Programming
  3. Programmanalyse
  4. Langages De Programmation
  5. Datenfluss

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.