Limit Search Results
Author
Alpay, Daniel. editor.
(2)
Kyriacou, Efthyvoulos. editor.
(2)
Kyrkou, Christos. editor.
(2)
Lanitis, Andreas. editor.
(2)
Panayides, Andreas. editor.
(2)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
41 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Deep Learning Theory and Applications First International Conference, DeLTA 2020, Virtual Event, July 8-10, 2020, and Second International Conference, DeLTA 2021, Virtual Event, July 7-9, 2021, Revised Selected Papers
Deep Learning Theory and Applications First International Conference, DeLTA 2020, Virtual Event, July 8-10, 2020, and Second International Conference, DeLTA 2021, Virtual Event, July 7-9, 2021, Revised Selected Papers
Author 
Fred, Ana. editor. Sansone, Carlo. editor. Madani, Kurosh. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520488.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37320-6
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Verification of Data-Aware Processes via Satisfiability Modulo Theories
Verification of Data-Aware Processes via Satisfiability Modulo Theories
Author 
Gianola, Alessandro. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520722.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42746-6
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Mathematical Optimization Theory and Operations Research: Recent Trends 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Revised Selected Papers
Mathematical Optimization Theory and Operations Research: Recent Trends 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Revised Selected Papers
Author 
Khachay, Michael. editor. (orcid) Kochetov, Yury. editor. Eremeev, Anton. editor. (orcid) Khamisov, Oleg. editor. Mazalov, Vladimir. editor.
Preferred Shelf Number 
XX(520629.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43257-6
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
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:
17. 
Cover image for Computer Vision - ACCV 2022 Workshops 16th Asian Conference on Computer Vision, Macao, China, December 4-8, 2022, Revised Selected Papers
Computer Vision - ACCV 2022 Workshops 16th Asian Conference on Computer Vision, Macao, China, December 4-8, 2022, Revised Selected Papers
Author 
Zheng, Yinqiang. editor. Keleş, Hacer Yalim. editor. Koniusz, Piotr. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520893.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27066-6
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Computer Algebra in Scientific Computing 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings
Computer Algebra in Scientific Computing 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings
Author 
Boulier, François. editor. England, Matthew. editor. (orcid) Kotsireas, Ilias. editor. Sadykov, Timur M. editor. Vorozhtsov, Evgenii V. editor. (orcid)
Preferred Shelf Number 
XX(521117.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-41724-5
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Graph-Based Representations in Pattern Recognition 13th IAPR-TC-15 International Workshop, GbRPR 2023, Vietri sul Mare, Italy, September 6-8, 2023, Proceedings
Graph-Based Representations in Pattern Recognition 13th IAPR-TC-15 International Workshop, GbRPR 2023, Vietri sul Mare, Italy, September 6-8, 2023, Proceedings
Author 
Vento, Mario. editor. Foggia, Pasquale. editor. Conte, Donatello. editor. Carletti, Vincenzo. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521119.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42795-4
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Author 
Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521139.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43513-3
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Computational Science and Its Applications - ICCSA 2023 23rd International Conference, Athens, Greece, July 3-6, 2023, Proceedings, Part I
Computational Science and Its Applications - ICCSA 2023 23rd International Conference, Athens, Greece, July 3-6, 2023, Proceedings, Part I
Author 
Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Taniar, David. editor. Apduhan, Bernady O. editor. Braga, Ana Cristina. editor.
Preferred Shelf Number 
XX(521016.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36805-9
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part IX
Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part IX
Author 
Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)
Preferred Shelf Number 
XX(521242.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-6504-5
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Parallel Computing Technologies 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21-25, 2023, Proceedings
Parallel Computing Technologies 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21-25, 2023, Proceedings
Author 
Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521070.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-41673-6
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Author 
Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520976.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38499-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action