Search Results for Computer science. - Narrowed by: 1:SPRINGER

Applied Computer Science

2026-03-24T04:15:23Z

Author Torbert, Shane. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30866-1
Format: Electronic Resources
Availability Online Library~1

Logic in Computer Science

2026-03-24T04:15:23Z

Author Zhang, Hantao. author. Zhang, Jian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-9816-2
Format: Electronic Resources
Availability Online Library~1

Computer and Information Science

2026-03-24T04:15:23Z

Author Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40171-3
Format: Electronic Resources
Availability Online Library~1

Computer and Information Science 2015

2026-03-24T04:15:23Z

Author Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23467-0
Format: Electronic Resources
Availability Online Library~1

SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part II

2026-03-24T04:15:23Z

Author Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82697-9
Format: Electronic Resources
Availability Online Library~1

Grid, Cloud, and Cluster Computing; Quantum Technologies; and Modeling, Simulation and Visualization Methods 20th International Conference, GCC 2024, Third International Conference, ICEQT 2024, and 21st International Conference, MSV 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-24T04:15:23Z

Author Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Takata, Masami. editor. (orcid)0000-0003-3475-7565 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Rivas, Pablo. editor. (orcid)0000-0002-8690-0987 Ohue, Masahito. editor. (orcid)0000-0002-0120-1643
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85884-0
Format: Electronic Resources
Availability Online Library~1

Internet Computing and IoT and Embedded Systems, Cyber-physical Systems, and Applications 25th International Conference, ICOMP 2024, and 22nd International Conference, ESCS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-24T04:15:23Z

Author Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85923-6
Format: Electronic Resources
Availability Online Library~1

Computer Science and Educational Informatization 6th International Conference, CSEI 2024, Haikou, China, November 1-3, 2024, Revised Selected Papers, Part I

2026-03-24T04:15:23Z

Author Zhang, Kun. editor. (orcid)0000-0001-9195-8000 Song, Xianhua. editor. Obaidat, Mohammad S. editor. (orcid)0000-0002-1569-9657 Bilal, Anas. editor. (orcid)0000-0002-7760-3374 Hu, Jun. editor. (orcid)0000-0002-7852-5064
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-3735-5
Format: Electronic Resources
Availability Online Library~1

Computer Science and Educational Informatization 6th International Conference, CSEI 2024, Haikou, China, November 1-3, 2024, Revised Selected Papers, Part II

2026-03-24T04:15:23Z

Author Zhang, Kun. editor. (orcid)0000-0001-9195-8000 Song, Xianhua. editor. Obaidat, Mohammad S. editor. (orcid)0000-0002-1569-9657 Bilal, Anas. editor. (orcid)0000-0002-7760-3374 Hu, Jun. editor. (orcid)0000-0002-7852-5064
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-3738-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering Research and Practice and e-Learning, e-Business, Enterprise Information Systems, and e-Government 22nd International Conference, SERP 2024, and 23rd International Conference, EEE 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-24T04:15:23Z

Author Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-86644-9
Format: Electronic Resources
Availability Online Library~1

Data Science 20th International Conference, ICDATA 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-24T04:15:23Z

Author Stahlbock, Robert. editor. (orcid)0000-0002-0393-4904 Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85856-7
Format: Electronic Resources
Availability Online Library~1

Research in Computer Science 17th African Conference on Research in Computer Science and Applied Mathematics, CARI 2024, Bejaïa, Algeria, November 24-26, 2024, Proceedings

2026-03-24T04:15:23Z

Author Aissani, Djamil. editor. Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Roche, Mathieu. editor. (orcid)0000-0003-3272-8568 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-88226-5
Format: Electronic Resources
Availability Online Library~1

Scientific Computing and Bioinformatics and Computational Biology 22nd International Conference, CSC 2024, and 25th International Conference, BIOCOMP 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-24T04:15:23Z

Author Hodson, Douglas D. editor. Grimaila, Michael R. editor. (orcid)0000-0002-8355-7992 Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Wagner, Torrey J. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85902-1
Format: Electronic Resources
Availability Online Library~1

Health Informatics and Medical Systems and Biomedical Engineering 10th International Conference, HIMS 2024, and 10th International Conference, BIOENG 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-24T04:15:23Z

Author Alsadoon, Abeer. editor. (orcid)0000-0002-2309-3540 Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85908-3
Format: Electronic Resources
Availability Online Library~1

Security and Management and Wireless Networks 23rd International Conference, SAM 2024 and 23rd International Conference, ICWN 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-24T04:15:23Z

Author Daimi, Kevin. editor. Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-86637-1
Format: Electronic Resources
Availability Online Library~1

Foundations of Computer Science and Frontiers in Education: Computer Science and Computer Engineering 20th International Conference, FCS 2024, and 20th International Conference, FECS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-24T04:15:23Z

Author Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85930-4
Format: Electronic Resources
Availability Online Library~1

Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning 17th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2024, Budapest, Hungary, October 28-30, 2024, Proceedings

2026-03-24T04:15:23Z

Author Pluhár, Zsuzsa. editor. (orcid)0000-0003-2688-4652 Gaál, Bence. editor. (orcid)0000-0001-8771-7140 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-73474-8
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 50th International Workshop, WG 2024, Gozd Martuljek, Slovenia, June 19-21, 2024, Revised Selected Papers

2026-03-24T04:15:23Z

Author Kráľ, Daniel. editor. (orcid)0000-0001-8680-0890 Milanič, Martin. editor. (orcid)0000-0002-8222-8097 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75409-8
Format: Electronic Resources
Availability Online Library~1

SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part I

2026-03-24T04:15:23Z

Author Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82670-2
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science 42nd National Conference, NCTCS 2024, Qingdao, China, July 19-21, 2024, Revised Selected Papers

2026-03-24T04:15:23Z

Author Yin, Yitong. editor. (orcid)0000-0001-9204-7794 Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 Cai, Zhiping. editor. (orcid)0000-0001-5726-833X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-1490-5
Format: Electronic Resources
Availability Online Library~1

Parallel and Distributed Processing Techniques 30th International Conference, PDPTA 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-24T04:15:23Z

Author Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Takata, Masami. editor. (orcid)0000-0003-3475-7565 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Rivas, Pablo. editor. (orcid)0000-0002-8690-0987 Ohue, Masahito. editor. (orcid)0000-0002-0120-1643
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85638-9
Format: Electronic Resources
Availability Online Library~1

Applied Cognitive Computing and Artificial Intelligence 8th International Conference, ACC 2024, and 26th International Conference, ICAI 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-24T04:15:23Z

Author Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Ferens, Ken. editor. (orcid)0000-0002-1031-0518 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85628-0
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Applications 26th International Conference, ICAI 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-24T04:15:23Z

Author Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-86623-4
Format: Electronic Resources
Availability Online Library~1

Image Processing, Computer Vision, and Pattern Recognition and Information and Knowledge Engineering 28th International Conference, IPCV 2024, and 23rd International Conference, IKE 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-24T04:15:23Z

Author Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85933-5
Format: Electronic Resources
Availability Online Library~1

Research in Computer Science 6th Conference, CRI 2023, Yaounde, Cameroon, December 12-13, 2023, Proceedings

2026-03-24T04:15:23Z

Author Melatagia Yonta, Paulin. editor. (orcid)0000-0003-3479-2627 Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Ndoundam, René. editor. (orcid)0000-0003-1105-762X Yenke, Omer-Blaise. editor. (orcid)0000-0001-9670-1001 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63110-8
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers

2026-03-24T04:15:23Z

Author Cai, Zhiping. editor. (orcid)0000-0001-5726-833X Xiao, Mingyu. editor. Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7743-7
Format: Electronic Resources
Availability Online Library~1

SOFSEM 2024: Theory and Practice of Computer Science 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings

2026-03-24T04:15:23Z

Author Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Gaspers, Serge. editor. (orcid)0000-0002-6947-9238 Klasing, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-52113-3
Format: Electronic Resources
Availability Online Library~1

Computer Science and Education. Educational Digitalization 18th International Conference, ICCSE 2023, Sepang, Malaysia, December 1-7, 2023, Proceedings, Part III

2026-03-24T04:15:23Z

Author Hong, Wenxing. editor. Kanaparan, Geetha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-0737-9
Format: Electronic Resources
Availability Online Library~1

Computer Science and Education. Teaching and Curriculum 18th International Conference, ICCSE 2023, Sepang, Malaysia, December 1-7, 2023, Proceedings, Part II

2026-03-24T04:15:23Z

Author Hong, Wenxing. editor. Kanaparan, Geetha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-0791-1
Format: Electronic Resources
Availability Online Library~1

Computer Science - CACIC 2023 29th Argentine Congress of Computer Science, Lujan, Argentina, October 9-12, 2023, Revised Selected Papers

2026-03-24T04:15:23Z

Author Pesado, Patricia. editor. Panessi, Walter. editor. (orcid)0009-0006-6299-1462 Fernández, Juan Manuel. editor. (orcid)0000-0001-9291-3066 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-62245-8
Format: Electronic Resources
Availability Online Library~1

Relational and Algebraic Methods in Computer Science 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings

2026-03-24T04:15:23Z

Author Fahrenberg, Uli. editor. Fussner, Wesley. editor. Glück, Roland. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-68279-7
Format: Electronic Resources
Availability Online Library~1

Computer Science and Educational Informatization 5th International Conference, CSEI 2023, Kunming, China, August 11-13, 2023, Revised Selected Papers, Part II

2026-03-24T04:15:23Z

Author Gan, Jianhou. editor. Pan, Yi. editor. (orcid)0000-0002-2766-3096 Zhou, Juxiang. editor. Liu, Dong. editor. Song, Xianhua. editor. (orcid)0000-0002-0111-8559
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-9492-2
Format: Electronic Resources
Availability Online Library~1

Computer Science and Educational Informatization 5th International Conference, CSEI 2023, Kunming, China, August 11-13, 2023, Revised Selected Papers, Part I

2026-03-24T04:15:23Z

Author Gan, Jianhou. editor. Pan, Yi. editor. (orcid)0000-0002-2766-3096 Zhou, Juxiang. editor. Liu, Dong. editor. Song, Xianhua. editor. (orcid)0000-0002-0111-8559
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-9499-1
Format: Electronic Resources
Availability Online Library~1

Computer Science and Education. Computer Science and Technology 18th International Conference, ICCSE 2023, Sepang, Malaysia, December 1-7, 2023, Proceedings, Part I

2026-03-24T04:15:23Z

Author Hong, Wenxing. editor. Kanaparan, Geetha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-0730-0
Format: Electronic Resources
Availability Online Library~1

South African Computer Science and Information Systems Research Trends 45th Annual Conference, SAICSIT 2024, Gqeberha, South Africa, July 15-17, 2024, Proceedings

2026-03-24T04:15:23Z

Author Gerber, Aurona. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64881-6
Format: Electronic Resources
Availability Online Library~1

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings

2026-03-24T04:15:23Z

Author König, Barbara. editor. (orcid)0000-0002-4193-2889 Urbat, Henning. editor. (orcid)0000-0002-3265-7168 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66438-0
Format: Electronic Resources
Availability Online Library~1

SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

2026-03-24T04:15:23Z

Author Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51963-0
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings

2026-03-24T04:15:23Z

Author Du, Dingzhu. editor. Li, Lian. editor. Zhu, En. editor. He, Kun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6893-5
Format: Electronic Resources
Availability Online Library~1

Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

2026-03-24T04:15:23Z

Author Höfner, Peter. editor. Pous, Damien. editor. Struth, Georg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57418-9
Format: Electronic Resources
Availability Online Library~1

Data Science Third International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2017, Changsha, China, September 22-24, 2017, Proceedings, Part I

2026-03-24T04:15:23Z

Author Zou, Beiji. editor. Li, Min. editor. Wang, Hongzhi. editor. Song, Xianhua. editor. (orcid)0000-0002-0111-8559 Xie, Wei. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6385-5
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, Revised Selected Papers

2026-03-24T04:15:23Z

Author Bodlaender, Hans L. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68705-6
Format: Electronic Resources
Availability Online Library~1

Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

2026-03-24T04:15:23Z

Author Mousavi, Mohammad Reza. editor. Sgall, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68953-1
Format: Electronic Resources
Availability Online Library~1

Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings

2026-03-24T04:15:23Z

Author Weil, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58747-9
Format: Electronic Resources
Availability Online Library~1

Data Science Third International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2017, Changsha, China, September 22-24, 2017, Proceedings, Part II

2026-03-24T04:15:23Z

Author Zou, Beiji. editor. Han, Qilong. editor. Sun, Guanglu. editor. (orcid)0000-0003-2589-1164 Jing, Weipeng. editor. Peng, Xiaoning. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6388-6
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science and Discrete Mathematics First International Conference, ICTCSDM 2016, Krishnankoil, India, December 19-21, 2016, Revised Selected Papers

2026-03-24T04:15:23Z

Author Arumugam, S. editor. Bagga, Jay. editor. Beineke, Lowell W. editor. Panda, B.S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64419-6
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papers

2026-03-24T04:15:23Z

Author Heggernes, Pinar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-53536-3
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 41st International Workshop, WG 2015, Garching, Germany, June 17-19, 2015, Revised Papers

2026-03-24T04:15:23Z

Author Mayr, Ernst W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-53174-7
Format: Electronic Resources
Availability Online Library~1

Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

2026-03-24T04:15:23Z

Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-27683-0
Format: Electronic Resources
Availability Online Library~1

Topics in Theoretical Computer Science The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers

2026-03-24T04:15:23Z

Author Hajiaghayi, Mohammed Taghi. editor. Mousavi, Mohammad Reza. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-28678-5
Format: Electronic Resources
Availability Online Library~1

Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings

2026-03-24T04:15:23Z

Author Kulikov, Alexander S. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-34171-2
Format: Electronic Resources
Availability Online Library~1

Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

2026-03-24T04:15:23Z

Author Hasuo, Ichiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40370-0
Format: Electronic Resources
Availability Online Library~1

SOFSEM 2016: Theory and Practice of Computer Science 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings

2026-03-24T04:15:23Z

Author Freivalds, Rūsiņš Mārtiņš. editor. Engels, Gregor. editor. Catania, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49192-8
Format: Electronic Resources
Availability Online Library~1

Computer Science and Education in Computer Science 20th EAI International Conference, CSECS 2024, Sofia, Bulgaria, June 28-30, 2024, Proceedings

2026-03-24T04:15:23Z

Author Zlateva, Tanya. editor. Tuparov, Georgi. editor. (orcid)0000-0003-4162-5106 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-84312-9
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science for Engineering and Education VII

2026-03-24T04:15:23Z

Author Hu, Zhengbing. editor. Yanovsky, Felix. editor. (orcid)0000-0002-9529-5969 Dychka, Ivan. editor. He, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-84228-3
Format: Electronic Resources
Availability Online Library~1

Discrete Mathematics, Probability Theory and Stochastic Processes For Applications in Engineering and Computer Science

2026-03-24T04:15:23Z

Author Brahim Belhaouari, Samir. author. (orcid)0000-0003-2336-0490 Bensmail, Halima. author. Mehrdoust, Farshid. author. (orcid)0000-0002-0774-151X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-80589-9
Format: Electronic Resources
Availability Online Library~1

Frontiers of Computer Science and Information Technology Proceedings of the 2024 3rd Eurasian Conference on Frontiers of Computer Science and Information Technology (FCSIT 2024)

2026-03-24T04:15:23Z

Author Lorenz, Pascal. editor. (orcid)0000-0003-3346-7216 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-88649-2
Format: Electronic Resources
Availability Online Library~1

Advances in Data Science and Optimization of Complex Systems Proceedings of the International Conference on Applied Mathematics and Computer Science - ICAMCS 2024, Volume 1

2026-03-24T04:15:23Z

Author Le Thi, Hoai An. editor. (orcid)0000-0002-2239-2100 Le, Hoai Minh. editor. Nguyen, Quang Thuan. editor. (orcid)0009-0006-2259-8404 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90606-0
Format: Electronic Resources
Availability Online Library~1

Computer and Information Science and Engineering Volume 18

2026-03-24T04:15:23Z

Author Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82606-1
Format: Electronic Resources
Availability Online Library~1

Mathematics and Logics in Computer Science Proceedings of ICMLCS 2024

2026-03-24T04:15:23Z

Author Chaturvedi, Atul. editor. Roy, Bimal Kumar. editor. Tsaban, Boaz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-3256-5
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 3rd International Conference on Computer Science's Complex Systems and Their Applications ICCSA'2024

2026-03-24T04:15:23Z

Author Marir, Toufik. editor. (orcid)0000-0002-8709-0680 Bouzid, Maroua. editor. Benaboud, Rohallah. editor. (orcid)0000-0002-6301-2506 Bourouis, Abdelhabib. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90758-6
Format: Electronic Resources
Availability Online Library~1

Achieving Sustainable Business through AI, Technology Education and Computer Science Volume 1: Computer Science, Business Sustainability, and Competitive Advantage

2026-03-24T04:15:23Z

Author Hamdan, Allam. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70855-8
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and Ubiquitous Computing Proceedings of CSA 2024

2026-03-24T04:15:23Z

Author Park, Ji Su. editor. (orcid)0000-0001-9003-1131 Camacho, David. editor. (orcid)0000-0002-5051-3475 Gritzalis, Stefanos. editor. (orcid)0000-0002-8037-2191 Park, James J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-5693-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 4

2026-03-24T04:15:23Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-03406-9
Format: Electronic Resources
Availability Online Library~1

Advances in Data Science and Optimization of Complex Systems Proceedings of the International Conference on Applied Mathematics and Computer Science - ICAMCS 2024, Volume 2

2026-03-24T04:15:23Z

Author Le Thi, Hoai An. editor. (orcid)0000-0002-2239-2100 Le, Hoai Minh. editor. Nguyen, Quang Thuan. editor. (orcid)0009-0006-2259-8404 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-00267-9
Format: Electronic Resources
Availability Online Library~1

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 3

2026-03-24T04:15:23Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-00239-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering: Emerging Trends and Practices in System Development Proceedings of the 14th Computer Science On-line Conference 2025, Volume 6

2026-03-24T04:15:23Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-00715-5
Format: Electronic Resources
Availability Online Library~1

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science Online Conference 2025, Volume 2

2026-03-24T04:15:23Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-00712-4
Format: Electronic Resources
Availability Online Library~1

Foundation Mathematics for Computer Science A Visual Approach

2026-03-24T04:15:23Z

Author Vince, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66549-3
Format: Electronic Resources
Availability Online Library~1

Cybernetics and Control Theory in Systems Proceedings of 13th Computer Science On-line Conference 2024, Volume 2

2026-03-24T04:15:23Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70300-3
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Algorithm Design for Systems Proceedings of 13th Computer Science Online Conference 2024, Volume 3

2026-03-24T04:15:23Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70518-2
Format: Electronic Resources
Availability Online Library~1

