Limit Search Results
Author
SpringerLink (Online service)
(25)
Pardalos, Panos. editor.
(3)
Alfnes, Erlend. editor.
(2)
Di Fatta, Giuseppe. editor.
(2)
Giuffrida, Giovanni. editor.
(2)
Language
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
25 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Mathematics for Computer Scientists A Practice-Oriented Approach
Mathematics for Computer Scientists A Practice-Oriented Approach
Author 
Hartmann, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520344.1)
Electronic Access 
https://doi.org/10.1007/978-3-658-40423-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part I
Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part I
Author 
Alfnes, Erlend. editor. Romsdal, Anita. editor. Strandhagen, Jan Ola. editor. von Cieminski, Gregor. editor. Romero, David. editor.
Preferred Shelf Number 
XX(520610.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43662-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Performance Evaluation Methodologies and Tools 15th EAI International Conference, VALUETOOLS 2022, Virtual Event, November 2022, Proceedings
Performance Evaluation Methodologies and Tools 15th EAI International Conference, VALUETOOLS 2022, Virtual Event, November 2022, Proceedings
Author 
Hyytiä, Esa. editor. Kavitha, Veeraruna. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520408.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31234-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Author 
Dragoi, Cezara. editor. Emmi, Michael. editor. Wang, Jingbo. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520797.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-24950-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Decision and Game Theory for Security 13th International Conference, GameSec 2022, Pittsburgh, PA, USA, October 26-28, 2022, Proceedings
Decision and Game Theory for Security 13th International Conference, GameSec 2022, Pittsburgh, PA, USA, October 26-28, 2022, Proceedings
Author 
Fang, Fei. editor. Xu, Haifeng. editor. Hayel, Yezekael. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520809.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26369-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Mathematical Optimization Theory and Operations Research 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Proceedings
Mathematical Optimization Theory and Operations Research 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Proceedings
Author 
Khachay, Michael. editor. (orcid) Kochetov, Yury. editor. (orcid) Eremeev, Anton. editor. (orcid) Khamisov, Oleg. editor. Mazalov, Vladimir. editor.
Preferred Shelf Number 
XX(521398.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35305-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Distributed Optimization in Networked Systems Algorithms and Applications
Distributed Optimization in Networked Systems Algorithms and Applications
Author 
Lü, Qingguo. author. Liao, Xiaofeng. author. Li, Huaqing. author. Deng, Shaojiang. author. Gao, Shanfu. author.
Preferred Shelf Number 
XX(520208.1)
Electronic Access 
https://doi.org/10.1007/978-981-19-8559-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part II
International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part II
Author 
Zhang, Haijun. editor. (orcid) Ke, Yinggen. editor. Wu, Zhou. editor. Hao, Tianyong. editor. Zhang, Zhao. editor.
Preferred Shelf Number 
XX(520549.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-5847-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part IV
Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part IV
Author 
Alfnes, Erlend. editor. Romsdal, Anita. editor. Strandhagen, Jan Ola. editor. von Cieminski, Gregor. editor. Romero, David. editor.
Preferred Shelf Number 
XX(520613.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43688-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Handbook of Dynamic Data Driven Applications Systems Volume 2
Handbook of Dynamic Data Driven Applications Systems Volume 2
Author 
Darema, Frederica. editor. Blasch, Erik P. editor. Ravela, Sai. editor. Aved, Alex J. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520614.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27986-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520843.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30823-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part I
Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part I
Author 
Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520851.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30442-2
Format: 
Availability 
Online Library~1
Available:
Copies: