Search Results for Mathematics of Computing.

Advanced Computing in Industrial Mathematics 17th Annual Meeting of the Bulgarian Section of SIAM, December 20-22, 2022, Sofia, Bulgaria, Revised Selected Papers

2026-03-14T22:07:46Z

Author Georgiev, Ivan. editor. Kostadinov, Hristo. editor. Lilkova, Elena. editor. (orcid)0000-0003-2008-710X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-76786-9
Format: Electronic Resources
Availability Online Library~1

Proceedings of Fourth International Conference on Engineering Mathematics and Computing ICEMC 2024

2026-03-14T22:07:46Z

Author Jana, Dipak Kumar. editor. Gyei-Kark, Park. editor. Panja, Prabir. editor. Dostal, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4032-4
Format: Electronic Resources
Availability Online Library~1

Advanced Computing in Industrial Mathematics 18th Annual Meeting of the Bulgarian Section of SIAM December 11-13, 2023, Sofia, Bulgaria. Revised Selected Papers

2026-03-14T22:07:46Z

Author Lilkova, Elena. editor. (orcid)0000-0003-2008-710X Datcheva, Maria. editor. Aleksandrova, Todorka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-96311-7
Format: Electronic Resources
Availability Online Library~1

Advanced Computing in Industrial Mathematics 16th Annual Meeting of the Bulgarian Section of SIAM, December 21-23, 2021, Sofia, Bulgaria, Revised Selected Papers

2026-03-14T22:07:46Z

Author Georgiev, Ivan. editor. Kostadinov, Hristo. editor. Lilkova, Elena. editor. (orcid)0000-0003-2008-710X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-76782-1
Format: Electronic Resources
Availability Online Library~1

Proceedings of the Tenth International Conference on Mathematics and Computing ICMC 2024, Volume 1

2026-03-14T22:07:46Z

Author Giri, Debasis. editor. Vaidya, Jaideep. editor. Ponnusamy, S. editor. (orcid)0000-0002-3699-2713 Lin, Zhiqiang. editor. Joshi, Karuna Pande. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2066-8
Format: Electronic Resources
Availability Online Library~1

Proceedings of the Tenth International Conference on Mathematics and Computing ICMC 2024, Volume 2

2026-03-14T22:07:46Z

Author Giri, Debasis. editor. Vaidya, Jaideep. editor. Ponnusamy, S. editor. (orcid)0000-0002-3699-2713 Lin, Zhiqiang. editor. Joshi, Karuna Pande. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2069-9
Format: Electronic Resources
Availability Online Library~1

Advanced Computing in Industrial Mathematics 15th Annual Meeting of the Bulgarian Section of SIAM, December 15-17, 2020, Sofia, Bulgaria, Revised Selected Papers

2026-03-14T22:07:46Z

Author Georgiev, Ivan. editor. Kostadinov, Hristo. editor. Lilkova, Elena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-20951-2
Format: Electronic Resources
Availability Online Library~1

Proceedings of the Ninth International Conference on Mathematics and Computing ICMC 2023

2026-03-14T22:07:46Z

Author Giri, Debasis. editor. Gollmann, Dieter. editor. Ponnusamy, S. editor. Kouichi, Sakurai. editor. Stanimirović, Predrag S. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-3080-7
Format: Electronic Resources
Availability Online Library~1

Advanced Computing in Industrial Mathematics 14th Annual Meeting of the Bulgarian Section of SIAM, December 17-19, 2019, Sofia, Bulgaria, Revised Selected Papers

2026-03-14T22:07:46Z

Author Georgiev, Ivan. editor. Kostadinov, Hristo. editor. Lilkova, Elena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42010-8
Format: Electronic Resources
Availability Online Library~1

Proceedings of the Third International Conference on Computing, Mathematics and Statistics (iCMS2017) Transcending Boundaries, Embracing Multidisciplinary Diversities

2026-03-14T22:07:46Z

Author Kor, Liew-Kee. editor. Ahmad, Abd-Razak. editor. Idrus, Zanariah. editor. Mansor, Kamarul Ariffin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-7279-7
Format: Electronic Resources
Availability Online Library~1

Advanced Computing in Industrial Mathematics 11th Annual Meeting of the Bulgarian Section of SIAM December 20-22, 2016, Sofia, Bulgaria. Revised Selected Papers

2026-03-14T22:07:46Z

Author Georgiev, Krassimir. editor. Todorov, Michail. editor. Georgiev, Ivan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65530-7
Format: Electronic Resources
Availability Online Library~1

Advanced Computing in Industrial Mathematics Revised Selected Papers of the 10th Annual Meeting of the Bulgarian Section of SIAM December 21-22, 2015, Sofia, Bulgaria

2026-03-14T22:07:46Z

Author Georgiev, Krassimir. editor. Todorov, Michail. editor. Georgiev, Ivan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49544-6
Format: Electronic Resources
Availability Online Library~1

Proceedings of the Conference on Applied Mathematics and Scientific Computing

2026-03-14T22:07:46Z

Author Drmač, Zlatko. editor. Marušić, Miljenko. editor. Tutek, Zvonimir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3197-1
Format: Electronic Resources
Availability Online Library~1

Experimental arithmetic, high speed computing and mathematics. Proceedings of the Fifteenth Symposium in Applied Mathematics of the American Mathematical Society held in Chicago, Illinois, April 12-14, 1962 and Atlantic City, New Jersey, April 16-19, 1962.

2026-03-14T22:07:46Z

Author Symposium in Applied Mathematics (15th : 1962 : Chicago and Atlantic City)
Preferred Shelf Number QA 76 S895 1963
Format: Books
Availability Beytepe Library~2

Mathematical modeling and soft computing in epidemiology

2026-03-14T22:07:46Z

Author Mishra, Jyoti (Professor of Mathematics), editor. Agarwal, Ritu (Professor of Mathematics), editor. Atangana, Abdon, editor.
Preferred Shelf Number RA652.2 .M3
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003038399 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Advanced Mathematics in Computing, Communication and Security.

2026-03-14T22:07:46Z

Author Jadhav, Dipt. Dasre, Narendrakumar. Jadhav, Dipti/Wani, Prita.
Preferred Shelf Number XX(600324.1)
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394307302
Format: Electronic Resources
Availability Online Library~1

Mathematics and computer science for real-world applications

2026-03-14T22:07:46Z

Author Mallik, Biswadip Basu, editor.
Preferred Shelf Number QA76.9 .M35 M38 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394275359
Format: Electronic Resources
Availability Online Library~1

Distributed Computer and Communication Networks 27th International Conference, DCCN 2024, Moscow, Russia, September 23-27, 2024, Revised Selected Papers

2026-03-14T22:07:46Z

Author Vishnevsky, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. (orcid)0000-0002-6368-9680 Kozyrev, Dmitry V. editor. (orcid)0000-0003-0538-8430 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-80853-1
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-14T22:07:46Z

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

Code-Based Cryptography 12th International Workshop, CBCrypto 2024, Zurich, Switzerland, May 25-26, 2024, Revised Selected Papers

2026-03-14T22:07:46Z

Author Weger, Violetta. editor. (orcid)0000-0001-9186-2885 Deneuville, Jean-Christophe. editor. (orcid)0000-0002-5128-6729 Horlemann, Anna-Lena. editor. (orcid)0000-0003-2685-2343 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90229-1
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-14T22:07:46Z

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

Distributed Computer and Communication Networks 27th International Conference, DCCN 2024, Moscow, Russia, September 23-27, 2024, Revised Selected Papers

2026-03-14T22:07:46Z

Author Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. (orcid)0000-0002-6368-9680 Kozyrev, Dmitry V. editor. (orcid)0000-0003-0538-8430 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-89211-0
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-14T22:07:46Z

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

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-14T22:07:46Z

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

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

2026-03-14T22:07:46Z

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

Computational Diffusion MRI 15th International Workshop, CDMRI 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024, Proceedings

2026-03-14T22:07:46Z

Author Chamberland, Maxime. editor. (orcid)0000-0001-7064-0984 Hendriks , Tom. editor. (orcid)0000-0001-6374-4531 Karaman, Muge. editor. (orcid)0000-0002-7080-7307 Mito, Remika. editor. (orcid)0000-0003-3945-2293 Newlin, Nancy. editor. (orcid)0000-0003-3714-4684
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-86920-4
Format: Electronic Resources
Availability Online Library~1

New Trends in Information and Communications Technology Applications 8th National Conference, NTICT 2024, Baghdad, Iraq, December 18-19, 2024, Proceedings

2026-03-14T22:07:46Z

Author Al-Bakry, Abbas M. editor. (orcid)0000-0001-9518-1024 Sahib, Mouayad A. editor. (orcid)0000-0001-5670-0979 Aldhaibani, Jaafar A. editor. (orcid)0000-0002-5592-2294 Al-Shuwaili, Ali N. editor. (orcid)0000-0001-5353-3335 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-87076-7
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-14T22:07:46Z

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-14T22:07:46Z

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 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI

2026-03-14T22:07:46Z

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

A Mathematical Introduction to Data Science

2026-03-14T22:07:46Z

Author Sun, Yi. author. (orcid)0000-0002-2124-4261 Adams, Rod. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-5639-4
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-14T22:07:46Z

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

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-14T22:07:46Z

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

Integrated Uncertainty in Knowledge Modelling and Decision Making 11th International Symposium, IUKM 2025, Ho Chi Minh City, Vietnam, March 17-19, 2025, Proceedings, Part II

