Limit Search Results
Author
SpringerLink (Online service)
(492)
Cheng, Ming-Ming. editor. (orcid)0000-0001-5550-8758
(15)
He, Ran. editor. (orcid)0000-0002-3807-991X
(15)
Lin, Zhouchen. editor.
(15)
Liu, Cheng-Lin. editor. (orcid)0000-0002-6743-4175
(15)
Language
English
(492)
Publication Date
-
2024
(161)
2025
(126)
2017
(99)
2016
(68)
2023
(20)
Subject
Computer Communication Networks.
(347)
Artificial intelligence.
(212)
Application software.
(179)
Computer and Information Systems Applications.
(179)
Computer Engineering and Networks.
(168)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
492 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90643-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90660-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90653-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Modeling, Analysis, and Optimization for Space-Ground Integrated Networks
Modeling, Analysis, and Optimization for Space-Ground Integrated Networks
Author 
Sheng, Min. author. Zhou, Di. author. (orcid)0000-0002-8375-9236 Zhu, Yan. author. Li, Jiandong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77278-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
Author 
Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78709-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
Author 
Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78750-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for ICT Analysis and Applications Proceedings of ICT4SD 2024, Volume 3
ICT Analysis and Applications Proceedings of ICT4SD 2024, Volume 3
Author 
Fong, Simon. editor. Dey, Nilanjan. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8602-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Molecular Communications An Analysis from Networking Theories Perspective
Molecular Communications An Analysis from Networking Theories Perspective
Author 
Cevallos, Yesenia. author. Vacacela Gómez, Cristian. author. Tello-Oquendo, Luis. author. (orcid)0000-0002-5274-666X Tene, Talia. author. Inca, Deysi. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36882-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 26th Iberoamerican Congress, CIARP 2023, Coimbra, Portugal, November 27-30, 2023, Proceedings, Part I
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 26th Iberoamerican Congress, CIARP 2023, Coimbra, Portugal, November 27-30, 2023, Proceedings, Part I
Author 
Vasconcelos, Verónica. editor. Domingues, Inês. editor. Paredes, Simão. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-49018-7
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 26th Iberoamerican Congress, CIARP 2023, Coimbra, Portugal, November 27-30, 2023, Proceedings, Part II
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 26th Iberoamerican Congress, CIARP 2023, Coimbra, Portugal, November 27-30, 2023, Proceedings, Part II
Author 
Vasconcelos, Verónica. editor. Domingues, Inês. editor. Paredes, Simão. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-49249-5
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Artificial Intelligence and Image Analysis 18th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2024, and 22nd International Workshop on Combinatorial Image Analysis, IWCIA 2024, Fort Lauderdale, FL, USA, January 8-10, 2024, Revised Selected Papers
Artificial Intelligence and Image Analysis 18th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2024, and 22nd International Workshop on Combinatorial Image Analysis, IWCIA 2024, Fort Lauderdale, FL, USA, January 8-10, 2024, Revised Selected Papers
Author 
Barneva, Reneta P. editor. Brimkov, Valentin E. editor. Gentile, Claudio. editor. (orcid)0000-0003-1551-2167 Pacchiano, Aldo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63735-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Document Analysis and Recognition - ICDAR 2024 18th International Conference, Athens, Greece, August 30-September 4, 2024, Proceedings, Part II
Document Analysis and Recognition - ICDAR 2024 18th International Conference, Athens, Greece, August 30-September 4, 2024, Proceedings, Part II
Author 
Barney Smith, Elisa H. editor. Liwicki, Marcus. editor. Peng, Liangrui. editor. (orcid)0000-0001-7793-1039 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70536-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets