Limit Search Results
Author
SpringerLink (Online service)
(54)
Khachay, Michael. editor. (orcid)
(3)
Alfnes, Erlend. editor.
(2)
Duan, Nan. editor.
(2)
Eremeev, Anton. editor. (orcid)
(2)
Language
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
54 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
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:
14. 
Cover image for Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part II
Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part II
Author 
Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520846.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30445-3
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Numerical Methods and Applications 10th International Conference, NMA 2022, Borovets, Bulgaria, August 22-26, 2022, Proceedings
Numerical Methods and Applications 10th International Conference, NMA 2022, Borovets, Bulgaria, August 22-26, 2022, Proceedings
Author 
Georgiev, Ivan. editor. Datcheva, Maria. editor. Georgiev, Krassimir. editor. Nikolov, Geno. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520863.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32412-3
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Learning and Collaboration Technologies 10th International Conference, LCT 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I
Learning and Collaboration Technologies 10th International Conference, LCT 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I
Author 
Zaphiris, Panayiotis. editor. Ioannou, Andri. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521025.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34411-4
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
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:
18. 
Cover image for Emerging Networking Architecture and Technologies First International Conference, ICENAT 2022, Shenzhen, China, November 15-17, 2022, Proceedings
Emerging Networking Architecture and Technologies First International Conference, ICENAT 2022, Shenzhen, China, November 15-17, 2022, Proceedings
Author 
Quan, Wei. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520200.1)
Electronic Access 
https://doi.org/10.1007/978-981-19-9697-9
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Information Technologies and Intelligent Decision Making Systems Second International Conference, ITIDMS 2022, Virtual Event, December 12-14, 2022, Revised Selected Papers
Information Technologies and Intelligent Decision Making Systems Second International Conference, ITIDMS 2022, Virtual Event, December 12-14, 2022, Revised Selected Papers
Author 
Gibadullin, Arthur. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520219.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31353-0
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Advances in Quantitative Ethnography 4th International Conference, ICQE 2022, Copenhagen, Denmark, October 15-19, 2022, Proceedings
Advances in Quantitative Ethnography 4th International Conference, ICQE 2022, Copenhagen, Denmark, October 15-19, 2022, Proceedings
Author 
Damşa, Crina. editor. Barany, Amanda. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520223.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31726-2
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Metaheuristics for Machine Learning New Advances and Tools
Metaheuristics for Machine Learning New Advances and Tools
Author 
Eddaly, Mansour. editor. Jarboui, Bassem. editor. Siarry, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520355.1)
Electronic Access 
https://doi.org/10.1007/978-981-19-3888-7
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Machine Intelligence and Emerging Technologies First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part II
Machine Intelligence and Emerging Technologies First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part II
Author 
Satu, Md. Shahriare. editor. (orcid) Moni, Mohammad Ali. editor. Kaiser, M. Shamim. editor. Arefin, Mohammad Shamsul. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520459.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34622-4
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Smart Cities, Green Technologies, and Intelligent Transport Systems 11th International Conference, SMARTGREENS 2022, and 8th International Conference, VEHITS 2022, Virtual Event, April 27-29, 2022, Revised Selected Papers
Smart Cities, Green Technologies, and Intelligent Transport Systems 11th International Conference, SMARTGREENS 2022, and 8th International Conference, VEHITS 2022, Virtual Event, April 27-29, 2022, Revised Selected Papers
Author 
Klein, Cornel. editor. Jarke, Matthias. editor. Ploeg, Jeroen. editor. Helfert, Markus. editor. Berns, Karsten. editor.
Preferred Shelf Number 
XX(520497.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37470-8
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers
Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers
Author 
Sokolinsky, Leonid. editor. Zymbler, Mikhail. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520526.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38864-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action