Evolution of STEM-Driven Computer Science Education The Perspective of Big Concepts

2026-03-24T04:15:23Z

Author Štuikys, Vytautas. author. Burbaitė, Renata. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-48235-9
Format: Electronic Resources
Availability Online Library~1

Computer Science in Sport Modeling, Simulation, Data Analysis and Visualization of Sports-Related Data

2026-03-24T04:15:23Z

Author Memmert, Daniel. editor. (orcid)0000-0002-3406-9175 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-68313-2
Format: Electronic Resources
Availability Online Library~1

Computer and Information Science and Engineering Volume 16

2026-03-24T04:15:23Z

Author Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57037-7
Format: Electronic Resources
Availability Online Library~1

Computer Science and Engineering in Health Services 6th EAI International Conference Proceedings, COMPSE 2022, Mexico City, July 28, 2022

2026-03-24T04:15:23Z

Author Marmolejo-Saucedo, José Antonio. editor. Rodríguez-Aguilar, Roman. editor. Vasant, Pandian. editor. Litvinchev, Igor. editor. Retana-Blanco, Brenda M. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34750-4
Format: Electronic Resources
Availability Online Library~1

Proceedings of the International Conference on Computer Science, Electronics and Industrial Engineering (CSEI 2023) Volume 2: Innovations in Industrial Engineering and Robotics in Industry - Bridging the Gap Between Theory and Practical Application

2026-03-24T04:15:23Z

Author Garcia, Marcelo V. editor. (orcid)0000-0002-7138-3913 Gordón-Gallegos, Carlos. editor. (orcid)0000-0002-8031-2658 Salazar-Ramírez, Asier. editor. (orcid)0000-0002-3958-8214 Nuñez, Carlos. editor. (orcid)0000-0003-4338-2099 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70981-4
Format: Electronic Resources
Availability Online Library~1

Innovative Methods in Computer Science and Computational Applications in the Era of Industry 5.0 Proceedings of the 5th International Conference on Artificial Intelligence and Applied Mathematics in Engineering ICAIAME 2023, Volume 1

2026-03-24T04:15:23Z

Author Hemanth, D. Jude. editor. Kose, Utku. editor. (orcid)0000-0002-9652-6415 Patrut, Bogdan. editor. Ersoy, Mevlut. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-56310-2
Format: Electronic Resources
Availability Online Library~1

Innovative Methods in Computer Science and Computational Applications in the Era of Industry 5.0 Proceedings of the 5th International Conference on Artificial Intelligence and Applied Mathematics in Engineering ICAIAME 2023, Volume 2

2026-03-24T04:15:23Z

Author Hemanth, D. Jude. editor. Kose, Utku. editor. (orcid)0000-0002-9652-6415 Patrut, Bogdan. editor. Ersoy, Mevlut. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-56322-5
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 14th International Symposium on Computer Science in Sport (IACSS 2023)

2026-03-24T04:15:23Z

Author Zhang, Hui. editor. (orcid)0000-0003-0601-3905 Lames, Martin. editor. (orcid)0000-0002-0249-2884 Baca, Arnold. editor. (orcid)0000-0002-1704-0290 Wu, Yingcai. editor. (orcid)0000-0002-1119-3237 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2898-5
Format: Electronic Resources
Availability Online Library~1

7th EAI International Conference on Computer Science and Engineering in Health Services COMPSE 2023

2026-03-24T04:15:23Z

Author Marmolejo-Saucedo, José Antonio. editor. De La Mota, Idalia Flores. editor. Rodriguez-Aguilar, Roman. editor. Marmolejo-Saucedo, Liliana. editor. Rodriguez-Aguilar, Miriam. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-67440-2
Format: Electronic Resources
Availability Online Library~1

Software Engineering Methods Design and Application Proceedings of 13th Computer Science Online Conference 2024, Volume 1

2026-03-24T04:15:23Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70285-3
Format: Electronic Resources
Availability Online Library~1

Machine Learning Methods in Systems Proceedings of 13th Computer Science On-line Conference 2024, Vol. 4

2026-03-24T04:15:23Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70595-3
Format: Electronic Resources
Availability Online Library~1

Achieving Sustainable Business Through AI, Technology Education and Computer Science Volume 2: Teaching Technology and Business Sustainability

2026-03-24T04:15:23Z

Author Hamdan, Allam. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71213-5
Format: Electronic Resources
Availability Online Library~1

Achieving Sustainable Business Through AI, Technology Education and Computer Science Volume 3: Business Sustainability and Artificial Intelligence Applications

2026-03-24T04:15:23Z

Author Hamdan, Allam. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-73632-2
Format: Electronic Resources
Availability Online Library~1

Proceedings of the International Conference on Computer Science, Electronics and Industrial Engineering (CSEI 2023) Volume 1: Advances in Computer Sciences - Exploring Innovations at the Intersection of Computing Technologies

2026-03-24T04:15:23Z

Author Garcia, Marcelo V. editor. (orcid)0000-0002-7138-3913 Gordón-Gallegos, Carlos. editor. (orcid)0000-0002-8031-2658 Salazar-Ramírez, Asier. editor. (orcid)0000-0002-3958-8214 Nuñez, Carlos. editor. (orcid)0000-0003-4338-2099 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-69228-4
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and Ubiquitous Computing Proceedings of CUTE/CSA 2023

2026-03-24T04:15:23Z

Author Park, Ji Su. editor. (orcid)0000-0001-9003-1131 Yang, Laurence T. editor. Pan, Yi. editor. (orcid)0000-0002-2766-3096 Park, James J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2447-5
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Systems and Computing Selected Papers from the International Conference on Computer Science and Information Technologies, CSIT 2016, September 6-10 Lviv, Ukraine

2026-03-24T04:15:23Z

Author Shakhovska, Natalya. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45991-2
Format: Electronic Resources
Availability Online Library~1

Software Engineering Trends and Techniques in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 3

2026-03-24T04:15:23Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. Senkerik, Roman. editor. Kominkova Oplatkova, Zuzana. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57141-6
Format: Electronic Resources
Availability Online Library~1

Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings

2026-03-24T04:15:23Z

Author Hřebíček, Jiří. editor. Denzer, Ralf. editor. Schimak, Gerald. editor. Pitner, Tomáš. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89935-0
Format: Electronic Resources
Availability Online Library~1

Informatics in the Future Proceedings of the 11th European Computer Science Summit (ECSS 2015), Vienna, October 2015

2026-03-24T04:15:23Z

Author Werthner, Hannes. editor. van Harmelen, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55735-9
Format: Electronic Resources
Availability Online Library~1

Adventures in Computer Science From Classical Bits to Quantum Bits

2026-03-24T04:15:23Z

Author Moret-Bonillo, Vicente. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64807-1
Format: Electronic Resources
Availability Online Library~1

Applied Computer Science for GGOS Observatories Communication, Coordination and Automation of Future Geodetic Infrastructures

2026-03-24T04:15:23Z

Author Neidhardt, Alexander N.J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40139-3
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and Ubiquitous Computing CSA-CUTE2016

2026-03-24T04:15:23Z

Author Park, James J. (Jong Hyuk). editor. Pan, Yi. editor. Yi, Gangman. editor. Loia, Vincenzo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3023-9
Format: Electronic Resources
Availability Online Library~1

Cybernetics and Mathematics Applications in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 2

2026-03-24T04:15:23Z

Author Silhavy, Radek. editor. Senkerik, Roman. editor. Kominkova Oplatkova, Zuzana. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57264-2
Format: Electronic Resources
Availability Online Library~1

Smart Energy Research. At the Crossroads of Engineering, Economics, and Computer Science 3rd and 4th IFIP TC 12 International Conferences, SmartER Europe 2016 and 2017, Essen, Germany, February 16-18, 2016, and February 9, 2017, Revised Selected Papers

2026-03-24T04:15:23Z

Author Derksen, Christian. editor. Weber, Christoph. editor. (orcid)0000-0003-0197-7991 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66553-5
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Trends in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 1

2026-03-24T04:15:23Z

Author Silhavy, Radek. editor. Senkerik, Roman. editor. Kominkova Oplatkova, Zuzana. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57261-1
Format: Electronic Resources
Availability Online Library~1

Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2015

2026-03-24T04:15:23Z

Author Ao, Sio-Iong. editor. Kim, Haeng Kon. editor. Amouzegar, Mahyar A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-2717-8
Format: Electronic Resources
Availability Online Library~1

Innovations in Computer Science and Engineering Proceedings of the Fourth ICICSE 2016

2026-03-24T04:15:23Z

Author Saini, H. S. editor. Sayal, Rishi. editor. Rawat, Sandeep Singh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3818-1
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 10th International Symposium on Computer Science in Sports (ISCSS)

2026-03-24T04:15:23Z

Author Chung, Paul. editor. Soltoggio, Andrea. editor. Dawson, Christian W. editor. Meng, Qinggang. editor. Pain, Matthew. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-24560-7
Format: Electronic Resources
Availability Online Library~1

Human Language Technology. Challenges for Computer Science and Linguistics 6th Language and Technology Conference, LTC 2013, Poznań, Poland, December 7-9, 2013. Revised Selected Papers

2026-03-24T04:15:23Z

Author Vetulani, Zygmunt. editor. Uszkoreit, Hans. editor. Kubis, Marek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43808-5
Format: Electronic Resources
Availability Online Library~1

Automation Control Theory Perspectives in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 3

2026-03-24T04:15:23Z

Author Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33389-2
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Perspectives in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 1

2026-03-24T04:15:23Z

