Limit Search Results
Author
SpringerLink (Online service)
(34)
Angelov, Plamen. editor.
(2)
Iliadis, Lazaros. editor. (orcid)
(2)
Jayne, Chrisina. editor.
(2)
Papaleonidas, Antonios. editor. (orcid)
(2)
Language
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
34 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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 II
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 II
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520840.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30820-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
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:
3. 
Cover image for High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings
High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings
Author 
Bhatele, Abhinav. editor. Hammond, Jeff. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520857.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32041-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
Cover image for Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, Proceedings
Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, Proceedings
Author 
Drewes, Frank. editor. Volkov, Mikhail. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520867.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33264-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Arithmetic of Finite Fields 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 - September 2, 2022, Revised Selected Papers
Arithmetic of Finite Fields 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 - September 2, 2022, Revised Selected Papers
Author 
Mesnager, Sihem. editor. Zhou, Zhengchun. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520791.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-22944-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings
Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings
Author 
Gomes, Luis. editor. Lorenz, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520949.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33620-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Database and Expert Systems Applications 34th International Conference, DEXA 2023, Penang, Malaysia, August 28-30, 2023, Proceedings, Part II
Database and Expert Systems Applications 34th International Conference, DEXA 2023, Penang, Malaysia, August 28-30, 2023, Proceedings, Part II
Author 
Strauss, Christine. editor. Amagasa, Toshiyuki. editor. Kotsis, Gabriele. editor. Tjoa, A Min. editor. Khalil, Ismail. editor.
Preferred Shelf Number 
XX(521071.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-39821-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Combinatorics on Words 14th International Conference, WORDS 2023, Umeå, Sweden, June 12-16, 2023, Proceedings
Combinatorics on Words 14th International Conference, WORDS 2023, Umeå, Sweden, June 12-16, 2023, Proceedings
Author 
Frid, Anna. editor. Mercaş, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520955.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33180-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part I
Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part I
Author 
Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521167.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44207-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Progress in Cryptology - LATINCRYPT 2023 8th International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2023, Quito, Ecuador, October 3-6, 2023, Proceedings
Progress in Cryptology - LATINCRYPT 2023 8th International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2023, Quito, Ecuador, October 3-6, 2023, Proceedings
Author 
Aly, Abdelrahaman. editor. Tibouchi, Mehdi. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521179.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44469-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part VIII
Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part VIII
Author 
Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521311.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44198-1
Format: 
Availability 
Online Library~1
Available:
Copies: