skip to main content
Idioma:
Resultados 1 2 3 4 next page
Mostrar Somente
Refinado por: tipo de recurso: Livros remover autor: Siekmann, Jörg remover assunto: Computer Logic remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers
Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers

Leuschel, Michael Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2003

Texto completo disponível

Citações Citado por
2
Computer Science Logic: 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings
Computer Science Logic: 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Science Logic: 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings

Bradfield, Julian Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2002

Texto completo disponível

Citações Citado por
3
Logic Programming: 17thInternational Conference, ICLP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings
Logic Programming: 17thInternational Conference, ICLP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic Programming: 17thInternational Conference, ICLP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings

Codognet, Philippe Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2001

Texto completo disponível

Citações Citado por
4
Static Analysis: 8th International Symposium, SAS 2001 Paris, France, July 16–18, 2001 Proceedings
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

Cousot, Patrick Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2001

Texto completo disponível

Ver todas as versões
Citações Citado por
5
Modular Specification and Verification of Object-Oriented Programs
Modular Specification and Verification of Object-Oriented Programs
Material Type:
Livro 		Adicionar ao Meu Espaço

Modular Specification and Verification of Object-Oriented Programs

Müller, Peter Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2002

Texto completo disponível

Ver todas as versões
Citações Citado por
6
Agent-Oriented Software Engineering: First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers
Agent-Oriented Software Engineering: First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Agent-Oriented Software Engineering: First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers

Ciancarini, Paolo ; Wooldridge, Michael J Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2001

Texto completo disponível

Citações Citado por
7
Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers
Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers

Geuvers, Herman ; Wiedijk, Freek Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science, [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg 2003

Texto completo disponível

Citações Citado por
8
Implementation of Functional Languages: 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24–26, 2001 Selected Papers
Implementation of Functional Languages: 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24–26, 2001 Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Implementation of Functional Languages: 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24–26, 2001 Selected Papers

Arts, Thomas ; Mohnen, Markus Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2002

Texto completo disponível

Citações Citado por
9
Languages, Compilers, and Tools for Embedded Systems: ACM SIGPLAN Workshop LCTES 2000 Vancouver, Canada, June 18, 2000 Proceedings
Languages, Compilers, and Tools for Embedded Systems: ACM SIGPLAN Workshop LCTES 2000 Vancouver, Canada, June 18, 2000 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Languages, Compilers, and Tools for Embedded Systems: ACM SIGPLAN Workshop LCTES 2000 Vancouver, Canada, June 18, 2000 Proceedings

Davidson, Jack ; Min, Sang Lyul Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2001

Texto completo disponível

Citações Citado por
10
Principles and Practice of Constraint Programming - CP 2002: 8th International Conference, CP 2002 Ithaca, NY, USA, September 9–13, 2002 Proceedings
Principles and Practice of Constraint Programming - CP 2002: 8th International Conference, CP 2002 Ithaca, NY, USA, September 9–13, 2002 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Principles and Practice of Constraint Programming - CP 2002: 8th International Conference, CP 2002 Ithaca, NY, USA, September 9–13, 2002 Proceedings

Hentenryck, Pascal Van Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2002

Texto completo disponível

Ver todas as versões
Citações Citado por
Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (2)

Data de Publicação 

De até
Refinar
  1. Antes de1999  (3)
  2. 1999Até1999  (7)
  3. 2000Até2000  (3)
  4. 2001Até2002  (23)
  5. Após 2002  (3)
  6. Mais opções open sub menu

  • Realização: USP

Buscando em bases de dados remotas. Favor aguardar.