Limit Search Results
Author
SpringerLink (Online service)
(20)
Nicosia, Giuseppe. editor.
(3)
Pardalos, Panos M. editor.
(3)
La Malfa, Emanuele. editor.
(2)
La Malfa, Gabriele. editor.
(2)
Language
Publication Date
-
Subject
Electronic digital computers -- Evaluation.
(20)
System Performance and Evaluation.
(20)
Software engineering.
(9)
Application software.
(8)
Computer and Information Systems Applications.
(8)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
20 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Visual Object Tracking An Evaluation Perspective
Visual Object Tracking An Evaluation Perspective
Author 
Zhao, Xin. author. (orcid)0000-0002-7660-9897 Hu, Shiyu. author. Yin, Xu-Cheng. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4558-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for High Performance Computing, Smart Devices and Networks Select Proceedings of CHSN 2022
High Performance Computing, Smart Devices and Networks Select Proceedings of CHSN 2022
Author 
Malhotra, Ruchika. editor. Sumalatha, L. editor. Yassin, S. M. Warusia. editor. Patgiri, Ripon. editor. (orcid)0000-0002-9899-9152 Muppalaneni, Naresh Babu. editor. (orcid)0000-0002-8499-1918
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-6690-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Machine Learning, Optimization, and Data Science 9th International Conference, LOD 2023, Grasmere, UK, September 22-26, 2023, Revised Selected Papers, Part II
Machine Learning, Optimization, and Data Science 9th International Conference, LOD 2023, Grasmere, UK, September 22-26, 2023, Revised Selected Papers, Part II
Author 
Nicosia, Giuseppe. editor. Ojha, Varun. editor. (orcid)0000-0002-9256-1192 La Malfa, Emanuele. editor. La Malfa, Gabriele. editor. Pardalos, Panos M. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-53966-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Machine Learning, Optimization, and Data Science 9th International Conference, LOD 2023, Grasmere, UK, September 22-26, 2023, Revised Selected Papers, Part I
Machine Learning, Optimization, and Data Science 9th International Conference, LOD 2023, Grasmere, UK, September 22-26, 2023, Revised Selected Papers, Part I
Author 
Nicosia, Giuseppe. editor. Ojha, Varun. editor. (orcid)0000-0002-9256-1192 La Malfa, Emanuele. editor. La Malfa, Gabriele. editor. Pardalos, Panos M. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-53969-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for High Performance Computing, Smart Devices and Networks Select Proceedings of CHSN 2023
High Performance Computing, Smart Devices and Networks Select Proceedings of CHSN 2023
Author 
Annappa, B. editor. Hong, Wei-Chiang. editor. (orcid)0000-0002-3001-2921 Haritha, Dasari. editor. Devi, G. Lavanya. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-7794-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings
Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings
Author 
Ayala-Rincón, Mauricio. editor. Muñoz, César A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66107-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings
Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings
Author 
Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-65948-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Service-Oriented Computing - ICSOC 2016 Workshops ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers
Service-Oriented Computing - ICSOC 2016 Workshops ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers
Author 
Drira, Khalil. editor. (orcid)0000-0002-4770-1563 Wang, Hongbing. editor. Yu, Qi. editor. Wang, Yan. editor. Yan, Yuhong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68136-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings
Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings
Author 
Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66197-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Data Mining and Big Data Second International Conference, DMBD 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings
Data Mining and Big Data Second International Conference, DMBD 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings
Author 
Tan, Ying. editor. (orcid)0000-0001-8243-4731 Takagi, Hideyuki. editor. Shi, Yuhui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61845-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Challenges and Opportunity with Big Data 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016, Revised Selected Papers
Challenges and Opportunity with Big Data 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016, Revised Selected Papers
Author 
Zhang, Lin. editor. Ren, Lei. editor. Kordon, Fabrice. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61994-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Author 
Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63387-9
Format: 
Availability 
Online Library~1
Available:
Copies: