Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
21 |
Material Type: Livro
|
![]() |
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part IIIEnea, Constantin ; Lal, AkashCham: Springer Nature 2023Texto completo disponível |
22 |
Material Type: Livro
|
![]() |
Data Communications and Network TechnologiesHuawei Technologies Co., LtdSingapore: Springer Nature 2023Texto completo disponível |
23 |
Material Type: Livro
|
![]() |
Frontiers of Combining Systems: 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, ProceedingsSuda, Martin ; Sattler, UliCham: Springer Nature 2023Texto completo disponível |
24 |
Material Type: Livro
|
![]() |
Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, ProceedingsYoshida, Nobuko Yoshida, NobukoNetherlands: Springer Nature 2021Texto completo disponível |
25 |
Material Type: Livro
|
![]() |
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries: 7th International Workshop, BrainLes 2021, Held in Conjunction with MICCAI 2021, Virtual Event, September 27, 2021, Revised Selected Papers, Part IBakas, Spyridon ; Crimi, AlessandroCham: Springer Nature 2022Texto completo disponível |
26 |
Material Type: Livro
|
![]() |
Articulating Media: Genealogy, Interface, SituationGabrillo, James ; Zetter, NathanielLondon: Open Humanities Press 2023Texto completo disponível |
27 |
Material Type: Livro
|
![]() |
Supercomputing Frontiers: 5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019, ProceedingsAbramson, David ; de Supinski, Bronis R de Supinski, Bronis R ; Abramson, DavidNetherlands: Springer Nature 2019Texto completo disponível |
28 |
Material Type: Livro
|
![]() |
Cybersecurity of Digital Service Chains: Challenges, Methodologies, and ToolsKołodziej, Joanna ; Repetto, Matteo ; Duzha, Armend Duzha, Armend ; Kołodziej, Joanna ; Repetto, Matteo ; Repetto, Matteo ; Duzha, Armend ; Kołodziej, JoannaCham: Springer Nature 2022Texto completo disponível |
29 |
Material Type: Livro
|
![]() |
Supercomputing Frontiers: 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, ProceedingsPanda, Dhabaleswar K Panda, Dhabaleswar KNetherlands: Springer Nature 2020Texto completo disponível |
30 |
Material Type: Livro
|
![]() |
Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, ProceedingsMuller, Peter Müller, PeterNetherlands: Springer Nature 2020Texto completo disponível |