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
|
![]() |
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 |
5 |
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 |
6 |
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 |
7 |
Material Type: Livro
|
![]() |
Text Analysis Pipelines: Towards Ad-hoc Large-Scale Text MiningWachsmuth, HenningCham: Springer Nature 2015Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Recent Advances in Intrusion Detection: 5th International Symposium, RAID 2002, Zurich, Switzerland, October 16-18, 2002, ProceedingsWespi, Andreas ; Vigna, Giovanni ; Deri, Luca Vigna, Giovanni ; Deri, Luca ; Wespi, AndreasBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Dependable Computing — EDCC-1: First European Dependable Computing Conference Berlin, Germany, October 4–6, 1994 ProceedingsEchtle, Klaus ; Hammer, Dieter ; Powell, David Echtle, Klaus ; Powell, David ; Hammer, DieterBerlin, Heidelberg: Springer Berlin Heidelberg 1994Texto completo disponível |
10 |
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 |