skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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

Bruynooghe, Maurice Bruynooghe, Maurice

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

Citações Citado por
2
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

Berardi, Stefano ; Coppo, Mario ; Damiani, Ferruccio Berardi, Stefano ; Coppo, Mario ; Damiani, Ferruccio

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

Citações Citado por
3
Static Analysis: Third International Workshop, WSA '93 Padova, Italy, September 22–24, 1993 Proceedings
Static Analysis: Third International Workshop, WSA '93 Padova, Italy, September 22–24, 1993 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Static Analysis: Third International Workshop, WSA '93 Padova, Italy, September 22–24, 1993 Proceedings

Cousot, Patrick ; Falaschi, Moreno ; Filé, Gilberto ; Rauzy, Antoine Cousot, Patrick ; Rauzy, Antoine ; Falaschi, Moreno ; Filé, Gilberto

Berlin, Heidelberg: Springer Berlin Heidelberg 1993

Texto completo disponível

Citações Citado por
4
Component-Based Software Engineering: 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings
Component-Based Software Engineering: 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Component-Based Software Engineering: 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings

Crnkovic, Ivica ; Stafford, Judith A ; Schmidt, Heinz W ; Wallnau, Kurt Wallnau, Kurt ; Stafford, Judith A. ; Crnkovic, Ivica ; Schmidt, Heinz W.

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

Citações Citado por
5
ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings
ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings

Bowen, Jonathan P ; Hinchey, Michael G Bowen, Jonathan P. ; Hinchey, Michael G.

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponível

Citações Citado por
6
Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers
Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers

Pacholski, Leszek ; Tiuryn, Jerzy Pacholski, Leszek ; Tiuryn, Jerzy

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponível

Citações Citado por
7
Taming Multirelations
Taming Multirelations
Material Type:
Artigo 		Adicionar ao Meu Espaço

Taming Multirelations

Furusawa, Hitoshi ; Struth, Georg

ACM transactions on computational logic, 2016-11, Vol.17 (4), p.1-34 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
8
Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings
Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings

Wolper, Pierre Wolper, Pierre

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponível

Citações Citado por
9
Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings
Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings

Bochmann, Gregor von ; Probst, David Karl von Bochmann, Gregor ; Probst, David Karl

Berlin, Heidelberg: Springer Berlin Heidelberg 1993

Texto completo disponível

Citações Citado por
10
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

Basin, David ; Rusinowitch, Michael Basin, David ; Rusinowitch, Michaël

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (1.475)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (1.475)
  2. Artigos  (441)
  3. Anais de Congresso  (412)
  4. Book Chapters  (8)
  5. Reports  (1)
  6. Dissertações  (1)
  7. Recursos Textuais  (1)
  8. magazinearticle  (1)
  9. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1985  (18)
  2. 1985Até1993  (114)
  3. 1994Até2002  (528)
  4. 2003Até2012  (956)
  5. Após 2012  (943)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (2.337)
  2. Japonês  (17)
  3. Francês  (4)
  4. Alemão  (3)
  5. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.