Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Automatic Verification of Sequential Infinite-State ProcessesBurkart, OlafBerlin, Heidelberg: Springer Berlin / Heidelberg 1997Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Blockcopolymers, polyelectrolytes, biodegradationBellon-Maurel, V ; Calmon-Decriaud, A ; Chandrasekhar, V ; Hadjichristidis, N ; Mays, J. W ; Pispas, S ; Pitsikalis, M ; Silvestre, F Pispas, S. ; Bellon-Maurel, V. ; Silvestre, F. ; Pitsikalis, M. ; Calmon-Decriaud, A. ; Chandrasekhar, V. ; Mays, J. W. ; Hadjichristidis, N.Berlin, Heidelberg: Springer 1998Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
Underwater love building Tristão and Isolda's personalitiesMARTINHO, C ; PAIVA, ALecture notes in computer science, 1999, p.269-296Berlin: SpringerTexto completo disponível |
4 |
Material Type: Livro
|
![]() |
Behavioural virtual agentsAYLETT, RLecture notes in computer science, 1999, p.1-11Berlin: SpringerTexto completo disponível |
5 |
Material Type: Livro
|
![]() |
The World Wide Web as a place for agentsCIANCARINI, P ; TOLKSDORF, R ; VITALI, FLecture notes in computer science, 1999, p.175-193Berlin: SpringerTexto completo disponível |
6 |
Material Type: Livro
|
![]() |
Grading Knowledge: Extracting Degree Information from TextsStaab, SteffenLecture notes in computer science, 1999, Vol.1744, p.iii-187Berlin, Heidelberg: Springer Berlin / HeidelbergTexto completo disponível |
7 |
Material Type: Livro
|
![]() |
Soft agent computing : Towards enhancing agent technology with soft computingMAMDANI, Abe ; SICHANIE, Arash G ; PITT, JeremyLecture notes in computer science, 2000, p.110-135Berlin: SpringerTexto completo disponível |
8 |
Material Type: Livro
|
![]() |
Time management in the Intelligent AssistantWOBCKE, WayneLecture notes in computer science, 2000, p.301-320Berlin: SpringerTexto completo disponível |
9 |
Material Type: Livro
|
![]() |
Bringing AI and soft computing together : A neurobiological perspectiveTAYLOR, John GLecture notes in computer science, 2000, p.41-71Berlin: SpringerTexto completo disponível |
10 |
Material Type: Livro
|
![]() |
SEMPER - Secure Electronic Marketplace for EuropeLacoste, Gerard ; Pfitzmann, Birgit ; Steiner, Michael ; Waidner, MichaelBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |