skip to main content
Refinado por: tipo de recurso: Livros remover autor: Siekmann, Jörg remover nível superior: Revistas revisadas por pares remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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

2
Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

Brinksma, Ed ; Larsen, Kim Guldstrand Springerlink (Online Service) (Corporate Author)

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

Berlin, Heidelberg: Springer Berlin Heidelberg 2002

Texto completo disponível

3
Adaptive Hypermedia and Adaptive Web-Based Systems: Second International Conference, AH 2002 Málaga, Spain, May 29–31, 2002 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Adaptive Hypermedia and Adaptive Web-Based Systems: Second International Conference, AH 2002 Málaga, Spain, May 29–31, 2002 Proceedings

Bra, Paul De ; Brusilovsky, Peter ; Conejo, Ricardo Springerlink (Online Service) (Corporate Author)

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

Berlin, Heidelberg: Springer Berlin Heidelberg 2002

Texto completo disponível

Ver todas as versões
4
Computational Science — ICCS 2002: International Conference Amsterdam, The Netherlands, April 21–24, 2002 Proceedings, Part I
Material Type:
Livro
Adicionar ao Meu Espaço

Computational Science — ICCS 2002: International Conference Amsterdam, The Netherlands, April 21–24, 2002 Proceedings, Part I

Sloot, Peter M. A ; Hoekstra, Alfons G ; Tan, C. J. Kenneth ; Dongarra, Jack J Springerlink (Online Service) (Corporate Author)

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

Berlin, Heidelberg: Springer Berlin Heidelberg 2002

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Buscando em bases de dados remotas. Favor aguardar.