Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Electronic Voting: 8th International Joint Conference, E-Vote-ID 2023, Luxembourg City, Luxembourg, October 3–6, 2023, ProceedingsSpycher-Krivonosova, Iuliia ; Rodriguez Pérez, Adrià ; Kulyk, Oksana ; Budurushi, Jurlind ; Volkamer, Melanie ; Ryan, Peter Y. A ; Rønne, Peter ; Duenas-Cid, DavidCham: Springer Nature 2023Texto completo disponível |
|
2 |
Material Type: Livro
|
Artificial Intelligence and Cognitive Science: 30th Irish Conference, AICS 2022, Munster, Ireland, December 8–9, 2022, Revised Selected PapersO’Reilly, Ruairi ; Longo, LucaCham: Springer Nature 2023Texto completo disponível |
|
3 |
Material Type: Livro
|
AI, Data, and Digitalization: First International Symposium, SAIDD 2023, Sogndal, Norway, May 9–10, 2023, Revised Selected PapersAkerkar, RajendraCham: Springer Nature 2024Texto completo disponível |
|
4 |
Material Type: Livro
|
Nordic Artificial Intelligence Research and Development: 4th Symposium of the Norwegian AI Society, NAIS 2022, Oslo, Norway, May 31 – June 1, 2022, Revised Selected PapersZouganeli, Evi ; Yazidi, Anis ; Mello, Gustavo ; Lind, Pedro Yazidi, Anis ; Lind, Pedro ; Mello, Gustavo ; Zouganeli, EviCham: Springer Nature 2022Texto completo disponível |
|
5 |
Material Type: Livro
|
Co-governed Sovereignty Network: Legal Basis and Its Prototype & Applications with MIN ArchitectureLi, Hui ; Yang, XinSpringer Nature 2021Texto completo disponível |
|
6 |
Material Type: Livro
|
Digital Health Transformation, Smart Ageing, and Managing Disability: 20th International Conference, ICOST 2023, Wonju, South Korea, July 7–8, 2023, ProceedingsJongbae, Kim ; Seungbok, Lee ; Mokhtari, Mounir ; Abdulrazak, Bessam ; Aloulou, HamdiCham: Springer Nature 2023Texto completo disponível |
|
7 |
Material Type: Livro
|
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part IIIFinkbeiner, Bernd ; Kovács, LauraCham: Springer Nature 2024Texto completo disponível |
|
8 |
Material Type: Livro
|
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part IFinkbeiner, Bernd ; Kovács, LauraCham: Springer Nature 2024Texto completo disponível |
|
9 |
Material Type: Livro
|
Algorithms for Big Data: DFG Priority Program 1736Bast, Hannah ; Korzen, Claudius ; Meyer, Ulrich ; Penschuck, Manuel Penschuck, Manuel ; Meyer, Ulrich ; Bast, Hannah ; Korzen, ClaudiusCham: Springer Nature 2022Texto completo disponível |
|
10 |
Material Type: Livro
|
5G and BeyondBhushan, Bharat ; Sharma, Sudhir Kumar ; Kumar, Raghvendra ; Priyadarshini, IshaaniSingapore: Springer Nature 2023Texto completo disponível |