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: Livro
|
Fog and Edge Computing: Principles and ParadigmsRajkumar Buyya, Satish Narayana Srirama Srirama, Satish Narayana ; Buyya, RajkumarNewark: Wiley 2019Texto completo disponível |
|
8 |
Material Type: Livro
|
Current Trends in Computer Science and Mechanical Automation. Selected Papers from CSMA2016 - Volume 2Wang, Shawn XDe Gruyter 2017Texto completo disponível |
|
9 |
Material Type: Livro
|
Securing the Internet of ThingsLi, Shancang ; Xu, Li DaSan Diego: Elsevier Science & Technology Books 2017Texto completo disponível |
|
10 |
Material Type: Livro
|
Self-aware Computing Systems: An Engineering ApproachLewis, Peter R ; Platzner, Marco ; Rinner, Bernhard ; Tørresen, Jim ; Yao, Xin Lewis, Peter R ; Platzner, Marco ; Tørresen, Jim ; Rinner, Bernhard ; Lewis, Peter R. ; Yao, Xin ; Rinner, Bernhard ; Tørresen, Jim ; Platzner, MarcoCham: Springer Nature 2016Texto completo disponível |