Author Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33625-1
Format: Electronic Resources
Availability Online Library~1

Software Engineering Perspectives and Application in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 2

2026-03-24T04:15:23Z

Author Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33622-0
Format: Electronic Resources
Availability Online Library~1

Advanced Computational Methods for Knowledge Engineering Proceedings of the 4th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2016, 2-3 May, 2016, Vienna, Austria

2026-03-24T04:15:23Z

Author Nguyen, Thanh Binh. editor. van Do, Tien. editor. An Le Thi, Hoai. editor. Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-38884-7
Format: Electronic Resources
Availability Online Library~1

Information Technology for Management Federated Conference on Computer Science and Information Systems, ISM 2015 and AITM 2015, Lodz, Poland, September 2015, Revised Selected Papers

2026-03-24T04:15:23Z

Author Ziemba, Ewa. editor. (orcid)0000-0002-1084-7497 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30528-8
Format: Electronic Resources
Availability Online Library~1

Innovations in Computer Science and Engineering Proceedings of the Third ICICSE, 2015

2026-03-24T04:15:23Z

Author Saini, H. S. editor. Sayal, Rishi. editor. Rawat, Sandeep. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-0419-3
Format: Electronic Resources
Availability Online Library~1

Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers

2026-03-24T04:15:23Z

Author Kofroň, Jan. editor. Vojnar, Tomáš. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29817-7
Format: Electronic Resources
Availability Online Library~1

Humanizing AI with Personality

2026-03-24T04:15:23Z

Author Karimova, Gulnara Z. author. (orcid)0000-0003-1808-8373 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82327-5
Format: Electronic Resources
Availability Online Library~1

Applied Antifragility in Natural Systems From Principles to Applications

2026-03-24T04:15:23Z

Author Axenie, Cristian. author. (orcid)0000-0001-6184-0546 Bauer, Roman. author. (orcid)0000-0002-7268-9359 López Corona, Oliver. author. West, Jeffrey. author. (orcid)0000-0001-9579-4664 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90391-5
Format: Electronic Resources
Availability Online Library~1

Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization

2026-03-24T04:15:23Z

Author Draheim, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69868-7
Format: Electronic Resources
Availability Online Library~1

Privately and Publicly Verifiable Computing Techniques A Survey

2026-03-24T04:15:23Z

Author Demirel, Denise. author. Schabhüser, Lucas. author. Buchmann, Johannes. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-53798-6
Format: Electronic Resources
Availability Online Library~1

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications

2026-03-24T04:15:23Z

Author O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44561-8
Format: Electronic Resources
Availability Online Library~1

Numbers and Computers

2026-03-24T04:15:23Z

Author Kneusel, Ronald T. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-67482-2
Format: Electronic Resources
Availability Online Library~1

Non-Line-of-Sight Ultraviolet Communications Principles and Technologies

2026-03-24T04:15:23Z

Author Yuan, Renzhi. author. (orcid)0000-0002-9554-9279 Wang, Zhifeng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-8543-8
Format: Electronic Resources
Availability Online Library~1

Reciprocal Recommender Systems

2026-03-24T04:15:23Z

Author Neve, James. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85103-2
Format: Electronic Resources
Availability Online Library~1

Self-restructuring in Fault Tolerant Architecture Processor Arrays with Spares

2026-03-24T04:15:23Z

Author Takanami, Itsuo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-1539-1
Format: Electronic Resources
Availability Online Library~1

Federated Cyber Intelligence Federated Learning for Cybersecurity

2026-03-24T04:15:23Z

Author Tabrizchi, Hamed. author. (orcid)0000-0001-9250-2232 Aghasi, Ali. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-86592-3
Format: Electronic Resources
Availability Online Library~1

Integrated Circuit Design Tape-out Process with Open-Source Tools

2026-03-24T04:15:23Z

Author Ortega Cisneros, Susana. author. Baungarten Leon, Emilio Isaac. author. (orcid)0000-0001-6243-219X Mejia Alvarez, Pedro. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-92108-7
Format: Electronic Resources
Availability Online Library~1

The Mathematical Theory of Semantic Communication

2026-03-24T04:15:23Z

Author Niu, Kai. author. Zhang, Ping. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-5132-0
Format: Electronic Resources
Availability Online Library~1

The AI Act and The Agile Safety Plan

2026-03-24T04:15:23Z

Author Myklebust, Thor. author. (orcid)0000-0002-9283-092X Stålhane, Tor. author. Vatn, Dorthea Mathilde Kristin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-80504-2
Format: Electronic Resources
Availability Online Library~1

The Essential Guide to Prompt Engineering Key Principles, Techniques, Challenges, and Security Risks

2026-03-24T04:15:23Z

Author Geroimenko, Vladimir. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-86206-9
Format: Electronic Resources
Availability Online Library~1

The Python Workbook A Brief Introduction with Exercises and Solutions

2026-03-24T04:15:23Z

Author Stephenson, Ben. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-84560-4
Format: Electronic Resources
Availability Online Library~1

Introduction to Biometrics

2026-03-24T04:15:23Z

Author Jain, Anil K. author. Ross, Arun A. author. (orcid)0000-0001-8850-3013 Nandakumar, Karthik. author. (orcid)0000-0002-6274-9725 Swearingen, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61675-4
Format: Electronic Resources
Availability Online Library~1

Secure Voice Processing Systems against Malicious Voice Attacks

2026-03-24T04:15:23Z

Author Sun, Kun. author. Wang, Shu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44748-8
Format: Electronic Resources
Availability Online Library~1

Deep Learning in Smart eHealth Systems Evaluation Leveraging for Parkinson's Disease

2026-03-24T04:15:23Z

Author Channa, Asma. author. Popescu, Nirvana. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-45003-7
Format: Electronic Resources
Availability Online Library~1

Real-Time Database Systems Fundamentals, Architectures and Applications

2026-03-24T04:15:23Z

Author Mejia Alvarez, Pedro. author. Zavaleta Vazquez, Ricardo J. author. Ortega Cisneros, Susana. author. Gonzalez Torres, Raul E. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44230-8
Format: Electronic Resources
Availability Online Library~1

Securing Unmanned Aerial Vehicle Networks Models and Algorithms

2026-03-24T04:15:23Z

Author Duo, Bin. author. Yuan, Xiaojun. author. Liu, Yifan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-45605-3
Format: Electronic Resources
Availability Online Library~1

Indexing on Non-Volatile Memory Techniques, Lessons Learned and Outlook

2026-03-24T04:15:23Z

Author Huang, Kaisong. author. (orcid)0000-0001-7919-5426 Wang, Tianzheng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-47627-3
Format: Electronic Resources
Availability Online Library~1

Exception Handling Fundamentals and Programming

2026-03-24T04:15:23Z

Author Mejia Alvarez, Pedro. author. Gonzalez Torres, Raul E. author. Ortega Cisneros, Susana. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-50681-9
Format: Electronic Resources
Availability Online Library~1

Applications of Game Theory in Deep Learning

2026-03-24T04:15:23Z

Author Hazra, Tanmoy. author. Anjaria, Kushal. author. (orcid)0000-0001-9034-6977 Bajpai, Aditi. author. Kumari, Akshara. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-54653-2
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Digital Forensics A Guide to Theory, Research and Applications

2026-03-24T04:15:23Z

Author Kävrestad, Joakim. author. Birath, Marcus. author. (orcid)0000-0001-5692-4008 Clarke, Nathan. author. (orcid)0000-0002-3595-3800 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-53649-6
Format: Electronic Resources
Availability Online Library~1

Open-Set Text Recognition Concepts, Framework, and Algorithms

2026-03-24T04:15:23Z

Author Yin, Xu-Cheng. author. (orcid)0000-0003-0023-0220 Yang, Chun. author. (orcid)0000-0002-6297-4500 Liu, Chang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-0361-6
Format: Electronic Resources
Availability Online Library~1

From Unimodal to Multimodal Machine Learning An Overview

2026-03-24T04:15:23Z

Author Škrlj, Blaž. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57016-2
Format: Electronic Resources
Availability Online Library~1

Human Digital Twin Exploring Connectivity and Security Issues

2026-03-24T04:15:23Z

Author Okegbile, Samuel D. author. Cai, Jun. author. Yi, Changyan. author. (orcid)0000-0002-3467-0710 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57534-1
Format: Electronic Resources
Availability Online Library~1

Efficient Online Incentive Mechanism Designs for Wireless Communications

2026-03-24T04:15:23Z

Author Li, Gang. author. Cai, Jun. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-58453-4
Format: Electronic Resources
Availability Online Library~1

Practical Backscatter Communication for the Internet of Things

2026-03-24T04:15:23Z

Author Gong, Wei. author. Liu, Jiangchuan. author. Wu, Weiqi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-59254-6
Format: Electronic Resources
Availability Online Library~1

Encrypted Network Traffic Analysis

2026-03-24T04:15:23Z

Author Cherukuri, Aswani Kumar. author. (orcid)0000-0001-8455-9108 Ikram, Sumaiya Thaseen. author. (orcid)0000-0001-8906-2010 Li, Gang. author. Liu, Xiao. author. (orcid)0000-0001-8400-5754 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-62909-9
Format: Electronic Resources
Availability Online Library~1

Computational Modelling of Robot Personhood and Relationality

2026-03-24T04:15:23Z

Author Clocksin, William F. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44159-2
Format: Electronic Resources
Availability Online Library~1

Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove

2026-03-24T04:15:23Z

Author Morazán, Marco T. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43973-5
Format: Electronic Resources
Availability Online Library~1

Incentive Mechanism for Mobile Crowdsensing A Game-theoretic Approach

2026-03-24T04:15:23Z

Author Li, Youqi. author. (orcid)0000-0003-3867-5997 Li, Fan. author. (orcid)0000-0002-2348-4488 Yang, Song. author. Zhang, Chuan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-6921-0
Format: Electronic Resources
Availability Online Library~1

Continuous Biometric Authentication Systems An Overview

2026-03-24T04:15:23Z

Author Smith-Creasey, Max. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49071-2
Format: Electronic Resources
Availability Online Library~1

Edge Intelligent Computing Systems in Different Domains

2026-03-24T04:15:23Z

Author Picano, Benedetta. author. Fantacci, Romano. author. (orcid)0000-0001-5934-3321 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49472-7
Format: Electronic Resources
Availability Online Library~1

Guide to Computer Network Security

2026-03-24T04:15:23Z

Author Kizza, Joseph Migga. author. (orcid)0009-0001-1564-4277 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-47549-8
Format: Electronic Resources
Availability Online Library~1

Reinforcement Learning for Reconfigurable Intelligent Surfaces Assisted Wireless Communication Systems

2026-03-24T04:15:23Z

Author Faisal, Alice. author. Al-Nahhal, Ibrahim. author. Dobre, Octavia A. author. Ngatched, Telex M. N. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-52554-4
Format: Electronic Resources
Availability Online Library~1

Manifold Learning Model Reduction in Engineering

2026-03-24T04:15:23Z

Author Ryckelynck, David. author. Casenave, Fabien. author. Akkari, Nissrine. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-52764-7
Format: Electronic Resources
Availability Online Library~1

Knowledge-augmented Methods for Natural Language Processing

2026-03-24T04:15:23Z

Author Jiang, Meng. author. (orcid)0000-0002-3009-519X Lin, Bill Yuchen. author. Wang, Shuohang. author. Xu, Yichong. author. Yu, Wenhao. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-0747-8
Format: Electronic Resources
Availability Online Library~1

Programming Heterogeneous Hardware via Managed Runtime Systems

2026-03-24T04:15:23Z

Author Fumero, Juan. author. Stratikopoulos, Athanasios. author. (orcid)0000-0002-0154-4523 Kotselidis, Christos. author. (orcid)0000-0002-8146-3503 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49559-5
Format: Electronic Resources
Availability Online Library~1

Feature Models AI-Driven Design, Analysis and Applications

2026-03-24T04:15:23Z

Author Felfernig, Alexander. author. Falkner, Andreas. author. Benavides, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61874-1
Format: Electronic Resources
Availability Online Library~1

LoRa Localization System Design and Performance Analysis

2026-03-24T04:15:23Z

Author Shi, Zhiguo. author. Gu, Chaojie. author. He, Shibo. author. (orcid)0000-0002-1505-6766 Hu, Kang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-48008-9
Format: Electronic Resources
Availability Online Library~1

Introduction to Computational Social Science Principles and Applications

2026-03-24T04:15:23Z

Author Cioffi-Revilla, Claudio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50131-4
Format: Electronic Resources
Availability Online Library~1

Ethical and Social Issues in the Information Age

2026-03-24T04:15:23Z

Author Kizza, Joseph Migga. author. (orcid)0009-0001-1564-4277 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70712-9
Format: Electronic Resources
Availability Online Library~1

Mobile Information Retrieval

2026-03-24T04:15:23Z

Author Crestani, Fabio. author. Mizzaro, Stefano. author. Scagnetto, Ivan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60777-1
Format: Electronic Resources
Availability Online Library~1

Preference Query Analysis and Optimization

2026-03-24T04:15:23Z

Author Gao, Yunjun. author. Liu, Qing. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6635-1
Format: Electronic Resources
Availability Online Library~1

Facial Kinship Verification A Machine Learning Approach

2026-03-24T04:15:23Z

Author Yan, Haibin. author. Lu, Jiwen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-4484-7
Format: Electronic Resources
Availability Online Library~1

Recurrent Neural Networks for Short-Term Load Forecasting An Overview and Comparative Analysis

2026-03-24T04:15:23Z

Author Bianchi, Filippo Maria. author. Maiorino, Enrico. author. Kampffmeyer, Michael C. author. Rizzi, Antonello. author. Jenssen, Robert. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70338-1
Format: Electronic Resources
Availability Online Library~1

Internet Video Data Streaming Energy-saving and Cost-aware Methods

2026-03-24T04:15:23Z

Author Tian, Ye. author. Zhao, Min. author. Zhang, Xinming. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6523-1
Format: Electronic Resources
Availability Online Library~1

Systems for Big Graph Analytics

2026-03-24T04:15:23Z

Author Yan, Da. author. Tian, Yuanyuan. author. Cheng, James. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58217-7
Format: Electronic Resources
Availability Online Library~1

Resource Management for Internet of Things

2026-03-24T04:15:23Z

Author Delicato, Flávia C. author. Pires, Paulo F. author. Batista, Thais. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54247-8
Format: Electronic Resources
Availability Online Library~1

Combinatorial Testing in Cloud Computing

2026-03-24T04:15:23Z

Author Tsai, Wei-Tek. author. Qi, Guanqiu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-4481-6
Format: Electronic Resources
Availability Online Library~1

State of the Art in Digital Media and Applications

2026-03-24T04:15:23Z

Author Earnshaw, Rae. author. (orcid)0000-0002-5156-7125 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61409-0
Format: Electronic Resources
Availability Online Library~1

Visual Pattern Discovery and Recognition

2026-03-24T04:15:23Z

Author Wang, Hongxing. author. Weng, Chaoqun. author. Yuan, Junsong. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-4840-1
Format: Electronic Resources
Availability Online Library~1

Secure and Trustworthy Transportation Cyber-Physical Systems

2026-03-24T04:15:23Z

Author Sun, Yunchuan. editor. Song, Houbing. editor. (orcid)0000-0003-2631-9223 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3892-1
Format: Electronic Resources
Availability Online Library~1

QoS Prediction in Cloud and Service Computing Approaches and Applications

2026-03-24T04:15:23Z

Author Zhang, Yilei. author. Lyu, Michael R. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-5278-1
Format: Electronic Resources
Availability Online Library~1

The Data Science Design Manual

2026-03-24T04:15:23Z

Author Skiena, Steven S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55444-0
Format: Electronic Resources
Availability Online Library~1

An Introduction to Distance Geometry applied to Molecular Geometry

2026-03-24T04:15:23Z

Author Lavor, Carlile. author. Liberti, Leo. author. A. Lodwick, Weldon. author. Mendonça da Costa, Tiago. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57183-6
Format: Electronic Resources
Availability Online Library~1

Efficient Biometric Indexing and Retrieval Techniques for Large-Scale Systems

2026-03-24T04:15:23Z

Author Kavati, Ilaiah. author. Prasad, Munaga V.N.K. author. Bhagvati, Chakravarthy. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57660-2
Format: Electronic Resources
Availability Online Library~1

Crowd-Powered Mobile Computing and Smart Things

2026-03-24T04:15:23Z

Author Loke, Seng W. author. (orcid)0000-0002-5339-9305 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54436-6
Format: Electronic Resources
Availability Online Library~1

Art, Design and Technology: Collaboration and Implementation

2026-03-24T04:15:23Z

Author Earnshaw, Rae. author. (orcid)0000-0002-5156-7125 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58121-7
Format: Electronic Resources
Availability Online Library~1

Guide to Digital Forensics A Concise and Practical Introduction

2026-03-24T04:15:23Z

Author Kävrestad, Joakim. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67450-6
Format: Electronic Resources
Availability Online Library~1

Research and Development in the Academy, Creative Industries and Applications

2026-03-24T04:15:23Z

Author Earnshaw, Rae. author. (orcid)0000-0002-5156-7125 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54081-8
Format: Electronic Resources
Availability Online Library~1

Failure-Modes-Based Software Reading

2026-03-24T04:15:23Z

Author Zhu, Yang-Ming. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65103-3
Format: Electronic Resources
Availability Online Library~1

Fraud Prevention in Online Digital Advertising

2026-03-24T04:15:23Z

Author Zhu, Xingquan. author. (orcid)0000-0003-4129-9611 Tao, Haicheng. author. Wu, Zhiang. author. Cao, Jie. author. Kalish, Kristopher. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56793-8
Format: Electronic Resources
Availability Online Library~1

Context-Aware Collaborative Prediction

2026-03-24T04:15:23Z

Author Wu, Shu. author. Liu, Qiang. author. Wang, Liang. author. Tan, Tieniu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-5373-3
Format: Electronic Resources
Availability Online Library~1

Information Security of Highly Critical Wireless Networks

2026-03-24T04:15:23Z

Author Martellini, Maurizio. author. Abaimov, Stanislav. author. Gaycken, Sandro. author. Wilson, Clay. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-52905-9
Format: Electronic Resources
Availability Online Library~1

Compilation for Secure Multi-party Computation

2026-03-24T04:15:23Z

Author Büscher, Niklas. author. Katzenbeisser, Stefan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67522-0
Format: Electronic Resources
Availability Online Library~1

Redescription Mining

2026-03-24T04:15:23Z

Author Galbrun, Esther. author. Miettinen, Pauli. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72889-6
Format: Electronic Resources
Availability Online Library~1

Ontology-Based Data Access Leveraging Subjective Reports

2026-03-24T04:15:23Z

Author Simari, Gerardo I. author. Molinaro, Cristian. author. Vanina Martinez, Maria. author. Lukasiewicz, Thomas. author. Predoiu, Livia. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65229-0
Format: Electronic Resources
Availability Online Library~1

Computational Methods for Processing and Analysis of Biological Pathways

2026-03-24T04:15:23Z

Author Bezerianos, Anastasios. author. Dragomir, Andrei. author. Balomenos, Panos. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-53868-6
Format: Electronic Resources
Availability Online Library~1

Discriminative Pattern Discovery on Biological Networks

2026-03-24T04:15:23Z

Author Fassetti, Fabio. author. Rombo, Simona E. author. Serrao, Cristina. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63477-7
Format: Electronic Resources
Availability Online Library~1

Optical Flow and Trajectory Estimation Methods

2026-03-24T04:15:23Z

Author Gibson, Joel. author. Marques, Oge. author. (orcid)0000-0003-4321-2719 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44941-8
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Monitoring Technologies for Older Patients

2026-03-24T04:15:23Z

Author Klonovs, Juris. author. Ahsanul Haque, Mohammad. author. Krüger, Volker. author. Nasrollahi, Kamal. author. Andersen-Ranberg, Karen. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-27024-1
Format: Electronic Resources
Availability Online Library~1

Link Prediction in Social Networks Role of Power Law Distribution

2026-03-24T04:15:23Z

Author Virinchi, Srinivas. author. Mitra, Pabitra. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-28922-9
Format: Electronic Resources
Availability Online Library~1

Matrix and Tensor Factorization Techniques for Recommender Systems

2026-03-24T04:15:23Z

Author Symeonidis, Panagiotis. author. Zioupos, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41357-0
Format: Electronic Resources
Availability Online Library~1

Automated Software and Service Composition A Survey and Evaluating Review

2026-03-24T04:15:23Z

Author Mohr, Felix. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-34168-2
Format: Electronic Resources
Availability Online Library~1

Spatial Network Data Concepts and Techniques for Summarization

2026-03-24T04:15:23Z

Author Oliver, Dev. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39621-7
Format: Electronic Resources
Availability Online Library~1

Spatio-Temporal Recommendation in Social Media

2026-03-24T04:15:23Z

Author Yin, Hongzhi. author. Cui, Bin. author. (orcid)0000-0003-1681-4677 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-0748-4
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence A Methodological Introduction

2026-03-24T04:15:23Z

Author Kruse, Rudolf. author. Borgelt, Christian. author. Braune, Christian. author. Mostaghim, Sanaz. author. Steinbrecher, Matthias. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-7296-3
Format: Electronic Resources
Availability Online Library~1

Digital Watermarking Techniques in Curvelet and Ridgelet Domain

2026-03-24T04:15:23Z

Author Rao, Channapragada Rama Seshagiri. author. Prasad, Munaga V.N.K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-32951-2
Format: Electronic Resources
Availability Online Library~1

Spatio-Temporal Data Streams

2026-03-24T04:15:23Z

Author Galić, Zdravko. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-6575-5
Format: Electronic Resources
Availability Online Library~1

Homomorphic Signature Schemes A Survey

2026-03-24T04:15:23Z

Author Traverso, Giulia. author. Demirel, Denise. author. Buchmann, Johannes. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-32115-8
Format: Electronic Resources
Availability Online Library~1

Innovative Technologies in Everyday Life

2026-03-24T04:15:23Z

Author Marques, Oge. author. (orcid)0000-0003-4321-2719 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45699-7
Format: Electronic Resources
Availability Online Library~1

Digital Image Processing An Algorithmic Introduction Using Java

2026-03-24T04:15:23Z

Author Burger, Wilhelm. author. Burge, Mark J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6684-9
Format: Electronic Resources
Availability Online Library~1

Elements of Cloud Storage Security Concepts, Designs and Optimized Practices

2026-03-24T04:15:23Z

Author Galibus, Tatiana. author. Krasnoproshin, Viktor V. author. (orcid)0000-0002-9463-4869 de Oliveira Albuquerque, Robson. author. Pignaton de Freitas, Edison. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44962-3
Format: Electronic Resources
Availability Online Library~1

Target Detection and Tracking by Bionanosensor Networks

2026-03-24T04:15:23Z

Author Okaie, Yutaka. author. Nakano, Tadashi. author. Hara, Takahiro. author. Nishio, Shojiro. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-2468-9
Format: Electronic Resources
Availability Online Library~1

Android Application Security A Semantics and Context-Aware Approach

2026-03-24T04:15:23Z

Author Zhang, Mu. author. Yin, Heng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47812-8
Format: Electronic Resources
Availability Online Library~1

Exploring the Use of Eye Gaze Controlled Interfaces in Automotive Environments

2026-03-24T04:15:23Z

Author Biswas, Pradipta. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40709-8
Format: Electronic Resources
Availability Online Library~1

Elements of Cloud Computing Security A Survey of Key Practicalities

2026-03-24T04:15:23Z

Author Alani, Mohammed M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41411-9
Format: Electronic Resources
Availability Online Library~1

Ontology-based Procedural Modelling of Traversable Buildings Composed by Arbitrary Shapes

2026-03-24T04:15:23Z

Author Adão, Telmo. author. Magalhães, Luís. author. (orcid)0000-0002-4426-0002 Peres, Emanuel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42372-2
Format: Electronic Resources
Availability Online Library~1

Wireless Health

2026-03-24T04:15:23Z

Author Wang, Honggang. author. Mahmud, Md Shaad. author. Fang, Hua. author. Wang, Chonggang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47946-0
Format: Electronic Resources
Availability Online Library~1

Support Vector Machines and Perceptrons Learning, Optimization, Classification, and Application to Social Networks

2026-03-24T04:15:23Z

Author Murty, M.N. author. Raghava, Rashmi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41063-0
Format: Electronic Resources
Availability Online Library~1

Cross-Cultural Multimedia Computing Semantic and Aesthetic Modeling

2026-03-24T04:15:23Z

Author Dubnov, Shlomo. author. Burns, Kevin. author. Kiyoki, Yasushi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42873-4
Format: Electronic Resources
Availability Online Library~1

Physical Play and Children's Digital Games

2026-03-24T04:15:23Z

Author Madej, Krystina. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42875-8
Format: Electronic Resources
Availability Online Library~1

Physical Layer Security in Random Cellular Networks

2026-03-24T04:15:23Z

Author Wang, Hui-Ming. author. Zheng, Tong-Xing. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-1575-5
Format: Electronic Resources
Availability Online Library~1

Innovative Web Applications for Analyzing Traffic Operations

2026-03-24T04:15:23Z

Author Petrovska, Natasha. author. Stevanovic, Aleksandar. author. Furht, Borko. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33319-9
Format: Electronic Resources
Availability Online Library~1

Cloud Based 5G Wireless Networks

2026-03-24T04:15:23Z

Author Zhang, Yin. author. Chen, Min. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47343-7
Format: Electronic Resources
Availability Online Library~1

Big Data 2.0 Processing Systems A Survey

2026-03-24T04:15:23Z

Author Sakr, Sherif. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-38776-5
Format: Electronic Resources
Availability Online Library~1

Research and Development in Art, Design and Creativity

2026-03-24T04:15:23Z

Author Earnshaw, Rae. author. (orcid)0000-0002-5156-7125 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33005-1
Format: Electronic Resources
Availability Online Library~1

Advances in Computing and Data Sciences 8th International Conference, ICACDS 2024, Vélizy, France, May 9-10, 2024, Revised Selected Papers

2026-03-24T04:15:23Z

Author Singh, Mayank. editor. Tyagi, Vipin. editor. (orcid)0000-0003-4994-3686 Gupta, P. K. editor. Flusser, Jan. editor. (orcid)0000-0003-3747-9214 Ören, Tuncer. editor. (orcid)0000-0001-8202-285X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70906-7
Format: Electronic Resources
Availability Online Library~1

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

2026-03-24T04:15:23Z

Author Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75775-4
Format: Electronic Resources
Availability Online Library~1

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

2026-03-24T04:15:23Z

Author Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75783-9
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing - ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings

2026-03-24T04:15:23Z

Author Anutariya, Chutiporn. editor. (orcid)0000-0001-7101-212X Bonsangue, Marcello M. editor. (orcid)0000-0003-3746-3618 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77019-7
Format: Electronic Resources
Availability Online Library~1

Category Theory Using Haskell An Introduction with Moggi and Yoneda

2026-03-24T04:15:23Z

Author Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-68538-5
Format: Electronic Resources
Availability Online Library~1

Frontiers of Algorithmics 18th International Joint Conference, IJTCS-FAW 2024, Hong Kong SAR, China, July 29-31, 2024, Proceedings

2026-03-24T04:15:23Z

Author Li, Bo. editor. (orcid)0000-0001-7500-8355 Li, Minming. editor. (orcid)0000-0002-7370-6237 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-7752-5
Format: Electronic Resources
Availability Online Library~1

Cultural Perspectives of Human-Centered and Technological Innovations First International Workshop, CPHCATI 2024, Tokyo, Japan, January 27-28, 2024, Proceedings

2026-03-24T04:15:23Z

Author Taratukhin, Victor. editor. (orcid)0000-0002-7619-9269 Levchenko, Artem. editor. (orcid)0000-0003-3871-2620 Kim, Sohyeong. editor. (orcid)0000-0003-3333-1079 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77012-8
Format: Electronic Resources
Availability Online Library~1

Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part I

2026-03-24T04:15:23Z

Author Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-81241-5
Format: Electronic Resources
Availability Online Library~1

Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part II

