skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Mostrar Somente
Refinado por: assunto: Técnicas De Programação (Congressos) remover assunto: Verificação E Validação De Software (Congressos) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Logic based program synthesis and transformation 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers
Logic based program synthesis and transformation 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic based program synthesis and transformation 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers

LOPSTR 2005 (2005 London, England) Patricia Hill 1942

Berlin Springer New York c2006

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

2
Logic based program synthesis and transformation 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers
Logic based program synthesis and transformation 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic based program synthesis and transformation 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers

LOPSTR 2004 (2004 Verona, Italy) Sandro Etalle

Berlin Springer New York c2005

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

3
Logic based program synthesis and transformation 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 ; revised selected papers
Logic based program synthesis and transformation 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 ; revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic based program synthesis and transformation 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 ; revised selected papers

LOPSTR 2003 (2003 Uppsala, Sweden) M Bruynooghe (Maurice)

Berlin Springer New York c2004

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

4
Logic-based program synthesis and transformation 16th international symposium, LOPSTR 2006, Venice Italy, July 12-14, 2006 : revised selected papers
Logic-based program synthesis and transformation 16th international symposium, LOPSTR 2006, Venice Italy, July 12-14, 2006 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic-based program synthesis and transformation 16th international symposium, LOPSTR 2006, Venice Italy, July 12-14, 2006 : revised selected papers

LOPSTR 2006 (2006 Venice, Italy) Germán Puebla

Berlin Springer New York c2007

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

5
Logic-based program synthesis and transformation 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark August 23-24, 2007 : revised selected papers
Logic-based program synthesis and transformation 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark August 23-24, 2007 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic-based program synthesis and transformation 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark August 23-24, 2007 : revised selected papers

LOPSTR 2007 (2007 Lyngby, Denmark) Andrew Malcolm King

Berlin Springer New York 2008

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4915 )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (2)

Data de Publicação 

De até
Refinar

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

Buscando em bases de dados remotas. Favor aguardar.