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
1. 
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:
2. 
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:
3. 
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:
4. 
Cover image for Concepts, Applications, Experimentation and Analysis of Wireless Sensor Networks
Concepts, Applications, Experimentation and Analysis of Wireless Sensor Networks
Author 
Fahmy, Hossam Mahmoud Ahmad. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-20709-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
Author 
D'Souza, Deepak. editor. Narayan Kumar, K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68167-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Image Analysis and Processing - ICIAP 2017 19th International Conference, Catania, Italy, September 11-15, 2017, Proceedings, Part II
Image Analysis and Processing - ICIAP 2017 19th International Conference, Catania, Italy, September 11-15, 2017, Proceedings, Part II
Author 
Battiato, Sebastiano. editor. Gallo, Giovanni. editor. Schettini, Raimondo. editor. Stanco, Filippo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68548-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Potential-Based Analysis of Social, Communication, and Distributed Networks
Potential-Based Analysis of Social, Communication, and Distributed Networks
Author 
Etesami, Seyed Rasoul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54289-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Computer Analysis of Images and Patterns 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part II
Computer Analysis of Images and Patterns 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part II
Author 
Felsberg, Michael. editor. (orcid)0000-0002-6096-3648 Heyden, Anders. editor. Krüger, Norbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64698-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Representations, Analysis and Recognition of Shape and Motion from Imaging Data 6th International Workshop, RFMI 2016, Sidi Bou Said Village, Tunisia, October 27-29, 2016, Revised Selected Papers
Representations, Analysis and Recognition of Shape and Motion from Imaging Data 6th International Workshop, RFMI 2016, Sidi Bou Said Village, Tunisia, October 27-29, 2016, Revised Selected Papers
Author 
Ben Amor, Boulbaba. editor. Chaieb, Faten. editor. Ghorbel, Faouzi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60654-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Error-Correction Coding and Decoding Bounds, Codes, Decoders, Analysis and Applications
Error-Correction Coding and Decoding Bounds, Codes, Decoders, Analysis and Applications
Author 
Tomlinson, Martin. author. Tjhai, Cen Jung. author. Ambroze, Marcel A. author. Ahmed, Mohammed. author. Jibril, Mubarak. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51103-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Image Analysis and Processing - ICIAP 2017 19th International Conference, Catania, Italy, September 11-15, 2017, Proceedings, Part I
Image Analysis and Processing - ICIAP 2017 19th International Conference, Catania, Italy, September 11-15, 2017, Proceedings, Part I
Author 
Battiato, Sebastiano. editor. Gallo, Giovanni. editor. Schettini, Raimondo. editor. Stanco, Filippo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68560-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Computer Analysis of Images and Patterns 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part I
Computer Analysis of Images and Patterns 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part I
Author 
Felsberg, Michael. editor. (orcid)0000-0002-6096-3648 Heyden, Anders. editor. Krüger, Norbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64689-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action