Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Computing with New Resources: Essays Dedicated to Jozef Gruska on the Occasion of His 80th BirthdayCalude, Cristian S ; Freivalds, Rusins ; Kazuo, Iwama Calude, Cristian S ; Freivalds, Rūsiņ ; Kazuo, Iwama ; Calude, Cristian S. ; Freivalds, Rūsiņš ; Kazuo, IwamaCham: Springer Nature 2014Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Secure and Trustworthy Service Composition: The Aniketos ApproachBrucker, Achim ; Dalpiaz, Fabiano ; Giorgini, Paolo ; Meland, Per Håkon ; Rios, Erkuden Brucker, Achim ; Meland, Per H'kon ; Dalpiaz, Fabiano ; Giorgini, Paolo ; Giorgini, Paolo ; Rios, Erkuden ; Meland, Per Håkon ; Dalpiaz, Fabiano ; Brucker, Achim D.Cham: Springer Nature 2014Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
Transactions on Large-Scale Data- and Knowledge-Centered Systems XIVHameurlain, Abdelkader ; Küng, Josef ; Wagner, Roland Wagner, Roland ; Hameurlain, Abdelkader ; K'ng, Josef ; Wagner, Roland ; Hameurlain, Abdelkader ; Küng, JosefBerlin, Heidelberg: Springer Nature 2014Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
The Once-Only Principle: The TOOP ProjectKrimmer, Robert ; Prentza, Andriana ; Mamrot, Szymon Mamrot, Szymon ; Krimmer, Robert ; Prentza, Andriana ; Mamrot, Szymon ; Prentza, AndrianaNetherlands: Springer Nature 2021Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
Transactions on Computational Collective Intelligence XXVNguyen, Ngoc Thanh ; Kowalczyk, Ryszard ; Orłowski, Cezary ; Ziółkowski, Artur Zi'łkowski, Artur ; Kowalczyk, Ryszard ; Nguyen, Ngoc Thanh ; Orłowski, Cezary ; Orłowski, Cezary ; Nguyen, Ngoc Thanh ; Kowalczyk, Ryszard ; Ziółkowski, ArturBerlin, Heidelberg: Springer Nature 2016Texto completo disponível |
6 |
Material Type: Livro
|
![]() |
Text Analysis Pipelines: Towards Ad-hoc Large-Scale Text MiningWachsmuth, HenningCham: Springer Nature 2015Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
Deductive Software Verification - The KeY Book: From Theory to PracticeAhrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H ; Ulbrich, Mattias H'hnle, Reiner ; Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Ulbrich, Mattias ; Beckert, Bernhard ; Schmitt, Peter H. ; Bubel, Richard ; Ahrendt, WolfgangCham: Springer Nature 2016Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Enhanced Living Environments: Algorithms, Architectures, Platforms, and SystemsGanchev, Ivan ; Garcia, Nuno M ; Dobre, Ciprian ; Mavromoustakis, Constandinos X ; Goleva, Rossitza Garcia, Nuno M ; Ganchev, Ivan ; Dobre, Ciprian ; Mavromoustakis, Constandinos XNetherlands: Springer Nature 2019Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
CyberParks - The Interface Between People, Places and Technology: New Approaches and PerspectivesSmaniotto Costa, Carlos ; Suklje Erjavec, Ina ; Kenna, Therese ; de Lange, Michiel ; Ioannidis, Konstantinos ; Maksymiuk, Gabriela ; de Waal, Martijn Smaniotto Costa, Carlos ; Šuklje Erjavec, Ina ; Kenna, Therese ; de Lange, MichielNetherlands: Springer Nature 2019Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Games, Actions, and Social Software: Multidisciplinary AspectsEijck, Jan van ; Verbrugge, Rineke Verbrugge, Rineke ; Eijck, Jan van ; van Eijck, Jan ; Verbrugge, RinekeBerlin, Heidelberg: Springer Nature 2012Texto completo disponível |