Limit Search Results
Author
SpringerLink (Online service)
(60)
C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
(11)
Faginas Lago, Maria Noelia. editor. (orcid)0000-0002-4056-3364
(11)
Garau, Chiara. editor. (orcid)0000-0002-6239-5402
(11)
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
(11)
Language
Publication Date
-
Subject
Computer System Implementation.
(60)
Computer systems.
(49)
Computer Communication Networks.
(38)
Computer networks .
(32)
Theory of Computation.
(27)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
60 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part II
Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part II
Author 
Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Kim, Jinman. editor. (orcid)0000-0001-5960-1060 Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Deng, Zhigang. editor. (orcid)0000-0002-0452-8676 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82021-2
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedings
Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedings
Author 
Li, Yupeng. editor. Zhang, Yong. editor. (orcid)0000-0002-8730-3711 Xu, Jianliang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4207-6
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Biological Computing
Biological Computing
Author 
Xu, Jin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-3870-3
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73709-1
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75387-9
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers
Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers
Author 
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73741-1
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers
Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers
Author 
Cai, Zhiping. editor. (orcid)0000-0001-5726-833X Xiao, Mingyu. editor. Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7743-7
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Modeling Decisions for Artificial Intelligence 21st International Conference, MDAI 2024, Tokyo, Japan, August 27-31, 2024, Proceedings
Modeling Decisions for Artificial Intelligence 21st International Conference, MDAI 2024, Tokyo, Japan, August 27-31, 2024, Proceedings
Author 
Torra, Vicenç. editor. (orcid)0000-0002-0368-8037 Narukawa, Yasuo. editor. Kikuchi, Hiroaki. editor. (orcid)0000-0002-0903-8430 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68208-7
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VII
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VII
Author 
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-65308-7
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part III
Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part III
Author 
Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50075-6
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28-September 1, 2023, Proceedings, Part II
Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28-September 1, 2023, Proceedings, Part II
Author 
Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50072-5
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VI
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VI
Author 
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-65285-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action