2026-03-14T22:07:46Z

Author Huynh, Van-Nam. editor. (orcid)0000-0002-3860-7815 Honda, Katsuhiro. editor. (orcid)0000-0001-9080-5942 Le, Bac. editor. (orcid)0000-0002-4306-6945 Inuiguchi, Masahiro. editor. (orcid)0000-0001-9970-1621 Huynh, Hieu T. editor. (orcid)0000-0002-2097-0704
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4603-6
Format: Electronic Resources
Availability Online Library~1

Integrated Uncertainty in Knowledge Modelling and Decision Making 11th International Symposium, IUKM 2025, Ho Chi Minh City, Vietnam, March 17-19, 2025, Proceedings, Part I

2026-03-14T22:07:46Z

Author Huynh, Van-Nam. editor. (orcid)0000-0002-3860-7815 Honda, Katsuhiro. editor. (orcid)0000-0001-9080-5942 Le, Bac. editor. (orcid)0000-0002-4306-6945 Inuiguchi, Masahiro. editor. (orcid)0000-0001-9970-1621 Huynh, Hieu T. editor. (orcid)0000-0002-2097-0704
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4606-7
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-14T22:07:46Z

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

Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part II

2026-03-14T22:07:46Z

Author Mukhopadhyay, Sourav. editor. Stănică, Pantelimon. editor. (orcid)0000-0002-8622-7120 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-80311-6
Format: Electronic Resources
Availability Online Library~1

Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part I

2026-03-14T22:07:46Z

Author Mukhopadhyay, Sourav. editor. Stănică, Pantelimon. editor. (orcid)0000-0002-8622-7120 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-80308-6
Format: Electronic Resources
Availability Online Library~1

Quantum Computing Architecture and Hardware for Engineers Step by Step

2026-03-14T22:07:46Z

Author Wong, Hiu Yung. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78219-0
Format: Electronic Resources
Availability Online Library~1

Fault-Tolerant Distributed Consensus in Synchronous Networks

2026-03-14T22:07:46Z

Author Choudhury, Ashish. author. Patra, Arpita. author. (orcid)0000-0002-8036-4407 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-80460-1
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-14T22:07:46Z

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

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

2026-03-14T22:07:46Z

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

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

2026-03-14T22:07:46Z

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

Computational Problems in Science and Engineering II

2026-03-14T22:07:46Z

Author Mastorakis, Nikos E. editor. Rudas, Imre J. editor. (orcid)0000-0002-2067-8578 Shmaliy, Yuriy S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78416-3
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-14T22:07:46Z

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

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

2026-03-14T22:07:46Z

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

Advances in Knowledge Discovery and Data Mining 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part IV

2026-03-14T22:07:46Z

Author Wu, Xintao. editor. (orcid)0000-0002-2823-3063 Spiliopoulou, Myra. editor. (orcid)0000-0002-1828-5759 Wang, Can. editor. (orcid)0000-0002-2890-0057 Kumar, Vipin. editor. (orcid)0000-0002-9040-2665 Cao, Longbing. editor. (orcid)0000-0003-1524-9063
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-8183-9
Format: Electronic Resources
Availability Online Library~1

Data Science: Foundations and Applications 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part VI

2026-03-14T22:07:46Z

Author Wu, Xintao. editor. (orcid)0000-0002-2823-3063 Spiliopoulou, Myra. editor. (orcid)0000-0002-1828-5759 Wang, Can. editor. (orcid)0000-0002-2890-0057 Kumar, Vipin. editor. (orcid)0000-0002-9040-2665 Cao, Longbing. editor. (orcid)0000-0003-1524-9063
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-8295-9
Format: Electronic Resources
Availability Online Library~1

Scale Space and Variational Methods in Computer Vision 10th International Conference, SSVM 2025, Dartington, UK, May 18-22, 2025, Proceedings, Part I

2026-03-14T22:07:46Z

Author Bubba, Tatiana A. editor. (orcid)0000-0003-0020-9210 Gaburro, Romina. editor. (orcid)0000-0002-6186-0712 Gazzola, Silvia. editor. (orcid)0000-0001-9588-0896 Papafitsoros, Kostas. editor. (orcid)0000-0001-9691-4576 Pereyra, Marcelo. editor. (orcid)0000-0001-6438-6772
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-92366-1
Format: Electronic Resources
Availability Online Library~1

Scale Space and Variational Methods in Computer Vision 10th International Conference, SSVM 2025, Dartington, UK, May 18-22, 2025, Proceedings, Part II

2026-03-14T22:07:46Z

Author Bubba, Tatiana A. editor. (orcid)0000-0003-0020-9210 Gaburro, Romina. editor. (orcid)0000-0002-6186-0712 Gazzola, Silvia. editor. (orcid)0000-0001-9588-0896 Papafitsoros, Kostas. editor. (orcid)0000-0001-9691-4576 Pereyra, Marcelo. editor. (orcid)0000-0001-6438-6772
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-92369-2
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-14T22:07:46Z

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

Data Science and Big Data Analytics Proceedings of IDBA 2024

2026-03-14T22:07:46Z

Author Mishra, Durgesh. editor. Yang, Xin-She. editor. Unal, Aynur. editor. Jat, Dharm Singh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-9855-1
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-14T22:07:46Z

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

Modelling and Development of Intelligent Systems 9th International Conference, MDIS 2024, Sibiu, Romania, October 17-19, 2024, Revised Selected Papers

2026-03-14T22:07:46Z

Author Simian, Dana. editor. (orcid)0000-0002-5210-1810 Stoica, Laura Florentina. editor. (orcid)0000-0002-4758-6606 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-87386-7
Format: Electronic Resources
Availability Online Library~1

Proceedings of 4th International Conference on Mathematical Modeling and Computational Science ICMMCS 2025 Volume 1

2026-03-14T22:07:46Z

Author Pal, Souvik. editor. (orcid)0000-0001-9884-0160 Rocha, Álvaro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90998-6
Format: Electronic Resources
Availability Online Library~1

Data Science in Applications Towards AI-Driven Approaches

2026-03-14T22:07:46Z

Author Dzemyda, Gintautas. editor. (orcid)0000-0003-2914-1328 Bernatavičienė, Jolita. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-88486-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-14T22:07:46Z

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

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

2026-03-14T22:07:46Z

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

Advances in Knowledge Discovery and Data Mining 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part III

2026-03-14T22:07:46Z

Author Wu, Xintao. editor. (orcid)0000-0002-2823-3063 Spiliopoulou, Myra. editor. (orcid)0000-0002-1828-5759 Wang, Can. editor. (orcid)0000-0002-2890-0057 Kumar, Vipin. editor. (orcid)0000-0002-9040-2665 Cao, Longbing. editor. (orcid)0000-0003-1524-9063
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-8180-8
Format: Electronic Resources
Availability Online Library~1

Artificial Life and Evolutionary Computation 18th Italian Workshop, WIVACE 2024, Namur, Belgium, September 11-13, 2024, Revised Selected Papers

2026-03-14T22:07:46Z

Author Carletti, Timoteo. editor. (orcid)0000-0003-2596-4503 Njougouo, Thierry-Sainclair. editor. (orcid)0000-0001-7706-7674 Tuci, Elio. editor. (orcid)0000-0001-7345-671X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-93631-9
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-14T22:07:46Z

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

Current Problems of Applied Mathematics and Computer Systems CPAMCS 2024

2026-03-14T22:07:46Z

Author Samoylenko, Irina. editor. (orcid)0000-0001-6907-1403 Alikhanov, Anatoly. editor. Kaplun, Dmitrii. editor. Lyakhov, Pavel. editor. (orcid)0000-0003-0487-4779 Apekov, Aslan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-01831-1
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-14T22:07:46Z

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 III

2026-03-14T22:07:46Z

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 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV

2026-03-14T22:07:46Z

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-14T22:07:46Z

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-14T22:07:46Z

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

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-14T22:07:46Z

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

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

2026-03-14T22:07:46Z

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

Algorithmic Decision Theory 8th International Conference, ADT 2024, New Brunswick, NJ, USA, October 14-16, 2024, Proceedings

2026-03-14T22:07:46Z

Author Freeman, Rupert. editor. (orcid)0000-0003-4744-9449 Mattei, Nicholas. editor. (orcid)0000-0002-3569-4335 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-73903-3
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-14T22:07:46Z

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 I

2026-03-14T22:07:46Z

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 III

2026-03-14T22:07:46Z

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

Advanced Control and Intelligent Computing Applications 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part IV

2026-03-14T22:07:46Z

Author Peng, Chen. editor. Wang, Yulong. editor. (orcid)0000-0002-6508-0051 Guan, Yanpeng. editor. Sun, Qing. editor. (orcid)0000-0002-9662-2685 Chen, Zhi. editor. (orcid)0000-0002-9307-4871
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0294-0
Format: Electronic Resources
Availability Online Library~1

Smart Grid and Cyber Security Technologies 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part II

2026-03-14T22:07:46Z

Author Du, Dajun. editor. Jia, Xinchun. editor. Zhao, Wanqing. editor. Li, Xue. editor. Sun, Xin. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0225-4
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-14T22:07:46Z

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

Clean Energy Technology and Energy Storage Systems 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part III

2026-03-14T22:07:46Z

Author Li, Kang. editor. Liu, Kailong. editor. Hu, Yukun. editor. (orcid)0000-0002-7480-4250 Tan, Mao. editor. Zhang, Long. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0232-2
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 15th International Conference, PPAM 2024, Ostrava, Czech Republic, September 8-11, 2024, Revised Selected Papers, Part III

