skip to main content
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
2
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

3
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

4
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

5
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
6
Logic Programming: 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 – August 1, 2002 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Logic Programming: 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 – August 1, 2002 Proceedings

Stuckey, Peter J Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2002

Texto completo disponível

7
Advances in Computing Science ASIAN 98: 4th Asian Computing Science Conference Manila, The Philippines, December 8–10, 1998 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Advances in Computing Science ASIAN 98: 4th Asian Computing Science Conference Manila, The Philippines, December 8–10, 1998 Proceedings

Hsiang, Jieh ; Ohori, Atsushi Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 1998

Texto completo disponível

8
Meta-Level Architectures and Reflection: Second International Conference, Reflection’99 Saint-Malo, France, July 19–21, 1999 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Meta-Level Architectures and Reflection: Second International Conference, Reflection’99 Saint-Malo, France, July 19–21, 1999 Proceedings

Cointe, Pierre Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 1999

Texto completo disponível

9
Generative and Component-Based Software Engineering: First International Symposium, GCSE’99 Erfurt, Germany, September 28–30, 1999 Revised Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Generative and Component-Based Software Engineering: First International Symposium, GCSE’99 Erfurt, Germany, September 28–30, 1999 Revised Papers

Czarnecki, Krzysztof ; Eisenecker, Ulrich W Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2000

Texto completo disponível

10
Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6–10, 2000 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6–10, 2000 Proceedings

Parigot, Michel ; Voronkov, Andrei Springerlink (Online Service) (Corporate Author)

Lecture Notes in Artificial Intelligence,

Berlin, Heidelberg: Springer Berlin Heidelberg 2000

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (1)

Buscando em bases de dados remotas. Favor aguardar.