Search Results for Theory of Computation.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dTheory$002bof$002bComputation.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list2026-04-07T00:45:21ZTheory of computationent://SD_ILS/0/SD_ILS:2993912026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Tourlakis, George J.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://proquest.safaribooksonline.com/?fpi=9781118014783">Available by subscription from Safari Books Online</a>
Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=837606">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=837606</a>
Wiley <a href="http://dx.doi.org/10.1002/9781118315361">http://dx.doi.org/10.1002/9781118315361</a>
<a href="http://site.ebrary.com/lib/alltitles/Doc?id=10560654">http://site.ebrary.com/lib/alltitles/Doc?id=10560654</a>
ebrary <a href="http://site.ebrary.com/id/10560654">http://site.ebrary.com/id/10560654</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Computationent://SD_ILS/0/SD_ILS:1754342026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Kozen, Dexter C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-477-5">http://dx.doi.org/10.1007/1-84628-477-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical theory of computationent://SD_ILS/0/SD_ILS:400602026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Manna, Zohar.<br/>Preferred Shelf Number QA 76.6 M356 1974<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Elements of Computation Theoryent://SD_ILS/0/SD_ILS:1759872026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Singh, Arindama. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-497-3">http://dx.doi.org/10.1007/978-1-84882-497-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The theory of computationent://SD_ILS/0/SD_ILS:746142026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Moret, Bernard M.<br/>Preferred Shelf Number QA 267 M67 1998<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Introduction to the theory of computationent://SD_ILS/0/SD_ILS:3134572026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Sipser, Michael.<br/>Preferred Shelf Number QA267 S56 2013<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Theory and computation of electromagnetic fieldsent://SD_ILS/0/SD_ILS:2498742026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Jin, Jian-Ming, 1962-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5628376">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5628376</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and computation of electromagnetic fieldsent://SD_ILS/0/SD_ILS:2683902026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Jin, Jian-Ming.<br/>Preferred Shelf Number QC665.E4 J56 2010<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Theory of automata languages and computationent://SD_ILS/0/SD_ILS:3860072026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Kumar, Rajendra.<br/>Preferred Shelf Number QA267 K86 2010<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Theory and Computation of Hydrodynamic Stabilityent://SD_ILS/0/SD_ILS:2382382026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Criminale, W. O.. Jackson, T. L.. Joslin, R. D..<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511550317">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Elements of the theory of computationent://SD_ILS/0/SD_ILS:1241252026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Lewis, Harry R. Papadimitriou, Christos H.<br/>Preferred Shelf Number QA267 .L49 1998<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Introduction to the theory of computationent://SD_ILS/0/SD_ILS:279612026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Engeler, Erwin.<br/>Preferred Shelf Number QA 267.5.S4 E53 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The Language of Design Theory and Computationent://SD_ILS/0/SD_ILS:1758772026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Dong, Andy. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-021-0">http://dx.doi.org/10.1007/978-1-84882-021-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The computation and theory of optimal controlent://SD_ILS/0/SD_ILS:2568502026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Dyer, Peter. McReynolds, Stephen R.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780122262500">http://www.sciencedirect.com/science/book/9780122262500</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Computation Automata, Formal Languages, Computation and Complexityent://SD_ILS/0/SD_ILS:6077042026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Chowdhary, K.R. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-6234-7">https://doi.org/10.1007/978-981-97-6234-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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, Proceedingsent://SD_ILS/0/SD_ILS:6082982026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90897-2">https://doi.org/10.1007/978-3-031-90897-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An Introduction to Theory of Computation An Algorithmic Approachent://SD_ILS/0/SD_ILS:6079542026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Ogihara, Mitsunori. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-84740-0">https://doi.org/10.1007/978-3-031-84740-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 Ient://SD_ILS/0/SD_ILS:6031502026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57228-9">https://doi.org/10.1007/978-3-031-57228-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Models of Computation 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6034712026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Chen, Xujin. editor. (orcid)0000-0001-7844-5411 Li, Bo. editor. (orcid)0000-0001-7500-8355 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-2340-9">https://doi.org/10.1007/978-981-97-2340-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 IIent://SD_ILS/0/SD_ILS:6031662026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57231-9">https://doi.org/10.1007/978-3-031-57231-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and computation of electromagnetic fields in layered mediaent://SD_ILS/0/SD_ILS:5986712026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Okhmatovski, Vladimir, author. Zheng, Shucheng, author.<br/>Preferred Shelf Number QC665 .E4 O55 2024<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119763222">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119763222</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208422026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30829-1">https://doi.org/10.1007/978-3-031-30829-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Computation Theory 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211952026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Fernau, Henning. editor. Jansen, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43587-4">https://doi.org/10.1007/978-3-031-43587-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>THEORY AND PRACTICE OF COMPUTATION proceedings of the workshop on.ent://SD_ILS/0/SD_ILS:5767192026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Workshop on Computation: Theory and Practice (2013 : Diliman, Quezon City, Philippines) Nishizaki, Shin-ya, editor.<br/>Preferred Shelf Number QA75.5<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780367814656">https://www.taylorfrancis.com/books/9780367814656</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4830522026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17127-8">https://doi.org/10.1007/978-3-030-17127-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Models of Computation 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4844782026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Gopal, T.V. editor. Watada, Junzo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-14812-6">https://doi.org/10.1007/978-3-030-14812-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Energy Limits in Computation A Review of Landauer’s Principle, Theory and Experimentsent://SD_ILS/0/SD_ILS:4846442026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Lent, Craig S. editor. Orlov, Alexei O. editor. Porod, Wolfgang. editor. Snider, Gregory L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93458-7">https://doi.org/10.1007/978-3-319-93458-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Computation Theory 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4865072026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Gąsieniec, Leszek Antoni. editor. (orcid)0000-0003-1809-9814 Jansson, Jesper. editor. (orcid)0000-0001-6859-8932 Levcopoulos, Christos. editor. (orcid)0000-0003-0983-7862 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-25027-0">https://doi.org/10.1007/978-3-030-25027-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedingsent://SD_ILS/0/SD_ILS:4006072026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89366-2">https://doi.org/10.1007/978-3-319-89366-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6160122026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Gopal, T.V. editor. Jäger, Gerhard. editor. Steila, Silvia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55911-7">https://doi.org/10.1007/978-3-319-55911-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6167142026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54458-7">https://doi.org/10.1007/978-3-662-54458-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6172402026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Klasing, Ralf. editor. Zeitoun, Marc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-55751-8">https://doi.org/10.1007/978-3-662-55751-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6171342026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49630-5">https://doi.org/10.1007/978-3-662-49630-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191612026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46678-0">https://doi.org/10.1007/978-3-662-46678-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5189122026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Kosowski, Adrian. editor. Walukiewicz, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-22177-9">https://doi.org/10.1007/978-3-319-22177-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191172026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-17142-5">https://doi.org/10.1007/978-3-319-17142-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Language, Culture, Computation: Computing - Theory and Technology Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part Ient://SD_ILS/0/SD_ILS:4890342026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Dershowitz, Nachum. editor. Nissan, Ephraim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-45321-2">https://doi.org/10.1007/978-3-642-45321-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4855152026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Gopal, T V. editor. Agrawal, Manindra. editor. Li, Angsheng. editor. Cooper, S. Barry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06089-7">https://doi.org/10.1007/978-3-319-06089-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889492026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Muscholl, Anca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54830-7">https://doi.org/10.1007/978-3-642-54830-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Quantum Computation, Communication, and Cryptography 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:4890632026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Bacon, Dave. editor. Martin-Delgado, Miguel. editor. Roetteler, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54429-3">https://doi.org/10.1007/978-3-642-54429-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3340222026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Iwama, Kazuo. editor. Kawano, Yasuhito. editor. Murao, Mio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334022.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35656-8">http://dx.doi.org/10.1007/978-3-642-35656-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3345642026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334564.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38236-9">http://dx.doi.org/10.1007/978-3-642-38236-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349012026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Gąsieniec, Leszek. editor. Wolter, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334901.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40164-0">http://dx.doi.org/10.1007/978-3-642-40164-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3343582026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Pfenning, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334358.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37075-5">http://dx.doi.org/10.1007/978-3-642-37075-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Bunemanent://SD_ILS/0/SD_ILS:3351382026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Tannen, Val. editor. Wong, Limsoon. editor. Libkin, Leonid. editor. Fan, Wenfei. editor. Tan, Wang-Chiew. editor.<br/>Preferred Shelf Number ONLINE(335138.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41660-6">http://dx.doi.org/10.1007/978-3-642-41660-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedingsent://SD_ILS/0/SD_ILS:3354332026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335433.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-4-431-54436-4">http://dx.doi.org/10.1007/978-4-431-54436-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Practice of Computation Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 Proceedingsent://SD_ILS/0/SD_ILS:2039722026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-4-431-54106-6">http://dx.doi.org/10.1007/978-4-431-54106-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Electromagnetic Properties of Multiphase Dielectrics A Primer on Modeling, Theory and Computationent://SD_ILS/0/SD_ILS:1964422026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Zohdi, Tarek I. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28427-4">http://dx.doi.org/10.1007/978-3-642-28427-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dynamics of Charged Particulate Systems Modeling, Theory and Computationent://SD_ILS/0/SD_ILS:1964662026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Zohdi, Tarek I. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28519-6">http://dx.doi.org/10.1007/978-3-642-28519-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1968032026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Agrawal, Manindra. editor. Cooper, S. Barry. editor. Li, Angsheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29952-0">http://dx.doi.org/10.1007/978-3-642-29952-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Quantum Computation, Communication, and Cryptography 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1937962026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Dam, Wim. editor. Kendon, Vivien M. editor. Severini, Simone. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18073-6">http://dx.doi.org/10.1007/978-3-642-18073-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1945172026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Ogihara, Mitsunori. editor. Tarui, Jun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20877-5">http://dx.doi.org/10.1007/978-3-642-20877-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Computation Theory 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1951922026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Owe, Olaf. editor. Steffen, Martin. editor. Telle, Jan Arne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22953-4">http://dx.doi.org/10.1007/978-3-642-22953-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1923762026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Kratochvíl, Jan. editor. Li, Angsheng. editor. Fiala, Jiří. editor. Kolman, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13562-0">http://dx.doi.org/10.1007/978-3-642-13562-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Pillars of Computation Theory State, Encoding, Nondeterminisment://SD_ILS/0/SD_ILS:1647272026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Rosenberg, Arnold L. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-09639-1">http://dx.doi.org/10.1007/978-0-387-09639-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Quantum Information, Computation and Cryptography An Introductory Survey of Theory, Technology and Experimentsent://SD_ILS/0/SD_ILS:1918352026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Benatti, Fabio. editor. Fannes, Mark. editor. Floreanini, Roberto. editor. Petritis, Dimitri. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11914-9">http://dx.doi.org/10.1007/978-3-642-11914-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithms and theory of computation handbook. Special topics and techniquesent://SD_ILS/0/SD_ILS:5410672026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Atallah, Mikhail J. Blanton, Marina.<br/>Preferred Shelf Number QA76.9 .A43 A433 2009<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781584888215">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>The Practice of Econometric Theory An Examination of the Characteristics of Econometric Computationent://SD_ILS/0/SD_ILS:1874542026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Renfro, Charles G. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75571-5">http://dx.doi.org/10.1007/978-3-540-75571-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1901892026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Chen, Jianer. editor. Cooper, S. Barry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02017-9">http://dx.doi.org/10.1007/978-3-642-02017-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Computation Theory 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1906132026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Kutyłowski, Mirosław. editor. Charatonik, Witold. editor. Gębala, Maciej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03409-1">http://dx.doi.org/10.1007/978-3-642-03409-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Models of Computation An Introduction to Computability Theoryent://SD_ILS/0/SD_ILS:1759732026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Fernández, Maribel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-434-8">http://dx.doi.org/10.1007/978-1-84882-434-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Quantum Computation, Communication, and Cryptography 4th Workshop,TQC 2009, Waterloo, Canada, May 11-13, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1914502026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Childs, Andrew. editor. Mosca, Michele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10698-9">http://dx.doi.org/10.1007/978-3-642-10698-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithms and theory of computation handbook. General concepts and techniquesent://SD_ILS/0/SD_ILS:5470352026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Atallah, Mikhail J. Blanton, Marina.<br/>Preferred Shelf Number QA76.9 .A43 A432 2009<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781584888239">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Theory of Quantum Computation, Communication, and Cryptography Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papersent://SD_ILS/0/SD_ILS:1892412026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Kawano, Yasuhito. editor. Mosca, Michele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89304-2">http://dx.doi.org/10.1007/978-3-540-89304-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1883672026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Agrawal, Manindra. editor. Du, Dingzhu. editor. Duan, Zhenhua. editor. Li, Angsheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79228-4">http://dx.doi.org/10.1007/978-3-540-79228-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reconfigurable computing the theory and practice of FPGA-based computationent://SD_ILS/0/SD_ILS:1490562026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Hauck, Scott. DeHon, André.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123705228">http://www.sciencedirect.com/science/book/9780123705228</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Relativistic Quantum Theory of Atoms and Molecules Theory and Computationent://SD_ILS/0/SD_ILS:1660862026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Grant, I. P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-35069-1">http://dx.doi.org/10.1007/978-0-387-35069-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1865572026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Cai, Jin-Yi. editor. Cooper, S. Barry. editor. Zhu, Hong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72504-6">http://dx.doi.org/10.1007/978-3-540-72504-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1870962026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Csuhaj-Varjú, Erzsébet. editor. Ésik, Zoltán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74240-1">http://dx.doi.org/10.1007/978-3-540-74240-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836002026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Aceto, Luca. editor. Ingólfsdóttir, Anna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11690634">http://dx.doi.org/10.1007/11690634</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1839092026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Cai, Jin-Yi. editor. Cooper, S. Barry. editor. Li, Angsheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11750321">http://dx.doi.org/10.1007/11750321</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1829592026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Liśkiewicz, Maciej. editor. Reischuk, Rüdiger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11537311">http://dx.doi.org/10.1007/11537311</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial intelligence and mathematical theory of computation papers in honor of John McCarthyent://SD_ILS/0/SD_ILS:2578862026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor McCarthy, John, 1927-2011. Lifschitz, Vladimir.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124500105">http://www.sciencedirect.com/science/book/9780124500105</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Topics in the theory of computation selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983ent://SD_ILS/0/SD_ILS:2568962026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor International FCT-Conference (1983 : Borgholm, Sweden) Karpiński, Marek, 1948- Leeuwen, J. van (Jan)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444876478">http://www.sciencedirect.com/science/book/9780444876478</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Finite element solution of boundary value problems : theory and computationent://SD_ILS/0/SD_ILS:367072026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Axelsson, O. Barker, V. A., ort. yaz.<br/>Preferred Shelf Number QA 379 A9 1984<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Mathematical systems theory in biology, communications, computation, and financeent://SD_ILS/0/SD_ILS:938022026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor International Symposium on the Mathematical Theory of Networks and Systems (15th : 2002 : University of Notre Dame) Rosenthal, Joachim, 1961- ed. Gilliam, David S., 1946- ed.<br/>Preferred Shelf Number QA 402 I583 2002<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6061772026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Bourke, Timothy. editor. (orcid)0000-0003-0601-4182 Chen, Liqian. editor. (orcid)0000-0001-8084-8009 Goharshady, Amir. editor. (orcid)0000-0003-1702-6584 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0602-3">https://doi.org/10.1007/978-981-96-0602-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Cryptography 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6062432026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Boyle, Elette. editor. Mahmoody, Mohammad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78017-2">https://doi.org/10.1007/978-3-031-78017-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6062442026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029 Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78116-2">https://doi.org/10.1007/978-3-031-78116-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings. Part IVent://SD_ILS/0/SD_ILS:6064982026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0894-2">https://doi.org/10.1007/978-981-96-0894-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part VIIent://SD_ILS/0/SD_ILS:6064382026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0941-3">https://doi.org/10.1007/978-981-96-0941-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6069842026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor 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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82703-7">https://doi.org/10.1007/978-3-031-82703-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6069982026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor 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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82700-6">https://doi.org/10.1007/978-3-031-82700-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6072142026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78750-8">https://doi.org/10.1007/978-3-031-78750-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6072382026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-1195-9">https://doi.org/10.1007/978-981-96-1195-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6074552026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Kim, Jinman. editor. (orcid)0000-0001-5960-1060 Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Deng, Zhigang. editor. (orcid)0000-0002-0452-8676 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82021-2">https://doi.org/10.1007/978-3-031-82021-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Innovations in Information and Decision Sciences Proceedings of the 12th International Conference on Frontiers in Intelligent Computing: Theory and Applications (FICTA 2024)ent://SD_ILS/0/SD_ILS:6074592026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874 Dey, Maitreyee. editor. Senkerik, Roman. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0147-9">https://doi.org/10.1007/978-981-96-0147-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVII International Workshop, COINE 2024, Auckland, New Zealand, May 7, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6074942026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Cranefield, Stephen. editor. (orcid)0000-0001-5638-1648 Nardin, Luis Gustavo. editor. (orcid)0000-0002-4506-2745 Lloyd, Nathan. editor. (orcid)0000-0002-7127-2500 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82039-7">https://doi.org/10.1007/978-3-031-82039-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6075402026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-1090-7">https://doi.org/10.1007/978-981-96-1090-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6075972026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Hussain, Amir. editor. Jiang, Bo. editor. Ren, Jinchang. editor. Mahmud, Mufti. editor. Yang, Erfu. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-2885-8">https://doi.org/10.1007/978-981-96-2885-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6076812026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Erdem, Esra. editor. (orcid)0000-0001-8384-7810 Vidal, Germán. editor. (orcid)0000-0002-1857-6951 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-84924-4">https://doi.org/10.1007/978-3-031-84924-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6077022026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Caltais, Georgiana. editor. (orcid)0000-0002-8653-2299 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-87054-5">https://doi.org/10.1007/978-3-031-87054-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17-20, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6077672026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Baratgin, Jean. editor. (orcid)0000-0001-9566-486X Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789 Brochier, Emmanuel. editor. (orcid)0000-0002-9153-562X Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-84595-6">https://doi.org/10.1007/978-3-031-84595-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Theory and Related Fields Festschrift in Memory of Ning Caient://SD_ILS/0/SD_ILS:6077792026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Deppe, Christian. editor. (orcid)0000-0002-2265-4887 Winter, Andreas. editor. (orcid)0000-0001-6344-4870 Yeung, Raymond W. editor. (orcid)0000-0003-2688-1056 Boche, Holger. editor. (orcid)0000-0002-8375-8946 Althöfer, Ingo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82014-4">https://doi.org/10.1007/978-3-031-82014-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Data Engineering and Analytics Proceedings of the 12th International Conference on Frontiers in Intelligent Computing: Theory and Applications (FICTA 2024)ent://SD_ILS/0/SD_ILS:6077862026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874 Patel, Preeti. editor. (orcid)0009-0003-1806-6198 Simic, Milan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0139-4">https://doi.org/10.1007/978-981-96-0139-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Computing and Automation Proceedings of the 12th International Conference on Frontiers in Intelligent Computing: Theory and Applications (FICTA 2024)ent://SD_ILS/0/SD_ILS:6078302026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874 Dey, Maitreyee. editor. Simic, Milan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0143-1">https://doi.org/10.1007/978-981-96-0143-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6079082026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Li, Yupeng. editor. Zhang, Yong. editor. (orcid)0000-0002-8730-3711 Xu, Jianliang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-4207-6">https://doi.org/10.1007/978-981-96-4207-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>AI in Banking Practical Applications and Case Studiesent://SD_ILS/0/SD_ILS:6079932026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Shao, Liyu. author. Chen, Qin. author. He, Min. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-3837-6">https://doi.org/10.1007/978-981-96-3837-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6080452026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Broccia, Giovanna. editor. (orcid)0000-0002-4737-5761 Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-87217-4">https://doi.org/10.1007/978-3-031-87217-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>From Data to Models and Back 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6080972026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Czekster, Ricardo M. editor. (orcid)0000-0002-6636-4398 Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-87908-1">https://doi.org/10.1007/978-3-031-87908-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Antenna Radar Cross Section: Theory and Designent://SD_ILS/0/SD_ILS:6081122026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Liu, Ying. author. Jia, Yongtao. author. Gong, Shuxi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-1226-0">https://doi.org/10.1007/978-981-96-1226-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence in Music, Sound, Art and Design 14th International Conference, EvoMUSART 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6081482026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Machado, Penousal. editor. (orcid)0000-0002-6308-6484 Johnson, Colin. editor. (orcid)0000-0002-9236-6581 Santos, Iria. editor. (orcid)0000-0002-4910-3890 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90167-6">https://doi.org/10.1007/978-3-031-90167-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6081732026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor 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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90062-4">https://doi.org/10.1007/978-3-031-90062-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6081742026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor 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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90065-5">https://doi.org/10.1007/978-3-031-90065-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering and Management: Theory and Applications Volume 17ent://SD_ILS/0/SD_ILS:6082152026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82610-8">https://doi.org/10.1007/978-3-031-82610-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agents and Artificial Intelligence 16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:6082622026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Rocha, Ana Paula. editor. Steels, Luc. editor. (orcid)0000-0001-9134-3663 van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-87330-0">https://doi.org/10.1007/978-3-031-87330-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part Vent://SD_ILS/0/SD_ILS:6082672026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-91092-0">https://doi.org/10.1007/978-3-031-91092-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part VIIIent://SD_ILS/0/SD_ILS:6082682026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-91101-9">https://doi.org/10.1007/978-3-031-91101-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6082962026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90643-5">https://doi.org/10.1007/978-3-031-90643-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6082972026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90660-2">https://doi.org/10.1007/978-3-031-90660-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6082992026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90900-9">https://doi.org/10.1007/978-3-031-90900-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Big Data and Data Science Engineering Volume 7ent://SD_ILS/0/SD_ILS:6083132026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78373-9">https://doi.org/10.1007/978-3-031-78373-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6083202026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90653-4">https://doi.org/10.1007/978-3-031-90653-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Knowledge Discovery, Knowledge Engineering and Knowledge Management 15th International Joint Conference, IC3K 2023, Rome, Italy, November 13-15, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6083382026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Coenen, Frans. editor. Fred, Ana. editor. Aveiro, David. editor. Dietz, Jan. editor. Poggi, Antonella. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-87569-4">https://doi.org/10.1007/978-3-031-87569-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6083622026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-4448-3">https://doi.org/10.1007/978-981-96-4448-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6083752026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. (orcid)0000-0002-7846-0969 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-4445-2">https://doi.org/10.1007/978-981-96-4445-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Public-Key Cryptography - PKC 2025 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Røros, Norway, May 12-15, 2025, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6083872026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Jager, Tibor. editor. (orcid)0000-0002-3205-7699 Pan, Jiaxin. editor. (orcid)0000-0002-7459-6850 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-91829-2">https://doi.org/10.1007/978-3-031-91829-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Public-Key Cryptography - PKC 2025 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Røros, Norway, May 12-15, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6083942026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Jager, Tibor. editor. (orcid)0000-0002-3205-7699 Pan, Jiaxin. editor. (orcid)0000-0002-7459-6850 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-91820-9">https://doi.org/10.1007/978-3-031-91820-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Public-Key Cryptography - PKC 2025 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Røros, Norway, May 12-15, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6083952026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Jager, Tibor. editor. (orcid)0000-0002-3205-7699 Pan, Jiaxin. editor. (orcid)0000-0002-7459-6850 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-91823-0">https://doi.org/10.1007/978-3-031-91823-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Public-Key Cryptography - PKC 2025 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Røros, Norway, May 12-15, 2025, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6083962026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Jager, Tibor. editor. (orcid)0000-0002-3205-7699 Pan, Jiaxin. editor. (orcid)0000-0002-7459-6850 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-91826-1">https://doi.org/10.1007/978-3-031-91826-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Public-Key Cryptography - PKC 2025 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Røros, Norway, May 12-15, 2025, Proceedings, Part Vent://SD_ILS/0/SD_ILS:6083972026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Jager, Tibor. editor. (orcid)0000-0002-3205-7699 Pan, Jiaxin. editor. (orcid)0000-0002-7459-6850 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-91832-2">https://doi.org/10.1007/978-3-031-91832-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Geomatics Applied to Civil Engineeringent://SD_ILS/0/SD_ILS:6084432026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor da Silva, Irineu. author. Segantine, Paulo C. L. author. (orcid)0000-0003-1012-0666 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75737-2">https://doi.org/10.1007/978-3-031-75737-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data Science and Big Data Analytics Proceedings of IDBA 2024ent://SD_ILS/0/SD_ILS:6084822026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Mishra, Durgesh. editor. Yang, Xin-She. editor. Unal, Aynur. editor. Jat, Dharm Singh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-9855-1">https://doi.org/10.1007/978-981-97-9855-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Mathematical Modelling, Applied Analysis and Computation Proceedings of ICMMAAC 2024 - Volume 1ent://SD_ILS/0/SD_ILS:6085202026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Singh, Jagdev. editor. (orcid)0000-0001-6853-4138 Anastassiou, George A. editor. Baleanu, Dumitru. editor. Kumar, Devendra. editor. (orcid)0000-0003-4249-6326 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90917-7">https://doi.org/10.1007/978-3-031-90917-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>New Frontiers in Artificial Intelligence JSAI International Symposium on Artificial Intelligence, JSAI-isAI 2025, Osaka, Japan, May 26-27, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6085892026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Nakano, Yukiko. editor. (orcid)0000-0003-1658-8219 Suzumura, Toyotaro. editor. (orcid)0000-0001-6412-8386 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-7071-0">https://doi.org/10.1007/978-981-96-7071-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Simulating the Brain A Four-Step Method Using Ordinary Differential Equations and Pythonent://SD_ILS/0/SD_ILS:6087722026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Caligiore, Daniele. author. Carli, Samuele. author. (orcid)0000-0002-3250-2465 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-2718-9">https://doi.org/10.1007/978-981-96-2718-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6088422026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Dutle, Aaron. editor. (orcid)0000-0002-8503-5514 Humphrey, Laura. editor. (orcid)0000-0002-3148-9035 Titolo, Laura. editor. (orcid)0000-0001-7820-7640 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93706-4">https://doi.org/10.1007/978-3-031-93706-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Complexity and Local Algorithms On the Interplay Between Randomness and Computationent://SD_ILS/0/SD_ILS:6088592026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Goldreich, Oded. editor. (orcid)0000-0002-4329-135X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-88946-2">https://doi.org/10.1007/978-3-031-88946-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Mathematical Modelling, Applied Analysis and Computation Proceedings of ICMMAAC 2024 - Volume 2ent://SD_ILS/0/SD_ILS:6088632026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Singh, Jagdev. editor. (orcid)0000-0001-6853-4138 Anastassiou, George A. editor. Baleanu, Dumitru. editor. Kumar, Devendra. editor. (orcid)0000-0003-4249-6326 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90914-6">https://doi.org/10.1007/978-3-031-90914-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integer Programming and Combinatorial Optimization 26th International Conference, IPCO 2025, Baltimore, MD, USA, June 11-13, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6088672026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Megow, Nicole. editor. (orcid)0000-0002-3531-7644 Basu, Amitabh. editor. (orcid)0000-0002-1070-2626 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93112-3">https://doi.org/10.1007/978-3-031-93112-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer and Information Science and Engineering Volume 18ent://SD_ILS/0/SD_ILS:6089462026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82606-1">https://doi.org/10.1007/978-3-031-82606-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6089262026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gertri. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-94569-4">https://doi.org/10.1007/978-3-031-94569-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6089272026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gerti. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-94571-7">https://doi.org/10.1007/978-3-031-94571-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6089372026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Ferreira, Carla. editor. (orcid)0000-0003-3680-7634 Mezzina, Claudio Antares. editor. (orcid)0000-0003-1556-2623 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-95497-9">https://doi.org/10.1007/978-3-031-95497-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6091162026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Tack, Guido. editor. (orcid)0000-0003-3357-6498 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-95973-8">https://doi.org/10.1007/978-3-031-95973-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6091172026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Tack, Guido. editor. (orcid)0000-0003-3357-6498 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-95976-9">https://doi.org/10.1007/978-3-031-95976-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthdayent://SD_ILS/0/SD_ILS:6091192026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97492-2">https://doi.org/10.1007/978-3-031-97492-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6091252026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor 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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97626-1">https://doi.org/10.1007/978-3-031-97626-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6092442026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor 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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97554-7">https://doi.org/10.1007/978-3-031-97554-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6092452026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor 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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97557-8">https://doi.org/10.1007/978-3-031-97557-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6092462026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor 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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97564-6">https://doi.org/10.1007/978-3-031-97564-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Life and Evolutionary Computation 18th Italian Workshop, WIVACE 2024, Namur, Belgium, September 11-13, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6094082026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor 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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93631-9">https://doi.org/10.1007/978-3-031-93631-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Bioinformatics and Computational Biology 17th International Conference, BICOB 2025, San Francisco, CA, USA, March 17, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6094492026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Aldwairi, Tamer. editor. Al-Mubaid, Hisham. editor. Eulenstein, Oliver. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-94039-2">https://doi.org/10.1007/978-3-031-94039-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data Science and Big Data Analytics Proceedings of IDBA 2025, Volume 2ent://SD_ILS/0/SD_ILS:6100632026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Mishra, Durgesh. editor. Yang, Xin She. editor. (orcid)0000-0001-8231-5556 Unal, Aynur. editor. Jat, Dharm Singh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-032-05373-2">https://doi.org/10.1007/978-3-032-05373-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6057752026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-8943-6">https://doi.org/10.1007/978-981-97-8943-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitionsent://SD_ILS/0/SD_ILS:6058372026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674 Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-67695-6">https://doi.org/10.1007/978-3-031-67695-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IIent://SD_ILS/0/SD_ILS:6059872026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75775-4">https://doi.org/10.1007/978-3-031-75775-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part Ient://SD_ILS/0/SD_ILS:6059882026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75783-9">https://doi.org/10.1007/978-3-031-75783-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6062042026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Demartini, Gianluca. editor. (orcid)0000-0002-7311-3693 Hose, Katja. editor. (orcid)0000-0001-7025-8099 Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Palmonari, Matteo. editor. (orcid)0000-0002-1801-5118 Cheng, Gong. editor. (orcid)0000-0003-3539-7776<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-77847-6">https://doi.org/10.1007/978-3-031-77847-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6062052026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Demartini, Gianluca. editor. (orcid)0000-0002-7311-3693 Hose, Katja. editor. (orcid)0000-0001-7025-8099 Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Palmonari, Matteo. editor. (orcid)0000-0002-1801-5118 Cheng, Gong. editor. (orcid)0000-0003-3539-7776<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-77850-6">https://doi.org/10.1007/978-3-031-77850-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6062252026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Demartini, Gianluca. editor. (orcid)0000-0002-7311-3693 Hose, Katja. editor. (orcid)0000-0001-7025-8099 Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Palmonari, Matteo. editor. (orcid)0000-0002-1801-5118 Cheng, Gong. editor. (orcid)0000-0003-3539-7776<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-77844-5">https://doi.org/10.1007/978-3-031-77844-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Cryptography 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6062832026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Boyle, Elette. editor. Mahmoody, Mohammad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78020-2">https://doi.org/10.1007/978-3-031-78020-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Cryptography 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6063502026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Boyle, Elette. editor. Mahmoody, Mohammad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78023-3">https://doi.org/10.1007/978-3-031-78023-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Cryptography 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6063192026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Boyle, Elette. editor. Mahmoody, Mohammad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78011-0">https://doi.org/10.1007/978-3-031-78011-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part IXent://SD_ILS/0/SD_ILS:6064272026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0947-5">https://doi.org/10.1007/978-981-96-0947-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6064362026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0875-1">https://doi.org/10.1007/978-981-96-0875-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings. Part Vent://SD_ILS/0/SD_ILS:6064372026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0935-2">https://doi.org/10.1007/978-981-96-0935-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 Ient://SD_ILS/0/SD_ILS:6071582026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82670-2">https://doi.org/10.1007/978-3-031-82670-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theoretical Computer Science 42nd National Conference, NCTCS 2024, Qingdao, China, July 19-21, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6071732026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Yin, Yitong. editor. (orcid)0000-0001-9204-7794 Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 Cai, Zhiping. editor. (orcid)0000-0001-5726-833X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-1490-5">https://doi.org/10.1007/978-981-96-1490-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>WALCOM: Algorithms and Computation 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6073522026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Nakano, Shin-ichi. editor. (orcid)0000-0003-2368-6183 Xiao, Mingyu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-2845-2">https://doi.org/10.1007/978-981-96-2845-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6073802026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Kim, Jinman. editor. (orcid)0000-0001-5960-1060 Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Deng, Zhigang. editor. (orcid)0000-0002-0452-8676 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82024-3">https://doi.org/10.1007/978-3-031-82024-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6074172026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Kim, Jinman. editor. (orcid)0000-0001-5960-1060 Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Deng, Zhigang. editor. (orcid)0000-0002-0452-8676 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81806-6">https://doi.org/10.1007/978-3-031-81806-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Computational Intelligence. MICAI 2024 International Workshops HIS 2024, WILE 2024, and CIAPP 2024, Tonantzintla, Mexico, October 21-25, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6075682026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Ochoa-Ruiz, Gilberto. editor. (orcid)0000-0002-9896-8727 Montes Rivera, Martin. editor. (orcid)0000-0003-3897-6212 Barrón-Estrada, María Lucía. editor. (orcid)0000-0002-3856-9361 Acosta-Mesa, Héctor Gabriel. editor. (orcid)0000-0002-0935-7642<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-83882-8">https://doi.org/10.1007/978-3-031-83882-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6075842026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Hussain, Amir. editor. Jiang, Bo. editor. Ren, Jinchang. editor. Mahmud, Mufti. editor. Yang, Erfu. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-2882-7">https://doi.org/10.1007/978-981-96-2882-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Restarting Automata Extensions and Generalizationsent://SD_ILS/0/SD_ILS:6076602026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78701-0">https://doi.org/10.1007/978-3-031-78701-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evolutionary Computation in Combinatorial Optimization 25th European Conference, EvoCOP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6078282026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Krejca, Martin S. editor. (orcid)0000-0002-1765-1219 Wagner, Markus. editor. (orcid)0000-0002-3124-0061 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-86849-8">https://doi.org/10.1007/978-3-031-86849-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>16th International Conference on Applications of Fuzzy Systems, Soft Computing and Artificial Intelligence Tools - ICAFS-2023 Volume 2ent://SD_ILS/0/SD_ILS:6079252026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Aliev, Rafik A. editor. Kacprzyk, Janusz. editor. Pedrycz, Witold. editor. Jamshidi, Mo. editor. Babanli, M.B. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72506-7">https://doi.org/10.1007/978-3-031-72506-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Computational Intelligence. MICAI 2024 International Workshops HIS 2024, WILE 2024, and CIAPP 2024, Tonantzintla, Mexico, October 21-25, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6080332026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Ochoa-Ruiz, Gilberto. editor. (orcid)0000-0002-9896-8727 Montes Rivera, Martin. editor. (orcid)0000-0003-3897-6212 Barrón-Estrada, María Lucía. editor. (orcid)0000-0002-3856-9361 Acosta-Mesa, Héctor Gabriel. editor. (orcid)0000-0002-0935-7642<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-83879-8">https://doi.org/10.1007/978-3-031-83879-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Post-Quantum Signatures FALCON and SOLMAE with Pythonent://SD_ILS/0/SD_ILS:6072602026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Kim, Kwangjo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81250-7">https://doi.org/10.1007/978-3-031-81250-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 IIent://SD_ILS/0/SD_ILS:6072612026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82697-9">https://doi.org/10.1007/978-3-031-82697-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6073352026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-1093-8">https://doi.org/10.1007/978-981-96-1093-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part VIent://SD_ILS/0/SD_ILS:6082422026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-91095-1">https://doi.org/10.1007/978-3-031-91095-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part VIIent://SD_ILS/0/SD_ILS:6082432026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-91098-2">https://doi.org/10.1007/978-3-031-91098-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques Madrid, Spain, May 4-8, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6082442026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-91107-1">https://doi.org/10.1007/978-3-031-91107-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6082452026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-91124-8">https://doi.org/10.1007/978-3-031-91124-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6082462026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-91134-7">https://doi.org/10.1007/978-3-031-91134-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6082692026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-91131-6">https://doi.org/10.1007/978-3-031-91131-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agents and Artificial Intelligence 16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:6082272026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Rocha, Ana Paula. editor. Steels, Luc. editor. (orcid)0000-0001-9134-3663 van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-87327-0">https://doi.org/10.1007/978-3-031-87327-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modelling and Mining Networks 20th International Workshop, WAW 2025, Vilnius, Lithuania, June 30 - July 3, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6085592026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Bloznelis, Mindaugas. editor. Drungilas, Paulius. editor. Kamiński, Bogumił. editor. Prałat, Paweł. editor. Šileikis, Matas. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-92898-7">https://doi.org/10.1007/978-3-031-92898-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Big Data and Data Science Engineering Volume 8ent://SD_ILS/0/SD_ILS:6085692026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-87061-3">https://doi.org/10.1007/978-3-031-87061-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Quantum Nonlinear Function Obfuscation Theory and Applicationent://SD_ILS/0/SD_ILS:6055622026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Shang, Tao. author. (orcid)0000-0003-2369-1521 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-6722-9">https://doi.org/10.1007/978-981-97-6722-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Restarting Automata The Standard Type of Restarting Automaton and Its Variantsent://SD_ILS/0/SD_ILS:6057922026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-70094-1">https://doi.org/10.1007/978-3-031-70094-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6064492026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0888-1">https://doi.org/10.1007/978-981-96-0888-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part VIent://SD_ILS/0/SD_ILS:6064622026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0938-3">https://doi.org/10.1007/978-981-96-0938-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings. Part VIIIent://SD_ILS/0/SD_ILS:6064632026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0944-4">https://doi.org/10.1007/978-981-96-0944-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6064752026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Mukhopadhyay, Sourav. editor. Stănică, Pantelimon. editor. (orcid)0000-0002-8622-7120 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-80308-6">https://doi.org/10.1007/978-3-031-80308-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6064762026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Mukhopadhyay, Sourav. editor. Stănică, Pantelimon. editor. (orcid)0000-0002-8622-7120 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-80311-6">https://doi.org/10.1007/978-3-031-80311-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6064772026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0891-1">https://doi.org/10.1007/978-981-96-0891-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Category Theory Using Haskell An Introduction with Moggi and Yonedaent://SD_ILS/0/SD_ILS:6064052026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68538-5">https://doi.org/10.1007/978-3-031-68538-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>AIxIA 2024 - Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedingsent://SD_ILS/0/SD_ILS:6068162026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Artale, Alessandro. editor. (orcid)0000-0002-3852-9351 Cortellessa, Gabriella. editor. (orcid)0000-0002-9835-1575 Montali, Marco. editor. (orcid)0000-0002-8021-3430 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-80607-0">https://doi.org/10.1007/978-3-031-80607-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principle of Petri Netsent://SD_ILS/0/SD_ILS:6068702026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Yuan, Chongyi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-7336-7">https://doi.org/10.1007/978-981-97-7336-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6071162026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78709-6">https://doi.org/10.1007/978-3-031-78709-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lecturesent://SD_ILS/0/SD_ILS:6071182026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Console, Marco. editor. (orcid)0009-0004-5526-019X Konev, Boris. editor. (orcid)0000-0002-6507-0494 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-80283-6">https://doi.org/10.1007/978-3-031-80283-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of International Conference on Theoretical and Applied Computing ICTAC 2024ent://SD_ILS/0/SD_ILS:6072542026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Mathew, Lisa. editor. Subramanian, K. G. editor. (orcid)0000-0001-8726-5850 Nagar, Atulya K. editor. (orcid)0000-0001-5549-6435 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-6957-5">https://doi.org/10.1007/978-981-97-6957-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Aspects of Cloud Computing 9th International Symposium, ALGOCLOUD 2024, London, UK, September 2-3, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6089512026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Doka, Katerina. editor. Tsiropoulou, Eirini Eleni. editor. (orcid)0000-0003-1322-1876 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-94677-6">https://doi.org/10.1007/978-3-031-94677-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6089872026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor 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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-95908-0">https://doi.org/10.1007/978-3-031-95908-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evolution in Computational Intelligence Proceedings of the 12th International Conference on Frontiers in Intelligent Computing: Theory and Applications (FICTA 2024)ent://SD_ILS/0/SD_ILS:6090062026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874 Patel, Preeti. editor. (orcid)0009-0003-1806-6198 Tang, Jinshan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-2124-8">https://doi.org/10.1007/978-981-96-2124-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IIIent://SD_ILS/0/SD_ILS:6090232026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75778-5">https://doi.org/10.1007/978-3-031-75778-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages of Cooperation and Communication Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Careerent://SD_ILS/0/SD_ILS:6092182026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Jiménez López, M. Dolores. editor. (orcid)0000-0001-5544-3210 Vaszil, György. editor. (orcid)0000-0003-1213-8616 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97274-4">https://doi.org/10.1007/978-3-031-97274-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VIent://SD_ILS/0/SD_ILS:6092192026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor 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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97573-8">https://doi.org/10.1007/978-3-031-97573-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6092262026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor 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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97567-7">https://doi.org/10.1007/978-3-031-97567-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part Vent://SD_ILS/0/SD_ILS:6092292026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor 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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97570-7">https://doi.org/10.1007/978-3-031-97570-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6092302026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor 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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97629-2">https://doi.org/10.1007/978-3-031-97629-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6092312026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor 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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97632-2">https://doi.org/10.1007/978-3-031-97632-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6092402026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor 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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97635-3">https://doi.org/10.1007/978-3-031-97635-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evolutionary Artificial Intelligence Proceedings of ICEAI 2024ent://SD_ILS/0/SD_ILS:6094982026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Asirvatham, David. editor. Ntalianis, Klimis. editor. (orcid)0000-0002-2175-3306 Falkowski-Gilski, Przemyslaw. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-5210-5">https://doi.org/10.1007/978-981-96-5210-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computation Trees A Generalization of Decision Treesent://SD_ILS/0/SD_ILS:6097672026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Moshkov, Mikhail. author. (orcid)0000-0003-0085-9483 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-91748-6">https://doi.org/10.1007/978-3-031-91748-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Conceptual Knowledge Structures Second International Joint Conference, CONCEPTS 2025, Cluj-Napoca, Romania, September 8-12, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6099592026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Cellier, Peggy. editor. (orcid)0000-0002-1495-2534 Ganter, Bernhard. editor. (orcid)0000-0003-0767-1379 Missaoui, Rokia. editor. (orcid)0000-0001-7410-4177 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-032-03364-2">https://doi.org/10.1007/978-3-032-03364-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>12th International Conference on Theory and Application of Soft Computing, Computing with Words and Perception and Artificial Intelligence - ICSCCW-2024 Volume 1ent://SD_ILS/0/SD_ILS:6100252026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Aliev, Rafik A. editor. Kacprzyk, Janusz. editor. Pedrycz, Witold. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-94788-9">https://doi.org/10.1007/978-3-031-94788-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>PRIMA 2024: Principles and Practice of Multi-Agent Systems 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6016522026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Arisaka, Ryuta. editor. (orcid)0000-0003-3203-1517 Sanchez-Anguix, Victor. editor. (orcid)0000-0003-4851-0037 Stein, Sebastian. editor. (orcid)0000-0003-2858-8857 Aydoğan, Reyhan. editor. (orcid)0000-0002-5260-9999 van der Torre, Leon. editor. (orcid)0000-0003-4330-3717<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-77367-9">https://doi.org/10.1007/978-3-031-77367-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Electrocatalysis for membrane fuel cells : methods, modeling, and applicationsent://SD_ILS/0/SD_ILS:5985902026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Alonso-Vante, Nicolas, 1952- editor. Di Noto, Vito, editor.<br/>Preferred Shelf Number QD569 .E44 2024<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9783527830572">https://onlinelibrary.wiley.com/doi/book/10.1002/9783527830572</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cybernetical intelligence : engineering cybernetics with machine intelligenceent://SD_ILS/0/SD_ILS:5986792026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Wong, Kelvin K. L., author.<br/>Preferred Shelf Number Q325.5 .W637 2023<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394217519">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394217519</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of soft computing using Python programming : learn how to deploy soft computing models in real world applicationsent://SD_ILS/0/SD_ILS:5987692026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Nandi, Gypsy, author.<br/>Preferred Shelf Number QA76.9 .S63 N36 2024<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394173167">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394173167</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Exploring chemical concepts through theory and computationent://SD_ILS/0/SD_ILS:5991782026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Liu, Shubin, editor.<br/>Preferred Shelf Number QD461 .E97 2024<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9783527843435">https://onlinelibrary.wiley.com/doi/book/10.1002/9783527843435</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational intelligence : theory and applicationsent://SD_ILS/0/SD_ILS:5994802026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Kumar, T. Ananth (Tamilarasan Ananth), editor.<br/>Preferred Shelf Number Q342 .C66 2024<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394214259">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394214259</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6020142026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Cai, Zhiping. editor. (orcid)0000-0001-5726-833X Xiao, Mingyu. editor. Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7743-7">https://doi.org/10.1007/978-981-99-7743-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papersent://SD_ILS/0/SD_ILS:6022492026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Yavorskiy, Rostislav. editor. Cavalli, Ana Rosa. editor. Kalenkova, Anna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50423-5">https://doi.org/10.1007/978-3-031-50423-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6021862026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50078-7">https://doi.org/10.1007/978-3-031-50078-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28-September 1, 2023, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6022092026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50072-5">https://doi.org/10.1007/978-3-031-50072-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6022162026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50521-8">https://doi.org/10.1007/978-3-031-50521-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6022172026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50524-9">https://doi.org/10.1007/978-3-031-50524-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hypothesis Generation and Interpretation Design Principles and Patterns for Big Data Applicationsent://SD_ILS/0/SD_ILS:6022252026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Ishikawa, Hiroshi. author. (orcid)0000-0003-3639-442X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43540-9">https://doi.org/10.1007/978-3-031-43540-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6023832026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50069-5">https://doi.org/10.1007/978-3-031-50069-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Computational Intelligence. MICAI 2023 International Workshops WILE 2023, HIS 2023, and CIAPP 2023, Yucatán, Mexico, November 13-18, 2023, Proceedingsent://SD_ILS/0/SD_ILS:6023842026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Calvo, Hiram. editor. (orcid)0000-0003-2836-2102 Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Ponce, Hiram. editor. (orcid)0000-0002-6559-7501 Zatarain Cabada, Ramón. editor. (orcid)0000-0002-4524-3511 Montes Rivera, Martín. editor. (orcid)0000-0003-3897-6212<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-51940-6">https://doi.org/10.1007/978-3-031-51940-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6023902026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50075-6">https://doi.org/10.1007/978-3-031-50075-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Communication Efficient Federated Learning for Wireless Networksent://SD_ILS/0/SD_ILS:6026102026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Chen, Mingzhe. author. Cui, Shuguang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-51266-7">https://doi.org/10.1007/978-3-031-51266-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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, Proceedingsent://SD_ILS/0/SD_ILS:6025312026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Gaspers, Serge. editor. (orcid)0000-0002-6947-9238 Klasing, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-52113-3">https://doi.org/10.1007/978-3-031-52113-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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, Proceedingsent://SD_ILS/0/SD_ILS:6026802026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor 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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-54303-6">https://doi.org/10.1007/978-3-031-54303-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>WALCOM: Algorithms and Computation 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18-20, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6027332026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Uehara, Ryuhei. editor. (orcid)0000-0003-0895-3765 Yamanaka, Katsuhisa. editor. Yen, Hsu-Chun. editor. (orcid)0000-0002-1764-1950 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-0566-5">https://doi.org/10.1007/978-981-97-0566-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Structures of Computing A Guide to Practice-Oriented Theoryent://SD_ILS/0/SD_ILS:6027732026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Börger, Egon. author. Gervasi, Vincenzo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-54358-6">https://doi.org/10.1007/978-3-031-54358-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6027882026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Soto, José A. editor. Wiese, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-55598-5">https://doi.org/10.1007/978-3-031-55598-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6027892026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Soto, José A. editor. Wiese, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-55601-2">https://doi.org/10.1007/978-3-031-55601-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedingsent://SD_ILS/0/SD_ILS:6028812026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Baratgin, Jean. editor. (orcid)0000-0001-9566-486X Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789 Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-55245-8">https://doi.org/10.1007/978-3-031-55245-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agents and Artificial Intelligence 15th International Conference, ICAART 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6028822026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Rocha, Ana Paula. editor. Steels, Luc. editor. van den Herik, Jaap. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-55326-4">https://doi.org/10.1007/978-3-031-55326-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data Science and Big Data Analytics Proceedings of IDBA 2023ent://SD_ILS/0/SD_ILS:6029012026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Mishra, Durgesh. editor. Yang, Xin She. editor. (orcid)0000-0001-8231-5556 Unal, Aynur. editor. Jat, Dharm Singh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-9179-2">https://doi.org/10.1007/978-981-99-9179-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Progress in Cryptology - INDOCRYPT 2023 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6030712026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983 Bhasin, Shivam. editor. Picek, Stjepan. editor. Rebeiro, Chester. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56235-8">https://doi.org/10.1007/978-3-031-56235-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Mathematical Modelling, Applied Analysis and Computation Proceedings of ICMMAAC 2023 - Volume 1ent://SD_ILS/0/SD_ILS:6030722026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Singh, Jagdev. editor. (orcid)0000-0001-6853-4138 Anastassiou, George A. editor. (orcid)0000-0002-3781-9824 Baleanu, Dumitru. editor. (orcid)0000-0002-0286-7244 Kumar, Devendra. editor. (orcid)0000-0003-4249-6326 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56307-2">https://doi.org/10.1007/978-3-031-56307-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6030732026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Meier, Arne. editor. (orcid)0000-0002-8061-5376 Ortiz, Magdalena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56940-1">https://doi.org/10.1007/978-3-031-56940-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence in Music, Sound, Art and Design 13th International Conference, EvoMUSART 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6030752026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Johnson, Colin. editor. Rebelo, Sérgio M. editor. Santos, Iria. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56992-0">https://doi.org/10.1007/978-3-031-56992-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Life and Evolutionary Computation 17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6-8, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6030912026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Villani, Marco. editor. (orcid)0000-0002-5991-5470 Cagnoni, Stefano. editor. Serra, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57430-6">https://doi.org/10.1007/978-3-031-57430-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Infrared Small Target Detection Theory, Methods, and Algorithms.ent://SD_ILS/0/SD_ILS:6030992026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Zhu, Hu. author. Pan, Yushan. author. (orcid)0000-0002-6877-3937 Deng, Lizhen. author. Xu, Guoxia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-9799-2">https://doi.org/10.1007/978-981-99-9799-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 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 Ient://SD_ILS/0/SD_ILS:6031452026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57246-3">https://doi.org/10.1007/978-3-031-57246-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 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 IIent://SD_ILS/0/SD_ILS:6031512026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57249-4">https://doi.org/10.1007/978-3-031-57249-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 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 IIIent://SD_ILS/0/SD_ILS:6031522026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57256-2">https://doi.org/10.1007/978-3-031-57256-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Public-Key Cryptography - PKC 2024 27th IACR International Conference on Practice and Theory of Public-Key Cryptography, Sydney, NSW, Australia, April 15-17, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6032342026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Tang, Qiang. editor. Teague, Vanessa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57718-5">https://doi.org/10.1007/978-3-031-57718-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Public-Key Cryptography - PKC 2024 27th IACR International Conference on Practice and Theory of Public-Key Cryptography, Sydney, NSW, Australia, April 15-17, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6032372026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Tang, Qiang. editor. Teague, Vanessa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57722-2">https://doi.org/10.1007/978-3-031-57722-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Public-Key Cryptography - PKC 2024 27th IACR International Conference on Practice and Theory of Public-Key Cryptography, Sydney, NSW, Australia, April 15-17, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6032382026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Tang, Qiang. editor. Teague, Vanessa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57725-3">https://doi.org/10.1007/978-3-031-57725-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Public-Key Cryptography - PKC 2024 27th IACR International Conference on Practice and Theory of Public-Key Cryptography, Sydney, NSW, Australia, April 15-17, 2024, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6032392026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Tang, Qiang. editor. Teague, Vanessa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57728-4">https://doi.org/10.1007/978-3-031-57728-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering and Management: Theory and Application Volume 16ent://SD_ILS/0/SD_ILS:6034492026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-55174-1">https://doi.org/10.1007/978-3-031-55174-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - EUROCRYPT 2024 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6034922026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Joye, Marc. editor. (orcid)0000-0003-4433-2333 Leander, Gregor. editor. (orcid)0000-0002-2579-8587 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-58723-8">https://doi.org/10.1007/978-3-031-58723-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - EUROCRYPT 2024 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6034342026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Joye, Marc. editor. (orcid)0000-0003-4433-2333 Leander, Gregor. editor. (orcid)0000-0002-2579-8587 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-58734-4">https://doi.org/10.1007/978-3-031-58734-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integer Programming and Combinatorial Optimization 25th International Conference, IPCO 2024, Wroclaw, Poland, July 3-5, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6036092026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Vygen, Jens. editor. Byrka, Jarosław. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-59835-7">https://doi.org/10.1007/978-3-031-59835-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedingsent://SD_ILS/0/SD_ILS:6036112026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Ren, Jinchang. editor. Hussain, Amir. editor. (orcid)0000-0002-8080-082X Liao, Iman Yi. editor. Chen, Rongjun. editor. Huang, Kaizhu. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-1417-9">https://doi.org/10.1007/978-981-97-1417-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematics and Computation in Music 9th International Conference, MCM 2024, Coimbra, Portugal, June 18-21, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6036422026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor 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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60638-0">https://doi.org/10.1007/978-3-031-60638-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Large-Scale Scientific Computations 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6036382026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Lirkov, Ivan. editor. (orcid)0000-0002-5870-2588 Margenov, Svetozar. editor. (orcid)0000-0001-8858-831X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56208-2">https://doi.org/10.1007/978-3-031-56208-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6036892026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60597-0">https://doi.org/10.1007/978-3-031-60597-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>New Frontiers in Artificial Intelligence JSAI International Symposium on Artificial Intelligence, JSAI-isAI 2024, Hamamatsu, Japan, May 28-29, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6036992026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Suzumura, Toyotaro. editor. (orcid)0000-0001-6412-8386 Bono, Mayumi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-3076-6">https://doi.org/10.1007/978-981-97-3076-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Bioinspired Systems for Translational Applications: From Robotics to Social Engineering 10th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2024, Olhâo, Portugal, June 4-7, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6037222026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Ferrández Vicente, José Manuel. editor. Val Calvo, Mikel. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61137-7">https://doi.org/10.1007/978-3-031-61137-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6047882026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872 Serwe, Wendelin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68150-9">https://doi.org/10.1007/978-3-031-68150-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6047942026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-7181-3">https://doi.org/10.1007/978-981-97-7181-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6047952026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-7184-4">https://doi.org/10.1007/978-981-97-7184-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Collective Intelligence 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6050502026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Franczyk, Bogdan. editor. (orcid)0000-0002-5740-2946 Ludwig, André. editor. (orcid)0000-0002-0358-3470 Núñez, Manuel. editor. (orcid)0000-0001-9808-6401 Treur, Jan. editor. (orcid)0000-0003-2466-9158<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-70816-9">https://doi.org/10.1007/978-3-031-70816-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Collective Intelligence 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6050512026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Franczyk, Bogdan. editor. (orcid)0000-0002-5740-2946 Ludwig, André. editor. (orcid)0000-0002-0358-3470 Núñez, Manuel. editor. (orcid)0000-0001-9808-6401 Treur, Jan. editor. (orcid)0000-0003-2466-9158<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-70819-0">https://doi.org/10.1007/978-3-031-70819-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Explainable and Transparent AI and Multi-Agent Systems 6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6-10, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6052882026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Calvaresi, Davide. editor. (orcid)0000-0001-9816-7439 Najjar, Amro. editor. (orcid)0000-0001-7784-6176 Omicini, Andrea. editor. (orcid)0000-0002-6655-3869 Aydogan, Reyhan. editor. (orcid)0000-0002-5260-9999 Carli, Rachele. editor. (orcid)0000-0002-8689-285X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-70074-3">https://doi.org/10.1007/978-3-031-70074-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Multi-Agent Systems 12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6-7, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6056852026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Briola, Daniela. editor. (orcid)0000-0003-1994-8929 Cardoso, Rafael C. editor. (orcid)0000-0001-6666-6954 Logan, Brian. editor. (orcid)0000-0003-0648-7107 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71152-7">https://doi.org/10.1007/978-3-031-71152-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6062672026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Mery, Dominique. editor. (orcid)0000-0001-5231-6611 Sun, Meng. editor. Liu, Shaoying. editor. (orcid)0000-0002-6748-5052 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0617-7">https://doi.org/10.1007/978-981-96-0617-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information and Communications Technologies Second International Libyan Conference, ILCICT 2023, Tripoli, Libya, September 4-6, 2023, Proceedingsent://SD_ILS/0/SD_ILS:6095232026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Benmusa, Tammam A. T. editor. Elbuni, Mohamed Samir. editor. Saleh, Ibrahim M. editor. Ashur, Ahmed S. editor. Drawil, Nabil M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-62624-1">https://doi.org/10.1007/978-3-031-62624-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6031612026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57259-3">https://doi.org/10.1007/978-3-031-57259-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:6032592026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor 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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-2272-3">https://doi.org/10.1007/978-981-97-2272-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:6032602026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor 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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-2275-4">https://doi.org/10.1007/978-981-97-2275-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evolutionary Computation in Combinatorial Optimization 24th European Conference, EvoCOP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6032852026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Stützle, Thomas. editor. Wagner, Markus. editor. (orcid)0000-0002-3124-0061 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57712-3">https://doi.org/10.1007/978-3-031-57712-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reliability Engineering for Industrial Processes An Analytics Perspectiveent://SD_ILS/0/SD_ILS:6032982026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Kapur, P. K. editor. (orcid)0000-0001-8006-5952 Pham, Hoang. editor. Singh, Gurinder. editor. (orcid)0000-0002-7827-1578 Kumar, Vivek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-55048-5">https://doi.org/10.1007/978-3-031-55048-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - EUROCRYPT 2024 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6033822026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Joye, Marc. editor. (orcid)0000-0003-4433-2333 Leander, Gregor. editor. (orcid)0000-0002-2579-8587 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-58716-0">https://doi.org/10.1007/978-3-031-58716-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - EUROCRYPT 2024 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6033832026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Joye, Marc. editor. (orcid)0000-0003-4433-2333 Leander, Gregor. editor. (orcid)0000-0002-2579-8587 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-58737-5">https://doi.org/10.1007/978-3-031-58737-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - EUROCRYPT 2024 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part Vent://SD_ILS/0/SD_ILS:6033842026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Joye, Marc. editor. (orcid)0000-0003-4433-2333 Leander, Gregor. editor. (orcid)0000-0002-2579-8587 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-58740-5">https://doi.org/10.1007/978-3-031-58740-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - EUROCRYPT 2024 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part VIent://SD_ILS/0/SD_ILS:6033852026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Joye, Marc. editor. (orcid)0000-0003-4433-2333 Leander, Gregor. editor. (orcid)0000-0002-2579-8587 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-58751-1">https://doi.org/10.1007/978-3-031-58751-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - EUROCRYPT 2024 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part VIIent://SD_ILS/0/SD_ILS:6033862026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Joye, Marc. editor. (orcid)0000-0003-4433-2333 Leander, Gregor. editor. (orcid)0000-0002-2579-8587 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-58754-2">https://doi.org/10.1007/978-3-031-58754-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The French School of Programmingent://SD_ILS/0/SD_ILS:6033902026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Meyer, Bertrand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34518-0">https://doi.org/10.1007/978-3-031-34518-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modelling and Mining Networks 19th International Workshop, WAW 2024, Warsaw, Poland, June 3-6, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6034042026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Dewar, Megan. editor. Kamiński, Bogumił. editor. (orcid)0000-0002-0678-282X Kaszyński, Daniel. editor. Kraiński, Łukasz. editor. Prałat, Paweł. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-59205-8">https://doi.org/10.1007/978-3-031-59205-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Distributed Objects, Components, and Systems 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6039122026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Castiglioni, Valentina. editor. (orcid)0000-0002-8112-6523 Francalanza, Adrian. editor. (orcid)0000-0003-3829-7391 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-62645-6">https://doi.org/10.1007/978-3-031-62645-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cellular Automata and Discrete Complex Systems 30th IFIP WG 1.5 International Workshop, AUTOMATA 2024, Durham, UK, July 22-24, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6042652026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Gadouleau, Maximilien. editor. (orcid)0000-0003-4701-738X Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65887-7">https://doi.org/10.1007/978-3-031-65887-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Search-Based Software Engineering 16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6041732026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Jahangirova, Gunel. editor. Khomh, Foutse. editor. (orcid)0000-0002-5704-4173 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64573-0">https://doi.org/10.1007/978-3-031-64573-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Information Systems Engineering 36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3-7, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6038262026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X Santoro, Flavia. editor. (orcid)0000-0003-3421-1984 Mouratidis, Haralambos. editor. (orcid)0000-0002-2599-0712 Soffer, Pnina. editor. (orcid)0000-0003-4659-883X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61057-8">https://doi.org/10.1007/978-3-031-61057-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6040782026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor 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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63751-3">https://doi.org/10.1007/978-3-031-63751-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6040792026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor 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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63772-8">https://doi.org/10.1007/978-3-031-63772-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part Vent://SD_ILS/0/SD_ILS:6040802026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor 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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63775-9">https://doi.org/10.1007/978-3-031-63775-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6040912026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor 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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63749-0">https://doi.org/10.1007/978-3-031-63749-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6040922026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor 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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63759-9">https://doi.org/10.1007/978-3-031-63759-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VIIent://SD_ILS/0/SD_ILS:6040932026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor 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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63783-4">https://doi.org/10.1007/978-3-031-63783-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VIent://SD_ILS/0/SD_ILS:6041142026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor 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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63778-0">https://doi.org/10.1007/978-3-031-63778-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Metaheuristics 15th International Conference, MIC 2024, Lorient, France, June 4-7, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6041252026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Sevaux, Marc. editor. Olteanu, Alexandru-Liviu. editor. Pardo, Eduardo G. editor. (orcid)0000-0002-6247-5269 Sifaleras, Angelo. editor. (orcid)0000-0002-5696-7021 Makboul, Salma. editor. (orcid)0000-0002-6423-2367<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-62922-8">https://doi.org/10.1007/978-3-031-62922-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6046082026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66021-4">https://doi.org/10.1007/978-3-031-66021-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Conceptual Knowledge Structures First International Joint Conference, CONCEPTS 2024, Cádiz, Spain, September 9-13, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6046242026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Cabrera, Inma P. editor. (orcid)0000-0001-5129-0085 Ferré, Sébastien. editor. (orcid)0000-0002-6302-2333 Obiedkov, Sergei. editor. (orcid)0000-0003-1497-4001 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-67868-4">https://doi.org/10.1007/978-3-031-67868-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recent Advances in Intelligent Engineering Volume Dedicated to Imre J. Rudas' Seventy-Fifth Birthdayent://SD_ILS/0/SD_ILS:6046282026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Kovács, Levente. editor. (orcid)0000-0002-3188-0800 Haidegger, Tamás. editor. (orcid)0000-0003-1402-1139 Szakál, Anikó. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-58257-8">https://doi.org/10.1007/978-3-031-58257-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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, Proceedingsent://SD_ILS/0/SD_ILS:6048712026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Hillston, Jane. editor. (orcid)0000-0003-4914-9255 Soudjani, Sadegh. editor. Waga, Masaki. editor. (orcid)0000-0001-9360-7490 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68416-6">https://doi.org/10.1007/978-3-031-68416-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6048732026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Watt, Stephen M. editor. (orcid)0000-0001-8303-4983 Ida, Tetsuo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-69042-6">https://doi.org/10.1007/978-3-031-69042-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Spiking Neural P Systems Models and Applicationsent://SD_ILS/0/SD_ILS:6048302026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Peng, Hong. author. (orcid)0000-0002-4736-0164 Wang, Jun. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-5280-5">https://doi.org/10.1007/978-981-97-5280-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cellular Automata 16th International Conference on Cellular Automata for Research and Industry, ACRI 2024, Florence, Italy, September 9-11, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6049902026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Bagnoli, Franco. editor. (orcid)0000-0002-6293-0305 Baetens, Jan. editor. (orcid)0000-0003-4084-9992 Bandini, Stefania. editor. (orcid)0000-0002-7056-0543 Matteuzzi, Tommaso. editor. (orcid)0000-0002-1915-9148 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71552-5">https://doi.org/10.1007/978-3-031-71552-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6050082026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Fazekas, Szilárd Zsolt. editor. (orcid)0000-0001-5319-0395 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71112-1">https://doi.org/10.1007/978-3-031-71112-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6050832026-04-07T00:45:21Z2026-04-07T00:45:21ZAuthor Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428 Trapp, Mario. editor. Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Gallina, Barbara. editor. (orcid)0000-0002-6952-1053<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68738-9">https://doi.org/10.1007/978-3-031-68738-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>