2026-03-14T22:07:46Z

Author Wyrzykowski, Roman. editor. (orcid)0000-0003-0328-2034 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85703-4
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 15th International Conference, PPAM 2024, Ostrava, Czech Republic, September 8-11, 2024, Revised Selected Papers, Part II

2026-03-14T22:07:46Z

Author Wyrzykowski, Roman. editor. (orcid)0000-0003-0328-2034 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85700-3
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 15th International Conference, PPAM 2024, Ostrava, Czech Republic, September 8-11, 2024, Revised Selected Papers, Part I

2026-03-14T22:07:46Z

Author Wyrzykowski, Roman. editor. (orcid)0000-0003-0328-2034 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85697-6
Format: Electronic Resources
Availability Online Library~1

Scalable Uncertainty Management 16th International Conference, SUM 2024, Palermo, Italy, November 27-29, 2024, Proceedings

2026-03-14T22:07:46Z

Author Destercke, Sébastien. editor. (orcid)0000-0003-2026-468X Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735 Sanfilippo, Giuseppe. editor. (orcid)0000-0002-0657-3833 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-76235-2
Format: Electronic Resources
Availability Online Library~1

Category Theory Using Haskell An Introduction with Moggi and Yoneda

2026-03-14T22:07:46Z

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

Data Science: Foundations and Applications 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part VII

2026-03-14T22:07:46Z

Author Wu, Xintao. editor. (orcid)0000-0002-2823-3063 Spiliopoulou, Myra. editor. (orcid)0000-0002-1828-5759 Wang, Can. editor. (orcid)0000-0002-2890-0057 Kumar, Vipin. editor. (orcid)0000-0002-9040-2665 Cao, Longbing. editor. (orcid)0000-0003-1524-9063
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-8298-0
Format: Electronic Resources
Availability Online Library~1

Advances in Knowledge Discovery and Data Mining 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part I

2026-03-14T22:07:46Z

Author Wu, Xintao. editor. (orcid)0000-0002-2823-3063 Spiliopoulou, Myra. editor. (orcid)0000-0002-1828-5759 Wang, Can. editor. (orcid)0000-0002-2890-0057 Kumar, Vipin. editor. (orcid)0000-0002-9040-2665 Cao, Longbing. editor. (orcid)0000-0003-1524-9063
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-8170-9
Format: Electronic Resources
Availability Online Library~1

Advances in Knowledge Discovery and Data Mining 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part II

2026-03-14T22:07:46Z

Author Wu, Xintao. editor. (orcid)0000-0002-2823-3063 Spiliopoulou, Myra. editor. (orcid)0000-0002-1828-5759 Wang, Can. editor. (orcid)0000-0002-2890-0057 Kumar, Vipin. editor. (orcid)0000-0002-9040-2665 Cao, Longbing. editor. (orcid)0000-0003-1524-9063
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-8173-0
Format: Electronic Resources
Availability Online Library~1

Advances in Knowledge Discovery and Data Mining 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part V

2026-03-14T22:07:46Z

Author Wu, Xintao. editor. (orcid)0000-0002-2823-3063 Spiliopoulou, Myra. editor. (orcid)0000-0002-1828-5759 Wang, Can. editor. (orcid)0000-0002-2890-0057 Kumar, Vipin. editor. (orcid)0000-0002-9040-2665 Cao, Longbing. editor. (orcid)0000-0003-1524-9063
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-8186-0
Format: Electronic Resources
Availability Online Library~1

Maths For Computing A Beginner's Guide

2026-03-14T22:07:46Z

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

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

2026-03-14T22:07:46Z

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

Mathematical Modeling and Supercomputer Technologies 24th International Conference, MMST 2024, Nizhni Novgorod, Russia, November 18-21, 2024, Revised Selected Papers

2026-03-14T22:07:46Z

Author Balandin, Dmitry. editor. (orcid)0000-0001-7727-5924 Barkalov, Konstantin. editor. (orcid)0000-0001-5273-2471 Meyerov, Iosif. editor. (orcid)0000-0001-6905-2050 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-80457-1
Format: Electronic Resources
Availability Online Library~1

A First Introduction to Quantum Computing and Information

2026-03-14T22:07:46Z

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

R-Calculus, VI: Finite Injury Priority Method

2026-03-14T22:07:46Z

Author Li, Wei. author. Sui, Yuefei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-5830-2
Format: Electronic Resources
Availability Online Library~1

World Conference of AI-Powered Innovation and Inventive Design 24th IFIP WG 5.4 International TRIZ Future Conference, TFC 2024, Cluj-Napoca, Romania, November 6-8, 2024, Proceedings, Part II

2026-03-14T22:07:46Z

Author Cavallucci, Denis. editor. (orcid)0000-0003-1815-5601 Brad, Stelian. editor. (orcid)0000-0003-1129-3358 Livotov, Pavel. editor. (orcid)0000-0001-8784-1117 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75923-9
Format: Electronic Resources
Availability Online Library~1

World Conference of AI-Powered Innovation and Inventive Design 24th IFIP WG 5.4 International TRIZ Future Conference, TFC 2024, Cluj-Napoca, Romania, November 6-8, 2024, Proceedings, Part I

2026-03-14T22:07:46Z

Author Cavallucci, Denis. editor. (orcid)0000-0003-1815-5601 Brad, Stelian. editor. (orcid)0000-0003-1129-3358 Livotov, Pavel. editor. (orcid)0000-0001-8784-1117 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75919-2
Format: Electronic Resources
Availability Online Library~1

Computer and Communication Engineering 4th International Conference, CCCE 2024, Oslo, Norway, May 24-26, 2024, Revised Selected Papers

2026-03-14T22:07:46Z

Author Neri, Filippo. editor. (orcid)0000-0002-2529-2287 Du, Ke-Lin. editor. (orcid)0000-0002-9136-3952 San-Blas, Angel-Antonio. editor. (orcid)0000-0002-4341-8277 Jiang, Zhiyu. editor. (orcid)0000-0002-6360-8262 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71079-7
Format: Electronic Resources
Availability Online Library~1

Mathematical Modeling, Computational Intelligence Techniques and Renewable Energy Proceedings of the Fourth International Conference, MMCITRE 2024

2026-03-14T22:07:46Z

Author Sahni, Manoj. editor. Merigó, José M. editor. (orcid)0000-0002-4672-6961 Annamaria, Gil-Lafuente. editor. León-Castro, Ernesto. editor. (orcid)0000-0002-0087-2226 Verma, Rajkumar. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-1449-3
Format: Electronic Resources
Availability Online Library~1

Mathematics and Logics in Computer Science Proceedings of ICMLCS 2024

2026-03-14T22:07:46Z

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

Data Science and Big Data Analytics Proceedings of IDBA 2025, Volume 2

2026-03-14T22:07:46Z

Author Mishra, Durgesh. editor. Yang, Xin She. editor. (orcid)0000-0001-8231-5556 Unal, Aynur. editor. Jat, Dharm Singh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-05373-2
Format: Electronic Resources
Availability Online Library~1

Proceedings of 4th International Conference on Mathematical Modeling and Computational Science ICMMCS 2025, Volume 2

2026-03-14T22:07:46Z

Author Pal, Souvik. editor. (orcid)0000-0001-9884-0160 Rocha, Álvaro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-91005-0
Format: Electronic Resources
Availability Online Library~1

Proceedings of 4th International Conference on Mathematical Modeling and Computational Science ICMMCS 2025, Volume 3

2026-03-14T22:07:46Z

Author Pal, Souvik. editor. (orcid)0000-0001-9884-0160 Rocha, Álvaro. editor. (orcid)0000-0002-0750-8187 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-91008-1
Format: Electronic Resources
Availability Online Library~1

Advances in Mathematics for Engineering Sciences

2026-03-14T22:07:46Z

Author Ram, Mangey. editor. (orcid)0000-0002-8221-092X Kharola, Shristi. editor. Kumar, Akshay. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-95693-5
Format: Electronic Resources
Availability Online Library~1

Human cancer diagnosis and detection using exascale computing

2026-03-14T22:07:46Z

Author Joshi, Kapil, editor Gupta, Somil Kumar, editor
Preferred Shelf Number RC270 .H85 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394197705
Format: Electronic Resources
Availability Online Library~1

Intelligence Computation and Applications 14th International Symposium, ISICA 2023, Guangzhou, China, November 18-19, 2023, Revised Selected Papers, Part II

2026-03-14T22:07:46Z

Author Li, Kangshun. editor. (orcid)0000-0002-0429-446X Liu, Yong. editor. (orcid)0000-0002-4663-6739 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-4396-4
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 12th International Conference on Soft Computing for Problem Solving SocProS 2023, Volume 2

2026-03-14T22:07:46Z

Author Pant, Millie. editor. (orcid)0000-0002-7668-7887 Deep, Kusum. editor. (orcid)0000-0001-5821-2696 Nagar, Atulya. editor. (orcid)0000-0001-5549-6435 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-3292-0
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-14T22:07:46Z

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-14T22:07:46Z

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-14T22:07:46Z

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

Next Generation Data Science Second Southwest Data Science Conference, SDSC 2023, Waco, TX, USA, March 24-25, 2023, Revised Selected Papers

2026-03-14T22:07:46Z

Author Han, Henry. editor. (orcid)0000-0003-0273-6719 Baker, Erich. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61816-1
Format: Electronic Resources
Availability Online Library~1

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

2026-03-14T22:07:46Z

Author Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72621-7
Format: Electronic Resources
Availability Online Library~1

New Trends in Information and Communications Technology Applications 7th National Conference, NTICT 2023, Baghdad, Iraq, December 20-21, 2023, Proceedings

2026-03-14T22:07:46Z

Author Al-Bakry, Abbas M. editor. (orcid)0000-0001-9518-1024 Sahib, Mouayad A. editor. Al-Mamory, Safaa O. editor. Aldhaibani, Jaafar A. editor. (orcid)0000-0002-5592-2294 Al-Shuwaili, Ali N. editor. (orcid)0000-0001-5353-3335
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-62814-6
Format: Electronic Resources
Availability Online Library~1

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part I

2026-03-14T22:07:46Z

Author Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-60597-0
Format: Electronic Resources
Availability Online Library~1

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part II

2026-03-14T22:07:46Z

Author Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-60599-4
Format: Electronic Resources
Availability Online Library~1

R-Calculus, V: Description Logics

2026-03-14T22:07:46Z

Author Li, Wei. author. Sui, Yuefei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-6460-4
Format: Electronic Resources
Availability Online Library~1

Progress in Cryptology - INDOCRYPT 2023 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part I

2026-03-14T22:07:46Z

Author Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983 Bhasin, Shivam. editor. Picek, Stjepan. editor. Rebeiro, Chester. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-56232-7
Format: Electronic Resources
Availability Online Library~1

Integer Programming and Combinatorial Optimization 25th International Conference, IPCO 2024, Wroclaw, Poland, July 3-5, 2024, Proceedings

2026-03-14T22:07:46Z

Author Vygen, Jens. editor. Byrka, Jarosław. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-59835-7
Format: Electronic Resources
Availability Online Library~1

Understanding Cryptography From Established Symmetric and Asymmetric Ciphers to Post-Quantum Algorithms

2026-03-14T22:07:46Z

Author Paar, Christof. author. Pelzl, Jan. author. Güneysu, Tim. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-69007-9
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

2026-03-14T22:07:46Z

Author Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-50524-9
Format: Electronic Resources
Availability Online Library~1

Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part IV

2026-03-14T22:07:46Z

Author Yang, De-Nian. editor. (orcid)0000-0002-3765-9293 Xie, Xing. editor. (orcid)0000-0002-8608-8482 Tseng, Vincent S. editor. (orcid)0000-0002-4853-1594 Pei, Jian. editor. (orcid)0000-0002-2200-8711 Huang, Jen-Wei. editor. (orcid)0000-0001-5482-8311
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2238-9
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Next-Generation Data Science Third Southwest Data Science Conference, SDSC 2024, Waco, TX, USA, March 22, 2024, Revised Selected Papers

2026-03-14T22:07:46Z

Author Han, Henry. editor. (orcid)0000-0003-0273-6719 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-67871-4
Format: Electronic Resources
Availability Online Library~1

Evolutionary Computation in Combinatorial Optimization 24th European Conference, EvoCOP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings

2026-03-14T22:07:46Z

Author Stützle, Thomas. editor. 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-57712-3
Format: Electronic Resources
Availability Online Library~1

Operations Research and Enterprise Systems 11th International Conference, ICORES 2022, Virtual Event, February 3-5, 2022, and 12th International Conference, ICORES 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers

2026-03-14T22:07:46Z

Author Liberatore, Federico. editor. (orcid)0000-0001-9900-5108 Wesolkowski, Slawo. editor. Demange, Marc. editor. (orcid)0000-0001-6195-2919 Parlier, Greg H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49662-2
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-14T22:07:46Z

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

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

2026-03-14T22:07:46Z

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

Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part III

2026-03-14T22:07:46Z

Author Yang, De-Nian. editor. (orcid)0000-0002-3765-9293 Xie, Xing. editor. (orcid)0000-0002-8608-8482 Tseng, Vincent S. editor. (orcid)0000-0002-4853-1594 Pei, Jian. editor. (orcid)0000-0002-2200-8711 Huang, Jen-Wei. editor. (orcid)0000-0001-5482-8311
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2259-4
Format: Electronic Resources
Availability Online Library~1

Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part I

2026-03-14T22:07:46Z

Author Pan, Linqiang. editor. (orcid)0000-0002-4554-455X Wang, Yong. editor. (orcid)0000-0001-7670-3958 Lin, Jianqing. editor. (orcid)0000-0002-9332-4746 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2272-3
Format: Electronic Resources
Availability Online Library~1

Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part II

2026-03-14T22:07:46Z

Author Pan, Linqiang. editor. (orcid)0000-0002-4554-455X Wang, Yong. editor. (orcid)0000-0001-7670-3958 Lin, Jianqing. editor. (orcid)0000-0002-9332-4746 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2275-4
Format: Electronic Resources
Availability Online Library~1

Distributed Computer and Communication Networks: Control, Computation, Communications 26th International Conference, DCCN 2023, Moscow, Russia, September 25-29, 2023, Revised Selected Papers

2026-03-14T22:07:46Z

Author Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. (orcid)0000-0002-6368-9680 Kozyrev, Dmitry V. editor. (orcid)0000-0003-0538-8430 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-50482-2
Format: Electronic Resources
Availability Online Library~1

Progress in Cryptology - INDOCRYPT 2023 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part II

2026-03-14T22:07:46Z

Author Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983 Bhasin, Shivam. editor. Picek, Stjepan. editor. Rebeiro, Chester. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-56235-8
Format: Electronic Resources
Availability Online Library~1

Artificial Life and Evolutionary Computation 17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6-8, 2023, Revised Selected Papers

2026-03-14T22:07:46Z

Author Villani, Marco. editor. (orcid)0000-0002-5991-5470 Cagnoni, Stefano. editor. Serra, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57430-6
Format: Electronic Resources
Availability Online Library~1

Infrared Small Target Detection Theory, Methods, and Algorithms.

2026-03-14T22:07:46Z

Author Zhu, Hu. author. Pan, Yushan. author. (orcid)0000-0002-6877-3937 Deng, Lizhen. author. Xu, Guoxia. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-9799-2
Format: Electronic Resources
Availability Online Library~1

Foundations of Vector Retrieval

2026-03-14T22:07:46Z

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

Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part I

2026-03-14T22:07:46Z

Author Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-56852-7
Format: Electronic Resources
Availability Online Library~1

Explainable Artificial Intelligence and Process Mining Applications for Healthcare Third International Workshop, XAI-Healthcare 2023, and First International Workshop, PM4H 2023, Portoroz, Slovenia, June 15, 2023, Proceedings

2026-03-14T22:07:46Z

Author Juarez, Jose M. editor. (orcid)0000-0003-1776-1992 Fernandez-Llatas, Carlos. editor. (orcid)0000-0002-2819-5597 Bielza, Concha. editor. (orcid)0000-0001-7109-2668 Johnson, Owen. editor. (orcid)0000-0003-3998-541X Kocbek, Primoz. editor. (orcid)0000-0002-9064-5085
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-54303-6
Format: Electronic Resources
Availability Online Library~1

Body Area Networks. Smart IoT and Big Data for Intelligent Health Management 18th EAI International Conference, BODYNETS 2024-A, Milan, Italy, February 5-6, 2024, Proceedings

2026-03-14T22:07:46Z

Author Mizmizi, Marouan. editor. (orcid)0000-0003-4157-2577 Magarini, Maurizio. editor. (orcid)0000-0001-9288-0452 Upadhyay, Prabhat Kumar. editor. (orcid)0000-0001-7636-5469 Pierobon, Massimiliano. editor. (orcid)0000-0003-1074-6925 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72524-1
Format: Electronic Resources
Availability Online Library~1

Robotics and Autonomous Systems and Engineering Applications of Computational Intelligence 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part V

2026-03-14T22:07:46Z

Author Gu, Juping. editor. Hu, Fuyuan. editor. Zhou, Huiyu. editor. (orcid)0000-0003-1634-9840 Fei, Zixiang. editor. Yang, Erfu. editor. (orcid)0000-0003-1813-5950
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0313-8
Format: Electronic Resources
Availability Online Library~1

Advancement in Computational Methods for Life Systems Modelling and Simulation 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part I

2026-03-14T22:07:46Z

Author Fei, Minrui. editor. Wu, Hongjie. editor. Niu, Qun. editor. Li, Xin. editor. Zhang, Jingjing. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0188-2
Format: Electronic Resources
Availability Online Library~1

Computational Thinking First Algorithms, Then Code

2026-03-14T22:07:46Z

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

Simulation for a Sustainable Future 11th Congress, EUROSIM 2023, Amsterdam, The Netherlands, July 3-5, 2023, Proceedings, Part I

2026-03-14T22:07:46Z

Author Mujica Mota, Miguel. editor. (orcid)0000-0002-0160-6827 Scala, Paolo. editor. (orcid)0000-0002-8253-3411 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-68435-7
Format: Electronic Resources
Availability Online Library~1

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

2026-03-14T22:07:46Z

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-63778-0
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-14T22:07:46Z

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-14T22:07:46Z

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

Foundation Mathematics for Computer Science A Visual Approach

2026-03-14T22:07:46Z

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

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

2026-03-14T22:07:46Z

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

Intelligence Computation and Applications 14th International Symposium, ISICA 2023, Guangzhou, China, November 18-19, 2023, Revised Selected Papers, Part I

2026-03-14T22:07:46Z

