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
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Software Engineering remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings
Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings

Deransart, Pierre ; Maluszyński, Jan Maluszyński, Jan ; Deransart, Pierre

Berlin, Heidelberg: Springer Berlin Heidelberg 1990

Texto completo disponível

Citações Citado por
2
Programming Languages Implementation and Logic Programming: International Workshop PLILP '88 Orléans, France, May 16–18, 1988 Proceedings
Programming Languages Implementation and Logic Programming: International Workshop PLILP '88 Orléans, France, May 16–18, 1988 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming Languages Implementation and Logic Programming: International Workshop PLILP '88 Orléans, France, May 16–18, 1988 Proceedings

Deransart, P ; Lorho, B ; Małuszyński, J Deransart, P. ; Lorho, B. ; Małuszyński, J.

Berlin, Heidelberg: Springer Berlin Heidelberg 1989

Texto completo disponível

Citações Citado por
3
Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings
Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings

Taha, Walid Taha, Walid

Berlin, Heidelberg: Springer Berlin / Heidelberg 2001

Texto completo disponível

Citações Citado por
4
Semantics, Applications, and Implementation of Program Generation: International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings
Semantics, Applications, and Implementation of Program Generation: International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Semantics, Applications, and Implementation of Program Generation: International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings

Taha, Walid Taha, Walid

Berlin, Heidelberg: Springer Berlin / Heidelberg 2000

Texto completo disponível

Citações Citado por
5
Computer Aided Verification: 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings
Computer Aided Verification: 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Aided Verification: 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings

Larsen, Kim G ; Skou, Arne Larsen, Kim G. ; Skou, Arne

Berlin, Heidelberg: Springer Berlin Heidelberg 1992

Texto completo disponível

Citações Citado por
6
Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers
Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers

Pettorossi, Alberto Pettorossi, Alberto

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
7
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings

Thomas Schubert, E ; Windley, Philip J ; Alves-Foss, James Windley, Philip J. ; Thomas Schubert, E. ; Alves-Foss, James

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponível

Citações Citado por
8
Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings
Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

Maluszyński, Jan ; Wirsing, Martin Wirsing, Martin ; Maluszyński, Jan

Berlin, Heidelberg: Springer Berlin Heidelberg 1991

Texto completo disponível

Citações Citado por
9
Graph Grammars and Their Application to Computer Science: 4th International Workshop Bremen, Germany, March 5–9, 1990 Proceedings
Graph Grammars and Their Application to Computer Science: 4th International Workshop Bremen, Germany, March 5–9, 1990 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Graph Grammars and Their Application to Computer Science: 4th International Workshop Bremen, Germany, March 5–9, 1990 Proceedings

Ehrig, Hartmut ; Kreowski, Hans-Jörg ; Rozenberg, Grzegorz Rozenberg, Grzegorz ; Kreowski, Hans-Jörg ; Ehrig, Hartmut

Berlin, Heidelberg: Springer Berlin Heidelberg 1991

Texto completo disponível

Citações Citado por
10
Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Hinze, Ralf Hinze, Ralf

Netherlands: Springer Nature 2013

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.634)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (1.638)
  2. Anais de Congresso  (208)
  3. Livros  (135)
  4. Book Chapters  (66)
  5. magazinearticle  (7)
  6. Verbetes  (4)
  7. Mais opções open sub menu

Idioma 

  1. Inglês  (2.056)
  2. Japonês  (53)
  3. Espanhol  (6)
  4. Português  (5)
  5. Chinês  (2)
  6. Ucraniano  (1)
  7. Árabe  (1)
  8. Norueguês  (1)
  9. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.