2026-03-24T04:15:23Z

Author Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-81244-6
Format: Electronic Resources
Availability Online Library~1

Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 Revised Selected Papers, Part III

2026-03-24T04:15:23Z

Author Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-81247-7
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

2026-03-24T04:15:23Z

Author Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82700-6
Format: Electronic Resources
Availability Online Library~1

Optimization and Applications 15th International Conference, OPTIMA 2024, Petrovac, Montenegro, September 16-20, 2024, Revised Selected Papers

2026-03-24T04:15:23Z

Author Olenev, Nicholas. editor. (orcid)0000-0002-1032-2455 Evtushenko, Yuri. editor. (orcid)0000-0002-6094-7808 Jaćimović, Milojica. editor. (orcid)0000-0002-7068-8563 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Malkova, Vlasta. editor. (orcid)0000-0002-7928-512X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-79119-2
Format: Electronic Resources
Availability Online Library~1

Algorithms and Discrete Applied Mathematics 11th International Conference, CALDAM 2025, Coimbatore, India, February 13-15, 2025, Proceedings

2026-03-24T04:15:23Z

Author Gaur, Daya. editor. (orcid)0000-0001-6876-6000 Mathew, Rogers. editor. (orcid)0000-0003-4536-1136 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-83438-7
Format: Electronic Resources
Availability Online Library~1

Machine Translation 20th China Conference, CCMT 2024, Xiamen, China, November 8-10, 2024, Proceedings

2026-03-24T04:15:23Z

Author He, Zhongjun. editor. Chen, Yidong. editor. (orcid)0000-0002-0243-7228 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-2292-4
Format: Electronic Resources
Availability Online Library~1

Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part II

2026-03-24T04:15:23Z

Author Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-1093-8
Format: Electronic Resources
Availability Online Library~1

WALCOM: Algorithms and Computation 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, Proceedings

2026-03-24T04:15:23Z

Author Nakano, Shin-ichi. editor. (orcid)0000-0003-2368-6183 Xiao, Mingyu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-2845-2
Format: Electronic Resources
Availability Online Library~1

Arithmetic of Finite Fields 10th International Workshop, WAIFI 2024, Ottawa, ON, Canada, June 10-12, 2024, Revised Selected Papers

2026-03-24T04:15:23Z

Author Petkova-Nikova, Svetla. editor. (orcid)0000-0003-3133-9261 Panario, Daniel. editor. (orcid)0000-0003-3551-4063 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-81824-0
Format: Electronic Resources
Availability Online Library~1

Evolutionary Computation in Combinatorial Optimization 25th European Conference, EvoCOP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings

2026-03-24T04:15:23Z

Author Krejca, Martin S. editor. (orcid)0000-0002-1765-1219 Wagner, Markus. editor. (orcid)0000-0002-3124-0061 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-86849-8
Format: Electronic Resources
Availability Online Library~1

Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedings

2026-03-24T04:15:23Z

Author Li, Yupeng. editor. Zhang, Yong. editor. (orcid)0000-0002-8730-3711 Xu, Jianliang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4207-6
Format: Electronic Resources
Availability Online Library~1

Machine Learning, Deep Learning, and Blockchain Fourth International Research Conference, IRCICD 2023, Chennai, India, April 28-29, 2023, Proceedings

2026-03-24T04:15:23Z

Author Suriyan, Kannadhasan. editor. (orcid)0000-0001-6443-9993 Sivakumar, Prasanna Devi. editor. Anand, Paavai Gopalan. editor. Palani, Durgadevi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-88237-1
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence in Music, Sound, Art and Design 14th International Conference, EvoMUSART 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings

2026-03-24T04:15:23Z

Author Machado, Penousal. editor. (orcid)0000-0002-6308-6484 Johnson, Colin. editor. (orcid)0000-0002-9236-6581 Santos, Iria. editor. (orcid)0000-0002-4910-3890 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90167-6
Format: Electronic Resources
Availability Online Library~1

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

2026-03-24T04:15:23Z

Author Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85352-4
Format: Electronic Resources
Availability Online Library~1

Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I

2026-03-24T04:15:23Z

Author García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90062-4
Format: Electronic Resources
Availability Online Library~1

Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II

2026-03-24T04:15:23Z

Author García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90065-5
Format: Electronic Resources
Availability Online Library~1

Advances in Explainability, Agents, and Large Language Models First International Workshop on Causality, Agents and Large Models, CALM 2024, Kyoto, Japan, November 18-19, 2024, Proceedings

2026-03-24T04:15:23Z

Author Mualla, Yazan. editor. (orcid)0000-0002-6772-6135 Yu, Liuwen. editor. (orcid)0000-0002-7200-6001 Liga, Davide. editor. (orcid)0000-0003-1124-0299 Tchappi, Igor. editor. (orcid)0000-0001-5437-1817 Markovich, Réka. editor. (orcid)0000-0002-2488-2293
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-89103-8
Format: Electronic Resources
Availability Online Library~1

Modelling and Mining Networks 20th International Workshop, WAW 2025, Vilnius, Lithuania, June 30 - July 3, 2025, Proceedings

2026-03-24T04:15:23Z

Author Bloznelis, Mindaugas. editor. Drungilas, Paulius. editor. Kamiński, Bogumił. editor. Prałat, Paweł. editor. Šileikis, Matas. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-92898-7
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets and Concurrency 46th International Conference, PETRI NETS 2025, Paris, France, June 22-27, 2025, Proceedings

2026-03-24T04:15:23Z

Author Amparore, Elvio. editor. (orcid)0000-0003-1147-8985 Mikulski, Łukasz. editor. (orcid)0000-0002-6711-557X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-94634-9
Format: Electronic Resources
Availability Online Library~1

Integer Programming and Combinatorial Optimization 26th International Conference, IPCO 2025, Baltimore, MD, USA, June 11-13, 2025, Proceedings

2026-03-24T04:15:23Z

Author Megow, Nicole. editor. (orcid)0000-0002-3531-7644 Basu, Amitabh. editor. (orcid)0000-0002-1070-2626 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-93112-3
Format: Electronic Resources
Availability Online Library~1

Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings

2026-03-24T04:15:23Z

Author Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270 Tichy, Matthias. editor. (orcid)0000-0002-9067-3748 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-94706-3
Format: Electronic Resources
Availability Online Library~1

Algorithmic Aspects of Cloud Computing 9th International Symposium, ALGOCLOUD 2024, London, UK, September 2-3, 2024, Revised Selected Papers

2026-03-24T04:15:23Z

Author Doka, Katerina. editor. Tsiropoulou, Eirini Eleni. editor. (orcid)0000-0003-1322-1876 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-94677-6
Format: Electronic Resources
Availability Online Library~1

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings

2026-03-24T04:15:23Z

Author Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790 Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-95908-0
Format: Electronic Resources
Availability Online Library~1

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

2026-03-24T04:15:23Z

Author Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75778-5
Format: Electronic Resources
Availability Online Library~1

Languages of Cooperation and Communication Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Career

2026-03-24T04:15:23Z

Author Jiménez López, M. Dolores. editor. (orcid)0000-0001-5544-3210 Vaszil, György. editor. (orcid)0000-0003-1213-8616 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97274-4
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI

2026-03-24T04:15:23Z

Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97573-8
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II

2026-03-24T04:15:23Z

Author Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97629-2
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV

2026-03-24T04:15:23Z

Author Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97635-3
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II

2026-03-24T04:15:23Z

Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97557-8
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III

2026-03-24T04:15:23Z

Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97564-6
Format: Electronic Resources
Availability Online Library~1

Combinatorial Algorithms 36th International Workshop, IWOCA 2025, Bozeman, MT, USA, July 21-24, 2025, Proceedings

2026-03-24T04:15:23Z

Author Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Zhu, Binhai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-98740-3
Format: Electronic Resources
Availability Online Library~1

Bioinformatics and Computational Biology 17th International Conference, BICOB 2025, San Francisco, CA, USA, March 17, 2025, Proceedings

2026-03-24T04:15:23Z

Author Aldwairi, Tamer. editor. Al-Mubaid, Hisham. editor. Eulenstein, Oliver. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-94039-2
Format: Electronic Resources
Availability Online Library~1

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers

2026-03-24T04:15:23Z

Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-73741-1
Format: Electronic Resources
Availability Online Library~1

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions

2026-03-24T04:15:23Z

Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674 Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-67695-6
Format: Electronic Resources
Availability Online Library~1

Maths For Computing A Beginner's Guide

2026-03-24T04:15:23Z

Author Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-69234-5
Format: Electronic Resources
Availability Online Library~1

Information and Communications Security 26th International Conference, ICICS 2024, Mytilene, Greece, August 26-28, 2024, Proceedings, Part I

2026-03-24T04:15:23Z

Author Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 Xenakis, Christos. editor. (orcid)0000-0001-6718-122X Kalloniatis, Christos. editor. (orcid)0000-0002-8844-2596 Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-8798-2
Format: Electronic Resources
Availability Online Library~1

Information and Communications Security 26th International Conference, ICICS 2024, Mytilene, Greece, August 26-28, 2024, Proceedings, Part II

2026-03-24T04:15:23Z

Author Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 Xenakis, Christos. editor. (orcid)0000-0001-6718-122X Kalloniatis, Christos. editor. (orcid)0000-0002-8844-2596 Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-8801-9
Format: Electronic Resources
Availability Online Library~1

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings

2026-03-24T04:15:23Z

Author Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960 Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-74776-2
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

2026-03-24T04:15:23Z

