Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. ProceedingsLomuscio, Alessio ; Nute, Donald Nute, Donald ; Lomuscio, AlessioBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
|
2 |
Material Type: Livro
|
Computer and information sciences ISCIS 2006 : 21st international symposium, Istanbul, Turkey, November 1-3 2006 : proceedingsInternational Symposium on Computer and Information Sciences (21st 2006 Istanbul, Turkey) Erkay Savas; Husnu Yenigun; Selim Balcisoy; Yucel Saygin; Albert Levi 1969Berlin Springer New York c2006Localização: IME - Inst. Matemática e Estatística (S L471c v.4263 )(Acessar) |
|
3 |
Material Type: Livro
|
Research Methods in Human-Computer InteractionJonathan Lazar, Jinjuan Heidi Feng, Harry HochheiserSan Diego: Elsevier Science 2017Texto completo disponível |
|
4 |
Material Type: Livro
|
Informatics 10 years back, 10 years aheadR Wilhelm 1946- (Reinhard)Berlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2000 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Next generation information technology and systems 4th International Workshop, NGITS'99, Zikhron-Ya°aòkov, Israel, July 1999 : proceedingsNGITS'99 (1999 Zikhron Ya°aòkov, Israel) Ron Yair Pinter; Shalom TsurBerlin Springer New York 1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1649 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Directed Algebraic Topology and ConcurrencyFajstrup, Lisbeth ; Goubault, Eric ; Haucourt, Emmanuel ; Mimram, Samuel ; Raussen, MartinCham: Springer International Publishing AG 2016Texto completo disponível |
|
7 |
Material Type: Artigo
|
A content-based recommender system for computer science publicationsWang, Donghui ; Liang, Yanchun ; Xu, Dong ; Feng, Xiaoyue ; Guan, RenchuKnowledge-based systems, 2018-10, Vol.157, p.1-9 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
|
8 |
Material Type: Livro
|
Fog and Edge Computing: Principles and ParadigmsRajkumar Buyya, Satish Narayana Srirama Srirama, Satish Narayana ; Buyya, RajkumarNewark: Wiley 2019Texto completo disponível |
|
9 |
Material Type: Livro
|
Current Trends in Computer Science and Mechanical Automation. Selected Papers from CSMA2016 - Volume 2Wang, Shawn XDe Gruyter 2017Texto completo disponível |
|
10 |
Material Type: Artigo
|
Re-examining the Unified Theory of Acceptance and Use of Technology (UTAUT): Towards a Revised Theoretical ModelDwivedi, Yogesh K. ; Rana, Nripendra P. ; Jeyaraj, Anand ; Clement, Marc ; Williams, Michael D.Information systems frontiers, 2019-06, Vol.21 (3), p.719-734 [Periódico revisado por pares]New York: Springer USTexto completo disponível |