Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Baltic Computer Science: Selected PapersBārzdinš, Janis ; Bjørner, Dines Bārzdinš, Janis ; Bjørner, DinesBerlin, Heidelberg: Springer Berlin Heidelberg 1991Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Ambient Intelligence: Second European Symposium, EUSAI 2004, Eindhoven, the Netherlands, November 8-11, 2004, ProceedingsMarkopoulos, Panos ; Eggen, Berry ; Aarts, Emile ; Crowley, James L Markopoulos, Panos ; Eggen, Berry ; Aarts, Emile ; Crowley, James L.Berlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
Nested Relations and Complex Objects in DatabasesAbiteboul, S ; Fischer, P. C ; Schek, H. -J Schek, H. -J. ; Abiteboul, S. ; Fischer, P. C.Berlin, Heidelberg: Springer Berlin Heidelberg 1989Texto completo disponível |
4 |
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 |
5 |
Material Type: Livro
|
![]() |
Machine Learning: ECML-94: European Conference on Machine Learning Catania, Italy, April 6–8, 1994 ProceedingsBergadano, Francesco ; Raedt, Luc De Bergadano, Francesco ; De Raedt, LucBerlin, Heidelberg: Springer Berlin Heidelberg 1994Texto completo disponível |
6 |
Material Type: Livro
|
![]() |
Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial LecturesFocardi, Riccardo ; Gorrieri, Roberto Gorrieri, Roberto ; Focardi, RiccardoBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
7 |
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 |
8 |
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 |
9 |
Material Type: Livro
|
![]() |
Multimodal Human-Computer Communication: Systems, Techniques, and ExperimentsBunt, Harry ; Beun, Robbert-Jan ; Borghuis, Tijn Beun, Robbert-Jan ; Bunt, Harry ; Borghuis, TijnBerlin, Heidelberg: Springer Berlin / Heidelberg 1998Texto completo disponível |
10 |
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 |