Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Software Configuration Management: ICSE Workshops SCM 2001 and SCM 2003, Toronto, Canada, May 14-15, 2001, and Portland, or, USA, May 9-10, 2003. Selected PapersWestfechtel, Bernhard ; van der Hoek, André van der Hoek, André ; Westfechtel, BernhardBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Automated Deduction in Classical and Non-Classical Logics: Selected PapersCaferra, Ricardo ; Salzer, Gernot Caferra, Ricardo ; Salzer, GernotBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
Foundations of Security Analysis and Design: Tutorial LecturesFocardi, Riccardo ; Gorrieri, Roberto Gorrieri, Roberto ; Focardi, RiccardoBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
Software Engineering for Large-Scale Multi-Agent Systems: Research Issues and Practical ApplicationsGarcia, Alessandro ; Lucena, Carlos ; Zambonelli, Franco ; Omicini, Andrea ; Castro, Jaelson Zambonelli, Franco ; Garcia, Alessandro ; Omicini, Andrea ; Lucena, Carlos ; Castro, JaelsonBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
Algorithmic Foundations of Geographic Information SystemsKreveld, Marc van ; Nievergelt, Jürg ; Roos, Thomas ; Widmayer, Peter Nievergelt, Jürg ; van Kreveld, Marc ; Roos, Thomas ; Widmayer, PeterBerlin, Heidelberg: Springer Berlin Heidelberg 1997Texto completo disponível |
6 |
Material Type: Livro
|
![]() |
Digital Cities II: Computational and Sociological Approaches: Second Kyoto Workshop on Digital Cities Kyoto, Japan, October 18–20, 2001 Revised PapersTanabe, Makoto ; Besselaar, Peter van den ; Ishida, Toru van den Besselaar, Peter ; Tanabe, Makoto ; Ishida, ToruBerlin, Heidelberg: Springer Berlin Heidelberg 2002Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
Multiset Processing: Mathematical, Computer Science, and Molecular Computing Points of ViewCalude, Christian S ; Paun, Gheorghe ; Rozenberg, Grzegorz ; Salomaa, Arto PĂun, Gheorghe ; Calude, Cristian S. ; Rozenberg, Grzegorz ; Salomaa, ArtoBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Computation for Metaphors, Analogy, and AgentsNehaniv, Chrystopher L Nehaniv, Chrystopher L.Berlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Information Extraction in the Web Era: Natural Language Communication for Knowledge Acquisition and Intelligent Information AgentsPazienza, Maria Teresa Pazienza, Maria TeresaBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Agent-Mediated Electronic Commerce III: Current Issues in Agent-Based Electronic Commerce SystemsDignum, Frank ; Cortes, Ulises Dignum, Frank ; Cortés, UlisesBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |