skip to main content
Resultados 1 2 3 next page
Mostrar Somente
Refinado por: tipo de recurso: Livros remover autor: Siekmann, Jörg remover assunto: Kongress remover assunto: 30 remover
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
Software Process Technology: 8th European Workshop, EWSPT 2001 Witten, Germany, June 19–21, 2001 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Software Process Technology: 8th European Workshop, EWSPT 2001 Witten, Germany, June 19–21, 2001 Proceedings

Ambriola, Vincenzo Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2001

Texto completo disponível

3
Advances in Soft Computing — AFSS 2002: 2002 AFSS International Conference on Fuzzy Systems Calcutta, India, February 3–6, 2002 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Advances in Soft Computing — AFSS 2002: 2002 AFSS International Conference on Fuzzy Systems Calcutta, India, February 3–6, 2002 Proceedings

Pal, Nikhil R ; Sugeno, Michio Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2002

Texto completo disponível

4
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

5
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

6
Self-Stabilizing Systems: 5th International Workshop, WSS 2001 Lisbon, Portugal, October 1–2, 2001 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Self-Stabilizing Systems: 5th International Workshop, WSS 2001 Lisbon, Portugal, October 1–2, 2001 Proceedings

Datta, Ajoy K ; Herman, Ted Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2001

Texto completo disponível

7
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

8
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

9
Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings

Margaria, Tiziana ; Melham, Tom Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2001

Texto completo disponível

10
Advanced Information Systems Engineering: 15th International Conference, CAiSE 2003 Klagenfurt/Velden, Austria, June 16–20, 2003 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Advanced Information Systems Engineering: 15th International Conference, CAiSE 2003 Klagenfurt/Velden, Austria, June 16–20, 2003 Proceedings

Eder, Johann ; Missikoff, Michele Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2003

Texto completo disponível

Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (2)

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Siekmann, Jörg
  2. Carbonell, Jaime G.
  3. Goos, Gerhard
  4. Goos, G.

Buscando em bases de dados remotas. Favor aguardar.