Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Research and Advanced Technology for Digital Libraries: 4th European Conference, ECDL 2000, Lisbon, Portugal, September 18-20, 2000 ProceedingsBorbinha, Jose ; Baker, Thomas Borbinha, José ; Baker, ThomasBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Next Generation Information Technologies and Systems: 5th International Workshop, NGITS 2002, Caesarea, Israel, June 24-25, 2002. ProceedingsHalevy, Alon ; Gal, Avigdor Halevy, Alon ; Gal, AvigdorBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. ProceedingsBoiten, Eerke A ; Derrick, John ; Smith, Graeme Boiten, Eerke A. ; Derrick, John ; Smith, GraemeBerlin, Heidelberg: Springer Berlin Heidelberg 2004Texto completo disponível |