Author Li, Kangshun. editor. (orcid)0000-0002-0429-446X Liu, Yong. editor. (orcid)0000-0002-4663-6739 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-4393-3
Format: Electronic Resources
Availability Online Library~1

High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production 13th International Conference, HPCST 2023, Barnaul, Russia, May 19-20, 2023, Revised Selected Papers

2026-03-14T22:07:46Z

Author Jordan, Vladimir. editor. Tarasov, Ilya. editor. Shurina, Ella. editor. Filimonov, Nikolay. editor. Faerman, Vladimir A. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-51057-1
Format: Electronic Resources
Availability Online Library~1

Mathematical Modeling and Supercomputer Technologies 23rd International Conference, MMST 2023, Nizhny Novgorod, Russia, November 13-16, 2023, Revised Selected Papers

2026-03-14T22:07:46Z

Author Balandin, Dmitry. editor. Barkalov, Konstantin. editor. (orcid)0000-0001-5273-2471 Meyerov, Iosif. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-52470-7
Format: Electronic Resources
Availability Online Library~1

Green, Pervasive, and Cloud Computing 18th International Conference, GPC 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I

2026-03-14T22:07:46Z

Author Jin, Hai. editor. (orcid)0000-0002-3934-7605 Yu, Zhiwen. editor. Yu, Chen. editor. Zhou, Xiaokang. editor. Lu, Zeguang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-9893-7
Format: Electronic Resources
Availability Online Library~1

Green, Pervasive, and Cloud Computing 18th International Conference, GPC 2023, Harbin, China, September 22-24, 2023, Proceedings; Part II

2026-03-14T22:07:46Z

Author Jin, Hai. editor. (orcid)0000-0002-3934-7605 Yu, Zhiwen. editor. Yu, Chen. editor. Zhou, Xiaokang. editor. Lu, Zeguang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-9896-8
Format: Electronic Resources
Availability Online Library~1

Algorithms and Discrete Applied Mathematics 10th International Conference, CALDAM 2024, Bhilai, India, February 15-17, 2024, Proceedings

2026-03-14T22:07:46Z

Author Kalyanasundaram, Subrahmanyam. editor. Maheshwari, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-52213-0
Format: Electronic Resources
Availability Online Library~1

Mathematics and Computation in Music 9th International Conference, MCM 2024, Coimbra, Portugal, June 18-21, 2024, Proceedings

2026-03-14T22:07:46Z

Author Noll, Thomas. editor. (orcid)0000-0001-6701-7104 Montiel, Mariana. editor. Gómez, Francisco. editor. (orcid)0000-0003-3471-3319 Hamido, Omar Costa. editor. Besada, José Luis. editor. (orcid)0000-0002-8469-2889
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-60638-0
Format: Electronic Resources
Availability Online Library~1

Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

2026-03-14T22:07:46Z

Author Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61716-4
Format: Electronic Resources
Availability Online Library~1

KI 2024: Advances in Artificial Intelligence 47th German Conference on AI, Würzburg, Germany, September 25-27, 2024, Proceedings

2026-03-14T22:07:46Z

Author Hotho, Andreas. editor. (orcid)0000-0002-0483-5772 Rudolph, Sebastian. editor. (orcid)0000-0002-1609-2080 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70893-0
Format: Electronic Resources
Availability Online Library~1

Advanced Research in Technologies, Information, Innovation and Sustainability Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part II

2026-03-14T22:07:46Z

Author Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Diaz-Nafria, Jose Maria. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-48855-9
Format: Electronic Resources
Availability Online Library~1

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings

2026-03-14T22:07:46Z

Author Hillston, Jane. editor. (orcid)0000-0003-4914-9255 Soudjani, Sadegh. editor. Waga, Masaki. editor. (orcid)0000-0001-9360-7490 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-68416-6
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

2026-03-14T22:07:46Z

Author Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-50521-8
Format: Electronic Resources
Availability Online Library~1

Methods and Applications for Modeling and Simulation of Complex Systems 23rd Asia Simulation Conference, AsiaSim 2024, Kobe, Japan, September 17-20, 2024, Proceedings

2026-03-14T22:07:46Z

Author Saito, Seiki. editor. Tanaka, Satoshi. editor. Li, Liang. editor. Takatori, Satoshi. editor. Tamura, Yuichi. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-7225-4
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-14T22:07:46Z

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

Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part V

2026-03-14T22:07:46Z

Author Yang, De-Nian. editor. (orcid)0000-0002-3765-9293 Xie, Xing. editor. (orcid)0000-0002-8608-8482 Tseng, Vincent S. editor. (orcid)0000-0002-4853-1594 Pei, Jian. editor. (orcid)0000-0002-2200-8711 Huang, Jen-Wei. editor. (orcid)0000-0001-5482-8311
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2262-4
Format: Electronic Resources
Availability Online Library~1

Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part VI

2026-03-14T22:07:46Z

Author Yang, De-Nian. editor. (orcid)0000-0002-3765-9293 Xie, Xing. editor. (orcid)0000-0002-8608-8482 Tseng, Vincent S. editor. (orcid)0000-0002-4853-1594 Pei, Jian. editor. (orcid)0000-0002-2200-8711 Huang, Jen-Wei. editor. (orcid)0000-0001-5482-8311
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2266-2
Format: Electronic Resources
Availability Online Library~1

Comparative Genomics 21st International Conference, RECOMB-CG 2024, Boston, MA, USA, April 27-28, 2024, Proceedings

2026-03-14T22:07:46Z

Author Scornavacca, Celine. editor. (orcid)0009-0004-0179-9771 Hernández-Rosales, Maribel. editor. (orcid)0000-0003-1878-1223 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-58072-7
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 28th International Conference, DLT 2024, Göttingen, Germany, August 12-16, 2024, Proceedings

2026-03-14T22:07:46Z

Author Day, Joel D. editor. (orcid)0000-0002-3660-7766 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-66159-4
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-14T22:07:46Z

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

Proceedings of the 12th International Conference on Soft Computing for Problem Solving SocProS 2023, Volume 1

2026-03-14T22:07:46Z

Author Pant, Millie. editor. (orcid)0000-0002-7668-7887 Deep, Kusum. editor. (orcid)0000-0001-5821-2696 Nagar, Atulya. editor. (orcid)0000-0001-5549-6435 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-3180-0
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

2026-03-14T22:07:46Z

Author Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57231-9
Format: Electronic Resources
Availability Online Library~1

Ethical and Legal Aspects of Computing A Professional Perspective from Software Engineering

2026-03-14T22:07:46Z

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

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

2026-03-14T22:07:46Z

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

Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part II

2026-03-14T22:07:46Z

Author Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-56855-8
Format: Electronic Resources
Availability Online Library~1

Computer Algebra in Scientific Computing 26th International Workshop, CASC 2024, Rennes, France, September 2-6, 2024, Proceedings

2026-03-14T22:07:46Z

Author Boulier, François. editor. (orcid)0000-0002-6663-719X Mou, Chenqi. editor. (orcid)0000-0002-5070-5928 Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318 Vorozhtsov, Evgenii V. editor. (orcid)0000-0003-2753-8399 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-69070-9
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-14T22:07:46Z

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-14T22:07:46Z

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

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

2026-03-14T22:07:46Z

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

Advanced Research in Technologies, Information, Innovation and Sustainability Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part I

2026-03-14T22:07:46Z

Author Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Diaz-Nafria, Jose Maria. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-48858-0
Format: Electronic Resources
Availability Online Library~1

Advanced Research in Technologies, Information, Innovation and Sustainability Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part III

2026-03-14T22:07:46Z

Author Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Diaz-Nafria, Jose Maria. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-48930-3
Format: Electronic Resources
Availability Online Library~1

Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part I

2026-03-14T22:07:46Z

Author Yang, De-Nian. editor. (orcid)0000-0002-3765-9293 Xie, Xing. editor. (orcid)0000-0002-8608-8482 Tseng, Vincent S. editor. (orcid)0000-0002-4853-1594 Pei, Jian. editor. (orcid)0000-0002-2200-8711 Huang, Jen-Wei. editor. (orcid)0000-0001-5482-8311
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2242-6
Format: Electronic Resources
Availability Online Library~1

Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part II

2026-03-14T22:07:46Z

Author Yang, De-Nian. editor. (orcid)0000-0002-3765-9293 Xie, Xing. editor. (orcid)0000-0002-8608-8482 Tseng, Vincent S. editor. (orcid)0000-0002-4853-1594 Pei, Jian. editor. (orcid)0000-0002-2200-8711 Huang, Jen-Wei. editor. (orcid)0000-0001-5482-8311
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2253-2
Format: Electronic Resources
Availability Online Library~1

Data Science and Machine Learning 21st Australasian Conference, AusDM 2023, Auckland, New Zealand, December 11-13, 2023, Proceedings

2026-03-14T22:07:46Z

Author Benavides-Prado, Diana. editor. Erfani, Sarah. editor. Fournier-Viger, Philippe. editor. Boo, Yee Ling. editor. (orcid)0000-0001-7188-9597 Koh, Yun Sing. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8696-5
Format: Electronic Resources
Availability Online Library~1

Discrete Geometry and Mathematical Morphology Third International Joint Conference, DGMM 2024, Florence, Italy, April 15-18, 2024, Proceedings

2026-03-14T22:07:46Z

Author Brunetti, Sara. author. (orcid)0000-0001-8607-6900 Frosini, Andrea. author. (orcid)0000-0001-7210-2231 Rinaldi, Simone. author. (orcid)0000-0003-3377-5331 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57793-2
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