Author Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82703-7
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence in Communications and Business Analytics 6th International Conference, CICBA 2024, Patna, India, January 23-25, 2024, Revised Selected Papers, Part III

2026-03-24T04:15:23Z

Author Singh, Jyoti Prakash. editor. (orcid)0000-0002-3742-7484 Singh, Maheshwari Prasad. editor. (orcid)0000-0002-4121-4959 Singh, Amit Kumar. editor. (orcid)0000-0001-7359-2068 Mukhopadhyay, Somnath. editor. (orcid)0000-0002-4532-6245 Mandal, Jyotsna K. editor. (orcid)0000-0001-9447-647X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-81336-8
Format: Electronic Resources
Availability Online Library~1

Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part III

2026-03-24T04:15:23Z

Author Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-1195-9
Format: Electronic Resources
Availability Online Library~1

Multi-valued Logic for Decision-Making Under Uncertainty

2026-03-24T04:15:23Z

Author Kagan, Evgeny. author. Rybalov, Alexander. author. Yager, Ronald. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-74762-5
Format: Electronic Resources
Availability Online Library~1

Graphs in Biomedical Image Analysis 6th International Workshop, GRAIL 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024, Proceedings

2026-03-24T04:15:23Z

Author Ahmadi, Seyed-Ahmad. editor. (orcid)0000-0002-7082-0739 Kazi, Anees. editor. (orcid)0000-0003-4528-1670 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-83243-7
Format: Electronic Resources
Availability Online Library~1

Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part I

2026-03-24T04:15:23Z

Author Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-1090-7
Format: Electronic Resources
Availability Online Library~1

Information Theory and Related Fields Festschrift in Memory of Ning Cai

2026-03-24T04:15:23Z

Author Deppe, Christian. editor. (orcid)0000-0002-2265-4887 Winter, Andreas. editor. (orcid)0000-0001-6344-4870 Yeung, Raymond W. editor. (orcid)0000-0003-2688-1056 Boche, Holger. editor. (orcid)0000-0002-8375-8946 Althöfer, Ingo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82014-4
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

2026-03-24T04:15:23Z

Author Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90643-5
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III

2026-03-24T04:15:23Z

Author Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90660-2
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

2026-03-24T04:15:23Z

Author Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90897-2
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

2026-03-24T04:15:23Z

Author Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90653-4
Format: Electronic Resources
Availability Online Library~1

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers

2026-03-24T04:15:23Z

Author Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050 Raad, Azalea. editor. (orcid)0000-0002-2319-3242 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-86695-1
Format: Electronic Resources
Availability Online Library~1

Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part II

2026-03-24T04:15:23Z

Author Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4448-3
Format: Electronic Resources
Availability Online Library~1

Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part I

2026-03-24T04:15:23Z

Author Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. (orcid)0000-0002-7846-0969 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4445-2
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers

2026-03-24T04:15:23Z

Author Țuțu, Ionuț. editor. (orcid)0009-0004-4280-3036 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-88930-1
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Soft Computing 9th International Conference, ICMLSC 2025, Tokyo, Japan, January 24-26, 2025, Revised Selected Papers, Part II

2026-03-24T04:15:23Z

Author Huang, Letian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-6403-0
Format: Electronic Resources
Availability Online Library~1

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part I

2026-03-24T04:15:23Z

Author Tack, Guido. editor. (orcid)0000-0003-3357-6498 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-95973-8
Format: Electronic Resources
Availability Online Library~1

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part II

2026-03-24T04:15:23Z

Author Tack, Guido. editor. (orcid)0000-0003-3357-6498 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-95976-9
Format: Electronic Resources
Availability Online Library~1

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday

2026-03-24T04:15:23Z

Author Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97492-2
Format: Electronic Resources
Availability Online Library~1

Frontiers of Algorithmics 19th International Joint Conference, IJTCS-FAW 2025, Paris, France, June 30 - July 2, 2025, Proceedings

2026-03-24T04:15:23Z

Author Chau, Vincent. editor. (orcid)0000-0002-3362-2063 Dürr, Christoph. editor. (orcid)0000-0001-8103-5333 Li, Minming. editor. (orcid)0000-0002-7370-6237 Lu, Pinyan. editor. (orcid)0009-0005-0569-4122 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-8312-3
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I

2026-03-24T04:15:23Z

Author Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97626-1
Format: Electronic Resources
Availability Online Library~1

Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings

2026-03-24T04:15:23Z

Author Malcher, Andreas. editor. (orcid)0000-0002-9589-5833 Prigioniero, Luca. editor. (orcid)0000-0001-7163-4965 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97100-6
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV

2026-03-24T04:15:23Z

Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97567-7
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V

2026-03-24T04:15:23Z

Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97570-7
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III

2026-03-24T04:15:23Z

Author Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97632-2
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I

2026-03-24T04:15:23Z

Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97554-7
Format: Electronic Resources
Availability Online Library~1

Creative Mathematical Sciences Communication 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, Proceedings

2026-03-24T04:15:23Z

Author Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Schwank, Inge. editor. (orcid)0000-0003-1546-3369 Staub, Jacqueline. editor. (orcid)0009-0004-7864-5711 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-73257-7
Format: Electronic Resources
Availability Online Library~1

WALCOM: Algorithms and Computation 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18-20, 2024, Proceedings

2026-03-24T04:15:23Z

Author Uehara, Ryuhei. editor. (orcid)0000-0003-0895-3765 Yamanaka, Katsuhisa. editor. Yen, Hsu-Chun. editor. (orcid)0000-0002-1764-1950 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-0566-5
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II

2026-03-24T04:15:23Z

Author Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63751-3
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV

2026-03-24T04:15:23Z

Author Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63772-8
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V

2026-03-24T04:15:23Z

Author Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63775-9
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I

2026-03-24T04:15:23Z

Author Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63749-0
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III

2026-03-24T04:15:23Z

Author Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63759-9
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII

2026-03-24T04:15:23Z

Author Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63783-4
Format: Electronic Resources
Availability Online Library~1

Cellular Automata and Discrete Complex Systems 30th IFIP WG 1.5 International Workshop, AUTOMATA 2024, Durham, UK, July 22-24, 2024, Proceedings

2026-03-24T04:15:23Z

Author Gadouleau, Maximilien. editor. (orcid)0000-0003-4701-738X Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-65887-7
Format: Electronic Resources
Availability Online Library~1

Mathematical Software - ICMS 2024 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings

2026-03-24T04:15:23Z

Author Buzzard, Kevin. editor. (orcid)0000-0002-7187-5109 Dickenstein, Alicia. editor. (orcid)0000-0003-4863-4953 Eick, Bettina. editor. (orcid)0000-0003-2884-6545 Leykin, Anton. editor. (orcid)0000-0002-9216-3514 Ren, Yue. editor. (orcid)0000-0002-6005-7119
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64529-7
Format: Electronic Resources
Availability Online Library~1

Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part I

2026-03-24T04:15:23Z

Author Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-7181-3
Format: Electronic Resources
Availability Online Library~1

Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part II

2026-03-24T04:15:23Z

Author Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-7184-4
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings

2026-03-24T04:15:23Z

Author Bowles, Juliana. editor. (orcid)0000-0002-5918-9114 Søndergaard, Harald. editor. (orcid)0000-0002-2352-1883 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71294-4
Format: Electronic Resources
Availability Online Library~1

Extended Reality International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part I

2026-03-24T04:15:23Z

Author De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070 Arpaia, Pasquale. editor. (orcid)0000-0002-5192-5922 Sacco, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71707-9
Format: Electronic Resources
Availability Online Library~1

Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I

2026-03-24T04:15:23Z

Author Wu, Weili. editor. Tong, Guangmo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49190-0
Format: Electronic Resources
Availability Online Library~1

Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II

2026-03-24T04:15:23Z

Author Wu, Weili. editor. Tong, Guangmo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49193-1
Format: Electronic Resources
Availability Online Library~1

Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I

2026-03-24T04:15:23Z

Author Wu, Weili. editor. Guo, Jianxiong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49611-0
Format: Electronic Resources
Availability Online Library~1

Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II

2026-03-24T04:15:23Z

Author Wu, Weili. editor. (orcid)0000-0001-8747-6340 Guo, Jianxiong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49614-1
Format: Electronic Resources
Availability Online Library~1

Advances in Optimization and Applications 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers

2026-03-24T04:15:23Z

Author Olenev, Nicholas. editor. (orcid)0000-0002-1032-2455 Evtushenko, Yuri. editor. (orcid)0000-0002-6094-7808 Jaćimović, Milojica. editor. (orcid)0000-0002-7068-8563 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Malkova, Vlasta. editor. (orcid)0000-0002-7928-512X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-48751-4
Format: Electronic Resources
Availability Online Library~1

Algorithmic Aspects of Cloud Computing 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers

2026-03-24T04:15:23Z

Author Chatzigiannakis, Ioannis. editor. Karydis, Ioannis. editor. (orcid)0000-0002-9470-2729 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49361-4
Format: Electronic Resources
Availability Online Library~1

Advanced Computational Applications of Geometric Algebra First International Conference, ICACGA 2022, Denver, CO, USA, October 2-5, 2022, Proceedings

2026-03-24T04:15:23Z

Author Silva, David W. editor. (orcid)0000-0003-4498-0525 Hitzer, Eckhard. editor. Hildenbrand, Dietmar. editor. (orcid)0000-0002-6384-4345 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34031-4
Format: Electronic Resources
Availability Online Library~1

LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part I

2026-03-24T04:15:23Z

Author Soto, José A. editor. Wiese, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-55598-5
Format: Electronic Resources
Availability Online Library~1