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
Select an Action
492 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers
Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers
Author 
Yavorskiy, Rostislav. editor. Cavalli, Ana Rosa. editor. Kalenkova, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50423-5
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Smart Applications and Data Analysis 5th International Conference, SADASC 2024, Tangier, Morocco, April 18-20, 2024, Proceedings, Part I
Smart Applications and Data Analysis 5th International Conference, SADASC 2024, Tangier, Morocco, April 18-20, 2024, Proceedings, Part I
Author 
Hamlich, Mohamed. editor. (orcid)0000-0002-7512-4329 Dornaika, Fadi. editor. (orcid)0000-0001-6581-9680 Ordonez, Carlos. editor. Bellatreche, Ladjel. editor. Moutachaouik, Hicham. editor. (orcid)0000-0003-1566-104X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77040-1
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Smart Applications and Data Analysis 5th International Conference, SADASC 2024, Tangier, Morocco, April 18-20, 2024, Proceedings, Part II
Smart Applications and Data Analysis 5th International Conference, SADASC 2024, Tangier, Morocco, April 18-20, 2024, Proceedings, Part II
Author 
Hamlich, Mohamed. editor. (orcid)0000-0002-7512-4329 Dornaika, Fadi. editor. (orcid)0000-0001-6581-9680 Ordonez, Carlos. editor. Bellatreche, Ladjel. editor. Moutachaouik, Hicham. editor. (orcid)0000-0003-1566-104X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77043-2
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Constructive Side-Channel Analysis and Secure Design 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings
Constructive Side-Channel Analysis and Secure Design 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings
Author 
Wacquez, Romain. author. Homma, Naofumi. editor. (orcid)0000-0003-0864-3126 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57543-3
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for 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 I
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 I
Author 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57246-3
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for 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 II
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 II
Author 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57249-4
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for 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 III
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 III
Author 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57256-2
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
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:
33. 
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:
34. 
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:
35. 
Cover image for Document Analysis and Recognition - ICDAR 2024 18th International Conference, Athens, Greece, August 30-September 4, 2024, Proceedings, Part I
Document Analysis and Recognition - ICDAR 2024 18th International Conference, Athens, Greece, August 30-September 4, 2024, Proceedings, Part I
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-70533-5
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Document Analysis and Recognition - ICDAR 2024 18th International Conference, Athens, Greece, August 30 - September 4, 2024, Proceedings, Part III
Document Analysis and Recognition - ICDAR 2024 18th International Conference, Athens, Greece, August 30 - September 4, 2024, Proceedings, Part III
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-70543-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action