2026-03-14T22:07:46Z

Author Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57228-9
Format: Electronic Resources
Availability Online Library~1

Applications of Computational Intelligence 6th IEEE Colombian Conference, ColCACI 2023, Bogota, Colombia, July 26-28, 2023, Revised Selected Papers

2026-03-14T22:07:46Z

Author Orjuela-Cañón, Alvaro David. editor. (orcid)0000-0002-2057-7603 Lopez, Jesus A. editor. (orcid)0000-0002-9731-8458 Arias-Londoño, Julián David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-48415-5
Format: Electronic Resources
Availability Online Library~1

Methods and Applications for Modeling and Simulation of Complex Systems 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25-26, 2023, Proceedings, Part I

2026-03-14T22:07:46Z

Author Hassan, Fazilah. editor. (orcid)0000-0003-2992-7355 Sunar, Noorhazirah. editor. Mohd Basri, Mohd Ariffanan. editor. Mahmud, Mohd Saiful Azimi. editor. Ishak, Mohamad Hafis Izran. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7240-1
Format: Electronic Resources
Availability Online Library~1

Data Science and Big Data Analytics Proceedings of IDBA 2023

2026-03-14T22:07:46Z

Author Mishra, Durgesh. editor. Yang, Xin She. editor. (orcid)0000-0001-8231-5556 Unal, Aynur. editor. Jat, Dharm Singh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-9179-2
Format: Electronic Resources
Availability Online Library~1

Methods and Applications for Modeling and Simulation of Complex Systems 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25-26, 2023, Proceedings, Part II

2026-03-14T22:07:46Z

Author Hassan, Fazilah. editor. (orcid)0000-0003-2992-7355 Sunar, Noorhazirah. editor. Mohd Basri, Mohd Ariffanan. editor. Mahmud, Mohd Saiful Azimi. editor. Ishak, Mohamad Hafis Izran. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7243-2
Format: Electronic Resources
Availability Online Library~1

Current Problems of Applied Mathematics and Computer Systems CPAMCS 2023

2026-03-14T22:07:46Z

Author Alikhanov, Anatoly. editor. Tchernykh, Andrei. editor. (orcid)0000-0001-5029-5212 Babenko, Mikhail. editor. (orcid)0000-0001-7066-0061 Samoylenko, Irina. editor. (orcid)0000-0001-6907-1403 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64010-0
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-14T22:07:46Z

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

Advances in Computer Games 18th International Conference, ACG 2023, Virtual Event, November 28-30, 2023, Revised Selected Papers

2026-03-14T22:07:46Z

Author Hartisch, Michael. editor. (orcid)0000-0001-6304-4973 Hsueh, Chu-Hsuan. editor. (orcid)0000-0001-8888-3116 Schaeffer, Jonathan. editor. (orcid)0009-0007-3735-5947 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-54968-7
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets and Concurrency 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings

2026-03-14T22:07:46Z

Author Kristensen, Lars Michael. editor. van der Werf, Jan Martijn. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61433-0
Format: Electronic Resources
Availability Online Library~1

Smart Card Research and Advanced Applications 22nd International Conference, CARDIS 2023, Amsterdam, The Netherlands, November 14-16, 2023, Revised Selected Papers

2026-03-14T22:07:46Z

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

Distributed Computer and Communication Networks 26th International Conference, DCCN 2023, Moscow, Russia, September 25-29, 2023, Revised Selected Papers

2026-03-14T22:07:46Z

Author Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. (orcid)0000-0002-6368-9680 Kozyrev, Dmitry V. editor. (orcid)0000-0003-0538-8430 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61835-2
Format: Electronic Resources
Availability Online Library~1

Visions of DNA Nanotechnology at 40 for the Next 40 A Tribute to Nadrian C. Seeman

2026-03-14T22:07:46Z

Author Jonoska, Nataša. editor. Winfree, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-9891-1
Format: Electronic Resources
Availability Online Library~1

Progress on Pattern Classification, Image Processing and Communications Proceedings of the CORES and IP&C Conferences 2023

2026-03-14T22:07:46Z

Author Burduk, Robert. editor. Choraś, Michał. editor. (orcid)0000-0003-1405-9911 Kozik, Rafał. editor. (orcid)0000-0001-7122-3306 Ksieniewicz, Paweł. editor. (orcid)0000-0001-9578-8395 Marciniak, Tomasz. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-41630-9
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part I

2026-03-14T22:07:46Z

Author Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-37105-9
Format: Electronic Resources
Availability Online Library~1

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings

2026-03-14T22:07:46Z

Author Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-26689-8
Format: Electronic Resources
Availability Online Library~1

Prolog: The Next 50 Years

2026-03-14T22:07:46Z

Author Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35254-6
Format: Electronic Resources
Availability Online Library~1

Flight simulation software : design, development and testing

2026-03-14T22:07:46Z

Author Allerton, David, author.
Preferred Shelf Number TL712.5 .A398 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119738251
Format: Electronic Resources
Availability Online Library~1

Optimization techniques in engineering : advances and applications

2026-03-14T22:07:46Z

Author Khosla, Anita.
Preferred Shelf Number TA342 .O68 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119906391
Format: Electronic Resources
Availability Online Library~1

Mathematics and computer science. Volume 1

2026-03-14T22:07:46Z

Author Ghosh, Sharmistha, editor. Niranjanamurthy, M., editor. Deyasi, Krishanu, editor. Mallik, Biswadip Basu, editor. Das, Santanu, editor.
Preferred Shelf Number QA76.9 .M35 M38 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119879831
Format: Electronic Resources
Availability Online Library~1

Mathematics and computer science. Volume 2

2026-03-14T22:07:46Z

Author Ghosh, Sharmistha, editor.
Preferred Shelf Number QA76.9 .M35 M38 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119896715
Format: Electronic Resources
Availability Online Library~1

Data engineering and data science : concepts and applications

2026-03-14T22:07:46Z

Author Kumar, Kukatlapalli Pradeep, editor.
Preferred Shelf Number T58.5 .D38 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119841999
Format: Electronic Resources
Availability Online Library~1

Fuzzy logic applications in computer science and mathematics

2026-03-14T22:07:46Z

Author Kar, Rahul, editor.
Preferred Shelf Number QA9.64 .F89 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394175130
Format: Electronic Resources
Availability Online Library~1

Handbook of intelligent computing and optimization for sustainable development

2026-03-14T22:07:46Z

Author Manshahia, Mukhdeep Singh, editor.
Preferred Shelf Number Q335
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119792642
Format: Electronic Resources
Availability Online Library~1

Introduction to aerosol modelling : from theory to code

2026-03-14T22:07:46Z

Author Topping, David (Professor), editor. Bane, Michael (Lecturer), editor.
Preferred Shelf Number QC882.42
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119625728
Format: Electronic Resources
Availability Online Library~1

Applied univariate, bivariate, and multivariate statistics using Python

2026-03-14T22:07:46Z

Author Denis, Daniel J., 1974- author.
Preferred Shelf Number QA276.45 .P98 D46 2021
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119578208
Format: Electronic Resources
Availability Online Library~1

Simulation and analysis of mathematical methods in real-time engineering applications

2026-03-14T22:07:46Z

Author Kumar, T. Ananth, editor. Julie, Golden, 1984- editor. Robinson, Y. Harold, editor. Jaisakthi, S. M., editor.
Preferred Shelf Number QA76.9 .S63 S55 2021
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119785521
Format: Electronic Resources
Availability Online Library~1

Mathematical methods in interdisciplinary sciences

2026-03-14T22:07:46Z

Author Chakraverty, Snehashish, editor.
Preferred Shelf Number Q175.32 .M38 M38 2020
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119585640
Format: Electronic Resources
Availability Online Library~1

Machine learning and cognitive computing for mobile communications and wireless networks

2026-03-14T22:07:46Z

Author Singh, Krishna Kant (Telecommunications professor), editor.
Preferred Shelf Number QA76.59 .M334 2020 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119640554
Format: Electronic Resources
Availability Online Library~1

The Electrical Engineering Handbook - Six Volume Set

2026-03-14T22:07:46Z

Author Dorf, Richard C., editor. Taylor and Francis.
Preferred Shelf Number R857 .B54
Electronic Access Click here to view.
Format: Electronic Resources
Availability Online Library~1

Data-driven science and engineering : machine learning, dynamical systems, and control

2026-03-14T22:07:46Z

Author Brunton, Steven L. (Steven Lee), 1984- author. Kutz, Jose Nathan, author.
Preferred Shelf Number TA330 .B78 2019
Electronic Access https://doi.org/10.1017/9781108380690
Format: Electronic Resources
Availability Online Library~1

Recent progress in computational sciences and engineering lectures presented at the International Conference of Computational Methods in Sciences and Engineering 2006 (ICCMSE 2006), Chania, Crete, Greece

2026-03-14T22:07:46Z

Author International Conference of Computational Methods in Sciences and Engineering (2006 : Chania, Greece) Simos, T. E. Maroulis, George.
Preferred Shelf Number Q183.9 .I524 2006 EB
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429070655 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Standard and super-resolution bioimaging data analysis : a primer

2026-03-14T22:07:46Z

Author Wheeler, Ann, 1977- editor. Henriques, Ricardo, 1980- editor.
Preferred Shelf Number R857 .O6
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119096948
Format: Electronic Resources
Availability Online Library~1

