Limit Search Results
Author
SpringerLink (Online service)
(973)
Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853
(13)
C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
(11)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(11)
Faginas Lago, Maria Noelia. editor. (orcid)0000-0002-4056-3364
(11)
Language
Publication Date
-
Subject
Computer Engineering and Networks.
(619)
Computer networks .
(619)
Artificial intelligence.
(323)
Engineering.
(271)
Application software.
(193)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
996 Results Found Subscribe to search results
000000000000DEFAULT
Print
85. 
Cover image for Structural Information and Communication Complexity 31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27-29, 2024, Proceedings
Structural Information and Communication Complexity 31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27-29, 2024, Proceedings
Author 
Emek, Yuval. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-60603-8
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Artificial Intelligence and Robotics 8th International Symposium, ISAIR 2023, Beijing, China, October 21-23, 2023, Revised Selected Papers
Artificial Intelligence and Robotics 8th International Symposium, ISAIR 2023, Beijing, China, October 21-23, 2023, Revised Selected Papers
Author 
Lu, Huimin. editor. (orcid)0000-0001-9794-3221 Cai, Jintong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-9109-9
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Critical Infrastructure Protection XVII 17th IFIP WG 11.10 International Conference, ICCIP 2023, Arlington, VA, USA, March 13-14, 2023, Revised Selected Papers
Critical Infrastructure Protection XVII 17th IFIP WG 11.10 International Conference, ICCIP 2023, Arlington, VA, USA, March 13-14, 2023, Revised Selected Papers
Author 
Staggs, Jason. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-49585-4
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings
Author 
Hillston, Jane. editor. (orcid)0000-0003-4914-9255 Soudjani, Sadegh. editor. Waga, Masaki. editor. (orcid)0000-0001-9360-7490 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68416-6
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Hybrid Modeling and Simulation Conceptualizations, Methods and Applications
Hybrid Modeling and Simulation Conceptualizations, Methods and Applications
Author 
Fakhimi, Masoud. editor. (orcid)0000-0002-7144-7868 Mustafee, Navonil. editor. (orcid)0000-0002-2204-8924 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-59999-6
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Computer Vision, Imaging and Computer Graphics Theory and Applications 18th International Joint Conference on Computer Vision, Imaging and Computer Graphics, VISIGRAPP 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers
Computer Vision, Imaging and Computer Graphics Theory and Applications 18th International Joint Conference on Computer Vision, Imaging and Computer Graphics, VISIGRAPP 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers
Author 
de Sousa, A. Augusto. editor. (orcid)0000-0002-9883-2686 Bashford-Rogers, Thomas. editor. Paljic, Alexis. editor. Ziat, Mounia. editor. Hurter, Christophe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66743-5
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Topics in Cryptology - CT-RSA 2024 Cryptographers' Track at the RSA Conference 2024, San Francisco, CA, USA, May 6-9, 2024, Proceedings
Topics in Cryptology - CT-RSA 2024 Cryptographers' Track at the RSA Conference 2024, San Francisco, CA, USA, May 6-9, 2024, Proceedings
Author 
Oswald, Elisabeth. editor. (orcid)0000-0001-7502-3184 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-58868-6
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications
Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications
Author 
Buttazzo, Giorgio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-45410-3
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for PRICAI 2023: Trends in Artificial Intelligence 20th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2023, Jakarta, Indonesia, November 15-19, 2023, Proceedings, Part I
PRICAI 2023: Trends in Artificial Intelligence 20th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2023, Jakarta, Indonesia, November 15-19, 2023, Proceedings, Part I
Author 
Liu, Fenrong. editor. (orcid)0000-0001-7931-0324 Sadanandan, Arun Anand. editor. Pham, Duc Nghia. editor. Mursanto, Petrus. editor. (orcid)0000-0002-4831-4629 Lukose, Dickson. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7019-3
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
Author 
Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872 Serwe, Wendelin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68150-9
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Geographical Information Systems Theory, Applications and Management 9th International Conference, GISTAM 2023, Prague, Czech Republic, April 25-27, 2023, Revised Selected Papers
Geographical Information Systems Theory, Applications and Management 9th International Conference, GISTAM 2023, Prague, Czech Republic, April 25-27, 2023, Revised Selected Papers
Author 
Grueau, Cédric. editor. Rodrigues, Armanda. editor. (orcid)0000-0002-7080-5512 Ragia, Lemonia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-60277-1
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part IV
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part IV
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-65273-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action