Internet of Vehicles. Technologies and Services for Smart Cities 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017, Proceedings

2026-03-14T22:07:46Z

Author Peng, Sheng-Lung. editor. Lee, Guan-Ling. editor. Klette, Reinhard. editor. Hsu, Ching-Hsien. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72329-7
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III

2026-03-14T22:07:46Z

Author Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70700-6
Format: Electronic Resources
Availability Online Library~1

Verifiable Composition of Signature and Encryption A Comprehensive Study of the Design Paradigms

2026-03-14T22:07:46Z

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

Modern Language Models and Computation Theory with Applications

2026-03-14T22:07:46Z

Author Meduna, Alexander. author. Soukup, Ondřej. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63100-4
Format: Electronic Resources
Availability Online Library~1

Algorithms for Sensor Systems 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, Aarhus, Denmark, August 25-26, 2016, Revised Selected Papers

2026-03-14T22:07:46Z

Author Chrobak, Marek. editor. Fernández Anta, Antonio. editor. Gąsieniec, Leszek. editor. Klasing, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-53058-1
Format: Electronic Resources
Availability Online Library~1

Data Analytics for Renewable Energy Integration 4th ECML PKDD Workshop, DARE 2016, Riva del Garda, Italy, September 23, 2016, Revised Selected Papers

2026-03-14T22:07:46Z

Author Woon, Wei Lee. editor. Aung, Zeyar. editor. Kramer, Oliver. editor. (orcid)0000-0001-7607-1700 Madnick, Stuart. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50947-1
Format: Electronic Resources
Availability Online Library~1

Guide to Scientific Computing in C++

2026-03-14T22:07:46Z

Author Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73132-2
Format: Electronic Resources
Availability Online Library~1

Innovative Security Solutions for Information Technology and Communications 10th International Conference, SecITC 2017, Bucharest, Romania, June 8-9, 2017, Revised Selected Papers

2026-03-14T22:07:46Z

Author Farshim, Pooya. editor. Simion, Emil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69284-5
Format: Electronic Resources
Availability Online Library~1

Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II

2026-03-14T22:07:46Z

Author Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59147-6
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings

2026-03-14T22:07:46Z

Author Brijder, Robert. editor. Qian, Lulu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66799-7
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

2026-03-14T22:07:46Z

Author Gopal, T.V. editor. Jäger, Gerhard. editor. Steila, Silvia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55911-7
Format: Electronic Resources
Availability Online Library~1

EVOLVE - A Bridge between Probability, Set Oriented Numerics and Evolutionary Computation VII

2026-03-14T22:07:46Z

Author Emmerich, Michael. editor. Deutz, André. editor. Schütze, Oliver. editor. Legrand, Pierrick. editor. Tantar, Emilia. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49325-1
Format: Electronic Resources
Availability Online Library~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings

2026-03-14T22:07:46Z

Author Antonucci, Alessandro. editor. Cholvy, Laurence. editor. Papini, Odile. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61581-3
Format: Electronic Resources
Availability Online Library~1

The Musical-Mathematical Mind Patterns and Transformations

2026-03-14T22:07:46Z

Author Pareyon, Gabriel. editor. Pina-Romero, Silvia. editor. Agustín-Aquino, Octavio A. editor. Lluis-Puebla, Emilio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47337-6
Format: Electronic Resources
Availability Online Library~1

Advances in Unconventional Computing Volume 1: Theory

2026-03-14T22:07:46Z

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

Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2016

2026-03-14T22:07:46Z

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

Emergent Computation A Festschrift for Selim G. Akl

2026-03-14T22:07:46Z

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

Advances in Unconventional Computing Volume 2: Prototypes, Models and Algorithms

2026-03-14T22:07:46Z

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

Smart Cities Second International Conference, Smart-CT 2017, Málaga, Spain, June 14-16, 2017, Proceedings

2026-03-14T22:07:46Z

Author Alba, Enrique. editor. Chicano, Francisco. editor. Luque, Gabriel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59513-9
Format: Electronic Resources
Availability Online Library~1

Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

2026-03-14T22:07:46Z

Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66320-3
Format: Electronic Resources
Availability Online Library~1

Introduction to Mathematica® with Applications

2026-03-14T22:07:46Z

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

Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

2026-03-14T22:07:46Z

Author Blömer, Johannes. editor. Kotsireas, Ilias S. editor. Kutsia, Temur. editor. (orcid)0000-0003-4084-7380 Simos, Dimitris E. editor. (orcid)0000-0001-8588-1924 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72453-9
Format: Electronic Resources
Availability Online Library~1

Queueing Theory and Network Applications 12th International Conference, QTNA 2017, Qinhuangdao, China, August 21-23, 2017, Proceedings

2026-03-14T22:07:46Z

Author Yue, Wuyi. editor. Li, Quan-Lin. editor. Jin, Shunfu. editor. (orcid)0000-0002-5845-5601 Ma, Zhanyou. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68520-5
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part I

2026-03-14T22:07:46Z

Author Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70694-8
Format: Electronic Resources
Availability Online Library~1

Operations Research and Enterprise Systems 5th International Conference, ICORES 2016, Rome, Italy, February 23-25, 2016, Revised Selected Papers

2026-03-14T22:07:46Z

Author Vitoriano, Begoña. editor. Parlier, Greg H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-53982-9
Format: Electronic Resources
Availability Online Library~1

Scalable Uncertainty Management 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings

2026-03-14T22:07:46Z

Author Moral, Serafín. editor. Pivert, Olivier. editor. Sánchez, Daniel. editor. Marín, Nicolás. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67582-4
Format: Electronic Resources
Availability Online Library~1

On Sets and Graphs Perspectives on Logic and Combinatorics

2026-03-14T22:07:46Z

Author Omodeo, Eugenio G. author. Policriti, Alberto. author. Tomescu, Alexandru I. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54981-1
Format: Electronic Resources
Availability Online Library~1

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

2026-03-14T22:07:46Z

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

Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part I

2026-03-14T22:07:46Z

Author Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59153-7
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks - ISNN 2017 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21-26, 2017, Proceedings, Part II

2026-03-14T22:07:46Z

Author Cong, Fengyu. editor. Leung, Andrew. editor. (orcid)0000-0003-0962-6723 Wei, Qinglai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59081-3
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II

2026-03-14T22:07:46Z

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

Advances in Neural Networks - ISNN 2017 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21-26, 2017, Proceedings, Part I

2026-03-14T22:07:46Z

Author Cong, Fengyu. editor. Leung, Andrew. editor. (orcid)0000-0003-0962-6723 Wei, Qinglai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59072-1
Format: Electronic Resources
Availability Online Library~1

The Mathematical-Function Computation Handbook Programming Using the MathCW Portable Software Library

2026-03-14T22:07:46Z

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

Computer Games 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers

2026-03-14T22:07:46Z

Author Cazenave, Tristan. editor. Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 Edelkamp, Stefan. editor. Schiffel, Stephan. editor. Thielscher, Michael. editor. (orcid)0000-0003-0885-2702
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57969-6
Format: Electronic Resources
Availability Online Library~1

High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers

2026-03-14T22:07:46Z

Author Dutra, Inês. editor. Camacho, Rui. editor. Barbosa, Jorge. editor. Marques, Osni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61982-8
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

2026-03-14T22:07:46Z

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

The Incomputable Journeys Beyond the Turing Barrier

2026-03-14T22:07:46Z

Author Cooper, S. Barry. editor. Soskova, Mariya I. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43669-2
Format: Electronic Resources
Availability Online Library~1

Mathematics and Computing Third International Conference, ICMC 2017, Haldia, India, January 17-21, 2017, Proceedings

2026-03-14T22:07:46Z

Author Giri, Debasis. editor. Mohapatra, Ram N. editor. Begehr, Heinrich. editor. Obaidat, Mohammad S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-4642-1
Format: Electronic Resources
Availability Online Library~1

BNAIC 2016: Artificial Intelligence 28th Benelux Conference on Artificial Intelligence, Amsterdam, The Netherlands, November 10-11, 2016, Revised Selected Papers

2026-03-14T22:07:46Z

Author Bosse, Tibor. editor. Bredeweg, Bert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67468-1
Format: Electronic Resources
Availability Online Library~1

Fluid Dynamics Theory, Computation, and Numerical Simulation

2026-03-14T22:07:46Z

Author Pozrikidis, C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4899-7991-9
Format: Electronic Resources
Availability Online Library~1

Geometric Science of Information Third International Conference, GSI 2017, Paris, France, November 7-9, 2017, Proceedings

2026-03-14T22:07:46Z

Author Nielsen, Frank. editor. (orcid)0000-0001-5728-0726 Barbaresco, Frédéric. editor. (orcid)0000-0003-3664-3609 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68445-1
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers

2026-03-14T22:07:46Z

Author Rossi, Federico. editor. Piotto, Stefano. editor. Concilio, Simona. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57711-1
Format: Electronic Resources
Availability Online Library~1

Dictionary of Mathematical Geosciences With Historical Notes

2026-03-14T22:07:46Z

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

Privately and Publicly Verifiable Computing Techniques A Survey

2026-03-14T22:07:46Z

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

Space in Weak Propositional Proof Systems

2026-03-14T22:07:46Z

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

Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers

2026-03-14T22:07:46Z

Author Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71255-0
Format: Electronic Resources
Availability Online Library~1

Task Scheduling for Multi-core and Parallel Architectures Challenges, Solutions and Perspectives

2026-03-14T22:07:46Z

Author Chen, Quan. author. Guo, Minyi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6238-4
Format: Electronic Resources
Availability Online Library~1

Applied univariate, bivariate, and multivariate statistics

2026-03-14T22:07:46Z

Author Denis, Daniel J., 1974-
Preferred Shelf Number QA279
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119583004
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I

2026-03-14T22:07:46Z

Author Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Dongarra, Jack. editor. Karczewski, Konrad. editor. Kitowski, Jacek. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-32149-3
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Life, Evolutionary Computation and Systems Chemistry 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised Selected Papers

2026-03-14T22:07:46Z

Author Rossi, Federico. editor. Mavelli, Fabio. editor. Stano, Pasquale. editor. Caivano, Danilo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-32695-5
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings

2026-03-14T22:07:46Z

Author Rondelez, Yannick. editor. Woods, Damien. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43994-5
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks - ISNN 2016 13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016, Proceedings

2026-03-14T22:07:46Z

Author Cheng, Long. editor. Liu, Qingshan. editor. Ronzhin, Andrey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40663-3
Format: Electronic Resources
Availability Online Library~1

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

2026-03-14T22:07:46Z

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

Principles and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings

2026-03-14T22:07:46Z

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

Boolean Functions and Their Applications in Cryptography

2026-03-14T22:07:46Z

Author Wu, Chuan-Kun. author. Feng, Dengguo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-48865-2
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II

2026-03-14T22:07:46Z

Author Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Dongarra, Jack. editor. Karczewski, Konrad. editor. Kitowski, Jacek. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-32152-3
Format: Electronic Resources
Availability Online Library~1

Compression-Based Methods of Statistical Analysis and Prediction of Time Series

2026-03-14T22:07:46Z

Author Ryabko, Boris. author. Astola, Jaakko. author. Malyutov, Mikhail. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-32253-7
Format: Electronic Resources
Availability Online Library~1

Information Systems Design and Intelligent Applications Proceedings of Third International Conference INDIA 2016, Volume 2

2026-03-14T22:07:46Z

Author Satapathy, Suresh Chandra. editor. Mandal, Jyotsna Kumar. editor. Udgata, Siba K. editor. Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-81-322-2752-6
Format: Electronic Resources
Availability Online Library~1

Finitely Supported Mathematics An Introduction

2026-03-14T22:07:46Z

Author Alexandru, Andrei. author. Ciobanu, Gabriel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42282-4
Format: Electronic Resources
Availability Online Library~1

Linear Algebra for Computational Sciences and Engineering

2026-03-14T22:07:46Z

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

Relaxed Abduction Robust Information Interpretation for Industrial Applications

2026-03-14T22:07:46Z

Author Hubauer, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-14407-4
Format: Electronic Resources
Availability Online Library~1

Parallelism in Matrix Computations

2026-03-14T22:07:46Z

Author Gallopoulos, Efstratios. author. Philippe, Bernard. author. Sameh, Ahmed H. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-94-017-7188-7
Format: Electronic Resources
Availability Online Library~1

Mathematical Aspects of Computer and Information Sciences 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers

2026-03-14T22:07:46Z

Author Kotsireas, Ilias S. editor. (orcid)0000-0003-2126-8383 Rump, Siegfried M. editor. Yap, Chee K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-32859-1
Format: Electronic Resources
Availability Online Library~1

Computer Games Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers

2026-03-14T22:07:46Z

Author Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374 Winands, Mark H.M. editor. Edelkamp, Stefan. editor. Schiffel, Stephan. editor. Thielscher, Michael. editor. (orcid)0000-0003-0885-2702
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39402-2
Format: Electronic Resources
Availability Online Library~1

Cool Math for Hot Music A First Introduction to Mathematics for Music Theorists

2026-03-14T22:07:46Z

Author Mazzola, Guerino. author. Mannone, Maria. author. Pang, Yan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42937-3
Format: Electronic Resources
Availability Online Library~1

Random-Like Bi-level Decision Making

2026-03-14T22:07:46Z

Author Xu, Jiuping. author. (orcid)0000-0003-3756-3969 Li, Zongmin. author. Tao, Zhimiao. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-1768-1
Format: Electronic Resources
Availability Online Library~1

Applications of Evolutionary Computation 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I

2026-03-14T22:07:46Z

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

From Curve Fitting to Machine Learning An Illustrative Guide to Scientific Data Analysis and Computational Intelligence

2026-03-14T22:07:46Z

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

An Introduction to Data Analysis using Aggregation Functions in R

2026-03-14T22:07:46Z

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

High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers

2026-03-14T22:07:46Z

Author Kozubek, Tomáš. editor. Blaheta, Radim. editor. Šístek, Jakub. editor. Rozložník, Miroslav. editor. Čermák, Martin. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40361-8
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - ASIACRYPT 2016 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II

2026-03-14T22:07:46Z

Author Cheon, Jung Hee. editor. Takagi, Tsuyoshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-53890-6
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Science XXVII

2026-03-14T22:07:46Z

Author Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-50412-3
Format: Electronic Resources
Availability Online Library~1

Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

2026-03-14T22:07:46Z

Author Wittevrongel, Sabine. editor. Phung-Duc, Tuan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43904-4
Format: Electronic Resources
Availability Online Library~1

Information Systems Design and Intelligent Applications Proceedings of Third International Conference INDIA 2016, Volume 3

2026-03-14T22:07:46Z

Author Satapathy, Suresh Chandra. editor. Mandal, Jyotsna Kumar. editor. (orcid)0000-0001-9447-647X Udgata, Siba K. editor. Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-81-322-2757-1
Format: Electronic Resources
Availability Online Library~1

Index-aware Model Order Reduction Methods Applications to Differential-Algebraic Equations

2026-03-14T22:07:46Z

Author Banagaaya, N. author. Alì, Giuseppe. author. Schilders, Wil H.A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.2991/978-94-6239-189-5
Format: Electronic Resources
Availability Online Library~1

Turing Computability Theory and Applications

2026-03-14T22:07:46Z

Author Soare, Robert I. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-31933-4
Format: Electronic Resources
Availability Online Library~1

Mathematical Analysis and the Mathematics of Computation

2026-03-14T22:07:46Z

Author Römisch, Werner. author. Zeugmann, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42755-3
Format: Electronic Resources
Availability Online Library~1

All About Music The Complete Ontology: Realities, Semiotics, Communication, and Embodiment

2026-03-14T22:07:46Z

Author Mazzola, Guerino. author. Mannone, Maria. author. Pang, Yan. author. O'Brien, Margaret. author. Torunsky, Nathan. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47334-5
Format: Electronic Resources
Availability Online Library~1

Matrix and Tensor Factorization Techniques for Recommender Systems

2026-03-14T22:07:46Z

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

Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings

2026-03-14T22:07:46Z

Author Beckmann, Arnold. editor. Bienvenu, Laurent. editor. Jonoska, Nataša. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40189-8
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - ASIACRYPT 2016 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part I

2026-03-14T22:07:46Z

Author Cheon, Jung Hee. editor. Takagi, Tsuyoshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-53887-6
Format: Electronic Resources
Availability Online Library~1

Algorithms for Data Science

2026-03-14T22:07:46Z

Author Steele, Brian. author. Chandler, John. author. Reddy, Swarna. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45797-0
Format: Electronic Resources
Availability Online Library~1

Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs

2026-03-14T22:07:46Z

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

Theory and Applications of Satisfiability Testing - SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

2026-03-14T22:07:46Z

Author Creignou, Nadia. editor. Le Berre, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40970-2
Format: Electronic Resources
Availability Online Library~1

Cryptography Made Simple

2026-03-14T22:07:46Z

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

Music Through Fourier Space Discrete Fourier Transform in Music Theory

2026-03-14T22:07:46Z

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

Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2015

2026-03-14T22:07:46Z

Author Yang, Gi-Chul. editor. Ao, Sio-Iong. editor. Huang, Xu. editor. Castillo, Oscar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-0551-0
Format: Electronic Resources
Availability Online Library~1

Evolutionary and Biologically Inspired Music, Sound, Art and Design 5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings

2026-03-14T22:07:46Z

Author Johnson, Colin. editor. Ciesielski, Vic. editor. Correia, João. editor. Machado, Penousal. editor. (orcid)0000-0002-6308-6484 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-31008-4
Format: Electronic Resources
Availability Online Library~1

Information Systems Design and Intelligent Applications Proceedings of Third International Conference INDIA 2016, Volume 1

2026-03-14T22:07:46Z

Author Satapathy, Suresh Chandra. editor. Mandal, Jyotsna Kumar. editor. Udgata, Siba K. editor. Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-81-322-2755-7
Format: Electronic Resources
Availability Online Library~1

Applications of Evolutionary Computation 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part II

2026-03-14T22:07:46Z

Author Squillero, Giovanni. editor. Burelli, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-31153-1
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

2026-03-14T22:07:46Z

Author Olivetti, Nicola. editor. Tiwari, Ashish. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40229-1
Format: Electronic Resources
Availability Online Library~1

Recent Developments and New Direction in Soft-Computing Foundations and Applications Selected Papers from the 4th World Conference on Soft Computing, May 25-27, 2014, Berkeley

2026-03-14T22:07:46Z

Author Zadeh, Lotfi A. editor. Abbasov, Ali M. editor. Yager, Ronald R. editor. Shahbazova, Shahnaz N. editor. Reformat, Marek Z. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-32229-2
Format: Electronic Resources
Availability Online Library~1