Search Results for Foundations. - Narrowed by: Computer Communication Networks. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dFoundations.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bCommunication$002bNetworks.$002509Computer$002bCommunication$002bNetworks.$0026ps$003d300?dt=list 2026-04-08T09:06:43Z Foundations of Computer Security ent://SD_ILS/0/SD_ILS:175390 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Salomon, David. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-84628-341-8">http://dx.doi.org/10.1007/1-84628-341-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network Analysis Methodological Foundations ent://SD_ILS/0/SD_ILS:183027 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Brandes, Ulrik. editor.&#160;Erlebach, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106453">http://dx.doi.org/10.1007/b106453</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internetworking Technological Foundations and Applications ent://SD_ILS/0/SD_ILS:333971 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Meinel, Christoph. author.&#160;Sack, Harald. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333971.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35392-5">http://dx.doi.org/10.1007/978-3-642-35392-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations for Efficient Web Service Selection ent://SD_ILS/0/SD_ILS:171930 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Yu, Qi. author.&#160;Bouguettaya, Athman. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-0314-3">http://dx.doi.org/10.1007/978-1-4419-0314-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vit&oacute;ria, Brazil, December 4-6, 2024, Proceedings ent://SD_ILS/0/SD_ILS:606244 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029&#160;Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations and Practice of Security 17th International Symposium, FPS 2024, Montr&eacute;al, QC, Canada, December 9-11, 2024, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:608979 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Adi, Kamel. editor. (orcid)0000-0003-2869-0333&#160;Bourdeau, Simon. editor. (orcid)0000-0001-6660-3398&#160;Durand, Christel. editor.&#160;Viet Triem Tong, Val&eacute;rie. editor. (orcid)0000-0003-4838-2952&#160;Dulipovici, Alina. editor. (orcid)0000-0002-8847-5056<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-87496-3">https://doi.org/10.1007/978-3-031-87496-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Science: Foundations and Applications 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:609009 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Wu, Xintao. editor. (orcid)0000-0002-2823-3063&#160;Spiliopoulou, Myra. editor. (orcid)0000-0002-1828-5759&#160;Wang, Can. editor. (orcid)0000-0002-2890-0057&#160;Kumar, Vipin. editor. (orcid)0000-0002-9040-2665&#160;Cao, Longbing. editor. (orcid)0000-0003-1524-9063<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-8295-9">https://doi.org/10.1007/978-981-96-8295-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Science: Foundations and Applications 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part VII ent://SD_ILS/0/SD_ILS:608945 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Wu, Xintao. editor. (orcid)0000-0002-2823-3063&#160;Spiliopoulou, Myra. editor. (orcid)0000-0002-1828-5759&#160;Wang, Can. editor. (orcid)0000-0002-2890-0057&#160;Kumar, Vipin. editor. (orcid)0000-0002-9040-2665&#160;Cao, Longbing. editor. (orcid)0000-0003-1524-9063<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-8298-0">https://doi.org/10.1007/978-981-96-8298-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations and Practice of Security 17th International Symposium, FPS 2024, Montr&eacute;al, QC, Canada, December 9-11, 2024, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:609540 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Adi, Kamel. editor. (orcid)0000-0003-2869-0333&#160;Bourdeau, Simon. editor. (orcid)0000-0001-6660-3398&#160;Durand, Christel. editor.&#160;Viet Triem Tong, Val&eacute;rie. editor. (orcid)0000-0003-4838-2952&#160;Dulipovici, Alina. editor. (orcid)0000-0002-8847-5056<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-87499-4">https://doi.org/10.1007/978-3-031-87499-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602080 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Barbosa, Haniel. editor.&#160;Zohar, Yoni. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-49342-3">https://doi.org/10.1007/978-3-031-49342-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations and Practice of Security 16th International Symposium, FPS 2023, Bordeaux, France, December 11-13, 2023, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:603331 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237&#160;S&egrave;des, Florence. editor.&#160;Tawbi, Nadia. editor.&#160;Ahmed, Toufik. editor.&#160;Boulahia-Cuppens, Nora. editor. (orcid)0000-0001-8792-0413<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-57537-2">https://doi.org/10.1007/978-3-031-57537-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations and Practice of Security 9th International Symposium, FPS 2016, Qu&eacute;bec City, QC, Canada, October 24-25, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:618301 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Cuppens, Fr&eacute;d&eacute;ric. editor.&#160;Wang, Lingyu. editor. (orcid)0000-0002-7441-7541&#160;Cuppens-Boulahia, Nora. editor.&#160;Tawbi, Nadia. editor.&#160;Garcia-Alfaro, Joaquin. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-51966-1">https://doi.org/10.1007/978-3-319-51966-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:611537 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424&#160;Varr&oacute;, D&aacute;niel. editor.&#160;Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-50230-4">https://doi.org/10.1007/978-3-319-50230-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616745 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;W&#261;sowski, Andrzej. editor.&#160;L&ouml;nn, Henrik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-42061-5">https://doi.org/10.1007/978-3-319-42061-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations and Practice of Security 8th International Symposium, FPS 2015, Clermont-Ferrand, France, October 26-28, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:618345 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Garcia-Alfaro, Joaquin. editor.&#160;Kranakis, Evangelos. editor.&#160;Bonfante, Guillaume. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-30303-1">https://doi.org/10.1007/978-3-319-30303-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SemProM Foundations of Semantic Product Memories for the Internet of Things ent://SD_ILS/0/SD_ILS:334416 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Wahlster, Wolfgang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334416.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37377-0">http://dx.doi.org/10.1007/978-3-642-37377-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334711 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Gorp, Pieter. editor.&#160;Ritter, Tom. editor.&#160;Rose, Louis M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334711.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39013-5">http://dx.doi.org/10.1007/978-3-642-39013-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196294 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Garcia-Alfaro, Joaquin. editor.&#160;Lafourcade, Pascal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27901-0">http://dx.doi.org/10.1007/978-3-642-27901-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical and Mathematical Foundations of Computer Science Second International Conference, ICTMF 2011, Singapore, May 5-6, 2011. Selected Papers ent://SD_ILS/0/SD_ILS:195815 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Zhou, Qihai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-24999-0">http://dx.doi.org/10.1007/978-3-642-24999-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Foundations and Applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings ent://SD_ILS/0/SD_ILS:194711 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;France, Robert B. editor.&#160;Kuester, Jochen M. editor.&#160;Bordbar, Behzad. editor.&#160;Paige, Richard F. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21470-7">http://dx.doi.org/10.1007/978-3-642-21470-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Security Analysis and Design VI FOSAD Tutorial Lectures ent://SD_ILS/0/SD_ILS:195231 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Aldini, Alessandro. editor.&#160;Gorrieri, Roberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23082-0">http://dx.doi.org/10.1007/978-3-642-23082-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:194654 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Calinescu, Radu. editor.&#160;Jackson, Ethan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21292-5">http://dx.doi.org/10.1007/978-3-642-21292-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Networking, Computing, Communication Systems, and Mathematical Foundations International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191741 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Wu, Yanwen. editor.&#160;Luo, Qi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11618-6">http://dx.doi.org/10.1007/978-3-642-11618-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Computer Software. Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192036 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Choppy, Christine. editor.&#160;Sokolsky, Oleg. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12566-9">http://dx.doi.org/10.1007/978-3-642-12566-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Foundations and Applications 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192385 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;K&uuml;hne, Thomas. editor.&#160;Selic, Bran. editor.&#160;Gervais, Marie-Pierre. editor.&#160;Terrier, Fran&ccedil;ois. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13595-8">http://dx.doi.org/10.1007/978-3-642-13595-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:190634 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Degano, Pierpaolo. editor.&#160;Vigan&ograve;, Luca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03459-6">http://dx.doi.org/10.1007/978-3-642-03459-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Security Analysis and Design V FOSAD 2007/2008/2009 Tutorial Lectures ent://SD_ILS/0/SD_ILS:190753 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Aldini, Alessandro. editor.&#160;Barthe, Gilles. editor.&#160;Gorrieri, Roberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03829-7">http://dx.doi.org/10.1007/978-3-642-03829-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Traffic Grooming for Optical Networks Foundations, Techniques, and Frontiers ent://SD_ILS/0/SD_ILS:167174 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Dutta, Rudra. editor.&#160;Kamal, Ahmed E. editor.&#160;Rouskas, George N. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-74518-3">http://dx.doi.org/10.1007/978-0-387-74518-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Security Analysis and Design IV FOSAD 2006/2007 Tutorial Lectures ent://SD_ILS/0/SD_ILS:187272 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Aldini, Alessandro. editor.&#160;Gorrieri, Roberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-74810-6">http://dx.doi.org/10.1007/978-3-540-74810-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures ent://SD_ILS/0/SD_ILS:183009 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Aldini, Alessandro. editor.&#160;Gorrieri, Roberto. editor.&#160;Martinelli, Fabio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11554578">http://dx.doi.org/10.1007/11554578</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Self-star Properties in Complex Information Systems Conceptual and Practical Foundations ent://SD_ILS/0/SD_ILS:183081 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Babaoglu, Ozalp. editor.&#160;Jelasity, M&aacute;rk. editor.&#160;Montresor, Alberto. editor.&#160;Fetzer, Christof. editor.&#160;Leonardi, Stefano. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136551">http://dx.doi.org/10.1007/b136551</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ambient Intelligence for Scientific Discovery Foundations, Theories, and Systems ent://SD_ILS/0/SD_ILS:183250 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Cai, Yang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b105582">http://dx.doi.org/10.1007/b105582</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination of Complex Sociotechnical Systems Self-organisation of Knowledge in MoK ent://SD_ILS/0/SD_ILS:611371 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Mariani, Stefano. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-47109-9">https://doi.org/10.1007/978-3-319-47109-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Topics in System and Signal Theory A Mathematical Approach ent://SD_ILS/0/SD_ILS:190689 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Pohl, Volker. author.&#160;Boche, Holger. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03639-2">http://dx.doi.org/10.1007/978-3-642-03639-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Resource Allocation in Wireless Networks Theory and Algorithms ent://SD_ILS/0/SD_ILS:188418 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Stanczak, Slawomir. author.&#160;Wiczanowski, Marcin. author.&#160;Boche, Holger. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-79386-1">http://dx.doi.org/10.1007/978-3-540-79386-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Progress in Artificial Intelligence 23rd EPIA Conference on Artificial Intelligence, EPIA 2024, Viana do Castelo, Portugal, September 3-6, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:606037 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Santos, Manuel Filipe. editor.&#160;Machado, Jos&eacute;. editor. (orcid)0000-0003-4121-6169&#160;Novais, Paulo. editor. (orcid)0000-0002-3549-0754&#160;Cortez, Paulo. editor. (orcid)0000-0002-7991-2090&#160;Moreira, Pedro Miguel. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-73500-4">https://doi.org/10.1007/978-3-031-73500-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Storytelling 17th International Conference on Interactive Digital Storytelling, ICIDS 2024, Barranquilla, Colombia, December 2-6, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:606583 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Murray, John T. editor. (orcid)0000-0003-2579-6802&#160;Reyes, Mar&iacute;a Cecilia. editor. (orcid)0000-0001-8084-469X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-78450-7">https://doi.org/10.1007/978-3-031-78450-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Storytelling 17th International Conference on Interactive Digital Storytelling, ICIDS 2024, Barranquilla, Colombia, December 2-6, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:606584 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Murray, John T. editor. (orcid)0000-0003-2579-6802&#160;Reyes, Mar&iacute;a Cecilia. editor. (orcid)0000-0001-8084-469X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-78453-8">https://doi.org/10.1007/978-3-031-78453-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing and Intelligent Technology 21st International Conference, ICDCIT 2025, Bhubaneswar, India, January 8-11, 2025, Proceedings ent://SD_ILS/0/SD_ILS:606789 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Bramas, Quentin. editor. (orcid)0000-0003-0612-5616&#160;Chatterjee, Bapi. editor. (orcid)0000-0002-2742-4028&#160;Devismes, St&eacute;phane. editor. (orcid)0000-0002-8032-9732&#160;Egan, Malcolm. editor. (orcid)0000-0003-2534-2018&#160;Mandal, Partha Sarathi. editor. (orcid)0000-0002-8632-5767<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-81404-4">https://doi.org/10.1007/978-3-031-81404-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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 I ent://SD_ILS/0/SD_ILS:607158 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Kr&aacute;lovi&#269;, Rastislav. editor. (orcid)0000-0003-1121-1009&#160;K&#367;rkov&aacute;, V&#283;ra. editor. (orcid)0000-0002-8181-2128&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Communication Technology 13th International Symposium, SOICT 2024, Danang, Vietnam, December 13-15, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:608130 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Buntine, Wray. editor. (orcid)0000-0001-9292-1015&#160;Fjeld, Morten. editor. (orcid)0000-0002-9562-5147&#160;Tran, Truyen. editor. (orcid)0000-0001-6531-8907&#160;Tran, Minh-Triet. editor. (orcid)0000-0003-3046-3041&#160;Huynh Thi Thanh, Binh. editor. (orcid)0000-0003-1976-6113<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-4282-3">https://doi.org/10.1007/978-981-96-4282-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Communication Technology 13th International Symposium, SOICT 2024, Danang, Vietnam, December 13-15, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:608231 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Buntine, Wray. editor. (orcid)0000-0001-9292-1015&#160;Fjeld, Morten. editor. (orcid)0000-0002-9562-5147&#160;Tran, Truyen. editor. (orcid)0000-0001-6531-8907&#160;Tran, Minh-Triet. editor. (orcid)0000-0003-3046-3041&#160;Huynh Thi Thanh, Binh. editor. (orcid)0000-0003-1976-6113<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-4285-4">https://doi.org/10.1007/978-981-96-4285-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Communication Technology 13th International Symposium, SOICT 2024, Danang, Vietnam, December 13-15, 2024, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:608232 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Buntine, Wray. editor. (orcid)0000-0001-9292-1015&#160;Fjeld, Morten. editor. (orcid)0000-0002-9562-5147&#160;Tran, Truyen. editor. (orcid)0000-0001-6531-8907&#160;Tran, Minh-Triet. editor. (orcid)0000-0003-3046-3041&#160;Huynh Thi Thanh, Binh. editor. (orcid)0000-0003-1976-6113<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-4291-5">https://doi.org/10.1007/978-981-96-4291-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Progress in Artificial Intelligence 23rd EPIA Conference on Artificial Intelligence, EPIA 2024, Viana do Castelo, Portugal, September 3-6, 2024, Proceedings, Part III ent://SD_ILS/0/SD_ILS:606030 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Santos, Manuel Filipe. editor.&#160;Machado, Jos&eacute;. editor. (orcid)0000-0003-4121-6169&#160;Novais, Paulo. editor. (orcid)0000-0002-3549-0754&#160;Cortez, Paulo. editor. (orcid)0000-0002-7991-2090&#160;Moreira, Pedro Miguel. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-73503-5">https://doi.org/10.1007/978-3-031-73503-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Progress in Artificial Intelligence 23rd EPIA Conference on Artificial Intelligence, EPIA 2024, Viana do Castelo, Portugal, September 3-6, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:606036 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Santos, Manuel Filipe. editor.&#160;Machado, Jos&eacute;. editor. (orcid)0000-0003-4121-6169&#160;Novais, Paulo. editor. (orcid)0000-0002-3549-0754&#160;Cortez, Paulo. editor. (orcid)0000-0002-7991-2090&#160;Moreira, Pedro Miguel. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-73497-7">https://doi.org/10.1007/978-3-031-73497-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Cryptography 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:606243 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Boyle, Elette. editor.&#160;Mahmoody, Mohammad. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Cryptography 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part III ent://SD_ILS/0/SD_ILS:606283 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Boyle, Elette. editor.&#160;Mahmoody, Mohammad. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Cryptography 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:606319 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Boyle, Elette. editor.&#160;Mahmoody, Mohammad. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Cryptography 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:606350 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Boyle, Elette. editor.&#160;Mahmoody, Mohammad. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling of Antenna and Waveguide Devices for Wireless and Satellite Communications Systems ent://SD_ILS/0/SD_ILS:606689 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Islamov, Islam. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-79010-2">https://doi.org/10.1007/978-3-031-79010-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings ent://SD_ILS/0/SD_ILS:607016 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Men&eacute;ndez, H&eacute;ctor D. editor. (orcid)0000-0002-6314-3725&#160;Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286&#160;Barnard, Pepita. editor. (orcid)0000-0003-4518-1207&#160;Bautista, John Robert. editor. (orcid)0000-0002-4892-9543&#160;Farahi, Arya. editor. (orcid)0000-0003-0777-4618<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-80889-0">https://doi.org/10.1007/978-3-031-80889-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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 II ent://SD_ILS/0/SD_ILS:607261 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Kr&aacute;lovi&#269;, Rastislav. editor. (orcid)0000-0003-1121-1009&#160;K&#367;rkov&aacute;, V&#283;ra. editor. (orcid)0000-0002-8181-2128&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 VI ent://SD_ILS/0/SD_ILS:608242 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Fehr, Serge. editor.&#160;Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 VII ent://SD_ILS/0/SD_ILS:608243 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Fehr, Serge. editor.&#160;Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 I ent://SD_ILS/0/SD_ILS:608244 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Fehr, Serge. editor.&#160;Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 II ent://SD_ILS/0/SD_ILS:608245 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Fehr, Serge. editor.&#160;Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 IV ent://SD_ILS/0/SD_ILS:608246 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Fehr, Serge. editor.&#160;Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 V ent://SD_ILS/0/SD_ILS:608267 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Fehr, Serge. editor.&#160;Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 VIII ent://SD_ILS/0/SD_ILS:608268 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Fehr, Serge. editor.&#160;Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 III ent://SD_ILS/0/SD_ILS:608269 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Fehr, Serge. editor.&#160;Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Communication Technology 13th International Symposium, SOICT 2024, Danang, Vietnam, December 13-15, 2024, Proceedings, Part III ent://SD_ILS/0/SD_ILS:608270 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Buntine, Wray. editor. (orcid)0000-0001-9292-1015&#160;Fjeld, Morten. editor. (orcid)0000-0002-9562-5147&#160;Tran, Truyen. editor. (orcid)0000-0001-6531-8907&#160;Tran, Minh-Triet. editor. (orcid)0000-0003-3046-3041&#160;Huynh Thi Thanh, Binh. editor. (orcid)0000-0003-1976-6113<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-4288-5">https://doi.org/10.1007/978-981-96-4288-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security and Cryptology 20th International Conference, Inscrypt 2024, Kunming, China, December 14-16, 2024, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:608363 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Lin, Dongdai. editor.&#160;Wang, Meiqin. editor.&#160;Yung, Moti. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-4731-6">https://doi.org/10.1007/978-981-96-4731-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security and Cryptology 20th International Conference, Inscrypt 2024, Kunming, China, December 14-16, 2024, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:608364 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Lin, Dongdai. editor.&#160;Wang, Meiqin. editor.&#160;Yung, Moti. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-4734-7">https://doi.org/10.1007/978-981-96-4734-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Key Technologies of High Frequency Wireless Communications ent://SD_ILS/0/SD_ILS:608871 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Li, Jianguo. author.&#160;Pan, Jianxiong. author.&#160;Lin, Yujie. author.&#160;Ye, Neng. author.&#160;Yang, Kai. author. (orcid)0000-0003-1059-0705<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-5894-7">https://doi.org/10.1007/978-981-96-5894-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> PRICAI 2024: Trends in Artificial Intelligence 21st Pacific Rim International Conference on Artificial Intelligence, PRICAI 2024, Kyoto, Japan, November 18-24, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:606080 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Hadfi, Rafik. editor. (orcid)0000-0003-2352-1936&#160;Anthony, Patricia. editor. (orcid)0000-0002-4991-3340&#160;Sharma, Alok. editor. (orcid)0000-0002-7668-3501&#160;Ito, Takayuki. editor. (orcid)0000-0001-5093-3886&#160;Bai, Quan. editor. (orcid)0000-0003-1214-6317<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-0116-5">https://doi.org/10.1007/978-981-96-0116-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> PRICAI 2024: Trends in Artificial Intelligence 21st Pacific Rim International Conference on Artificial Intelligence, PRICAI 2024, Kyoto, Japan, November 18-24, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:606081 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Hadfi, Rafik. editor. (orcid)0000-0003-2352-1936&#160;Anthony, Patricia. editor. (orcid)0000-0002-4991-3340&#160;Sharma, Alok. editor. (orcid)0000-0002-7668-3501&#160;Ito, Takayuki. editor. (orcid)0000-0001-5093-3886&#160;Bai, Quan. editor. (orcid)0000-0003-1214-6317<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-0119-6">https://doi.org/10.1007/978-981-96-0119-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> PRICAI 2024: Trends in Artificial Intelligence 21st Pacific Rim International Conference on Artificial Intelligence, PRICAI 2024, Kyoto, Japan, November 18-24, 2024, Proceedings, Part III ent://SD_ILS/0/SD_ILS:606082 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Hadfi, Rafik. editor. (orcid)0000-0003-2352-1936&#160;Anthony, Patricia. editor. (orcid)0000-0002-4991-3340&#160;Sharma, Alok. editor. (orcid)0000-0002-7668-3501&#160;Ito, Takayuki. editor. (orcid)0000-0001-5093-3886&#160;Bai, Quan. editor. (orcid)0000-0003-1214-6317<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-0122-6">https://doi.org/10.1007/978-981-96-0122-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> PRICAI 2024: Trends in Artificial Intelligence 21st Pacific Rim International Conference on Artificial Intelligence, PRICAI 2024, Kyoto, Japan, November 18-24, 2024, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:606083 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Hadfi, Rafik. editor. (orcid)0000-0003-2352-1936&#160;Anthony, Patricia. editor. (orcid)0000-0002-4991-3340&#160;Sharma, Alok. editor. (orcid)0000-0002-7668-3501&#160;Ito, Takayuki. editor. (orcid)0000-0001-5093-3886&#160;Bai, Quan. editor. (orcid)0000-0003-1214-6317<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-0125-7">https://doi.org/10.1007/978-981-96-0125-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> PRICAI 2024: Trends in Artificial Intelligence 21st Pacific Rim International Conference on Artificial Intelligence, PRICAI 2024, Kyoto, Japan, November 18-24, 2024, Proceedings, Part V ent://SD_ILS/0/SD_ILS:606084 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Hadfi, Rafik. editor. (orcid)0000-0003-2352-1936&#160;Anthony, Patricia. editor. (orcid)0000-0002-4991-3340&#160;Sharma, Alok. editor. (orcid)0000-0002-7668-3501&#160;Ito, Takayuki. editor. (orcid)0000-0001-5093-3886&#160;Bai, Quan. editor. (orcid)0000-0003-1214-6317<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-0128-8">https://doi.org/10.1007/978-981-96-0128-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:602531 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Fernau, Henning. editor. (orcid)0000-0002-4444-3220&#160;Gaspers, Serge. editor. (orcid)0000-0002-6947-9238&#160;Klasing, Ralf. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing and Intelligent Technology 20th International Conference, ICDCIT 2024, Bhubaneswar, India, January 17-20, 2024, Proceedings ent://SD_ILS/0/SD_ILS:602270 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Devismes, St&eacute;phane. editor.&#160;Mandal, Partha Sarathi. editor. (orcid)0000-0002-8632-5767&#160;Saradhi, V. Vijaya. editor.&#160;Prasad, Bhanu. editor.&#160;Molla, Anisur Rahaman. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-50583-6">https://doi.org/10.1007/978-3-031-50583-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dynamic Logic. New Trends and Applications 5th International Workshop, DaL&iacute; 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602351 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Gierasimczuk, Nina. editor.&#160;Vel&aacute;zquez-Quesada, Fernando R. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-51777-8">https://doi.org/10.1007/978-3-031-51777-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning, Optimization, and Data Science 9th International Conference, LOD 2023, Grasmere, UK, September 22-26, 2023, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:602575 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Nicosia, Giuseppe. editor.&#160;Ojha, Varun. editor. (orcid)0000-0002-9256-1192&#160;La Malfa, Emanuele. editor.&#160;La Malfa, Gabriele. editor.&#160;Pardalos, Panos M. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-53966-4">https://doi.org/10.1007/978-3-031-53966-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning, Optimization, and Data Science 9th International Conference, LOD 2023, Grasmere, UK, September 22-26, 2023, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:602581 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Nicosia, Giuseppe. editor.&#160;Ojha, Varun. editor. (orcid)0000-0002-9256-1192&#160;La Malfa, Emanuele. editor.&#160;La Malfa, Gabriele. editor.&#160;Pardalos, Panos M. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-53969-5">https://doi.org/10.1007/978-3-031-53969-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Road towards 6G: Opportunities, Challenges, and Applications A Comprehensive View of the Enabling Technologies ent://SD_ILS/0/SD_ILS:602904 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Loscri, Valeria. editor.&#160;Chiaraviglio, Luca. editor. (orcid)0000-0002-5350-2691&#160;Vegni, Anna Maria. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-42567-7">https://doi.org/10.1007/978-3-031-42567-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:603337 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Yang, De-Nian. editor. (orcid)0000-0002-3765-9293&#160;Xie, Xing. editor. (orcid)0000-0002-8608-8482&#160;Tseng, Vincent S. editor. (orcid)0000-0002-4853-1594&#160;Pei, Jian. editor. (orcid)0000-0002-2200-8711&#160;Huang, Jen-Wei. editor. (orcid)0000-0001-5482-8311<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-2242-6">https://doi.org/10.1007/978-981-97-2242-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:603338 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Yang, De-Nian. editor. (orcid)0000-0002-3765-9293&#160;Xie, Xing. editor. (orcid)0000-0002-8608-8482&#160;Tseng, Vincent S. editor. (orcid)0000-0002-4853-1594&#160;Pei, Jian. editor. (orcid)0000-0002-2200-8711&#160;Huang, Jen-Wei. editor. (orcid)0000-0001-5482-8311<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-2253-2">https://doi.org/10.1007/978-981-97-2253-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part III ent://SD_ILS/0/SD_ILS:603339 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Yang, De-Nian. editor. (orcid)0000-0002-3765-9293&#160;Xie, Xing. editor. (orcid)0000-0002-8608-8482&#160;Tseng, Vincent S. editor. (orcid)0000-0002-4853-1594&#160;Pei, Jian. editor. (orcid)0000-0002-2200-8711&#160;Huang, Jen-Wei. editor. (orcid)0000-0001-5482-8311<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-2259-4">https://doi.org/10.1007/978-981-97-2259-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part V ent://SD_ILS/0/SD_ILS:603340 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Yang, De-Nian. editor. (orcid)0000-0002-3765-9293&#160;Xie, Xing. editor. (orcid)0000-0002-8608-8482&#160;Tseng, Vincent S. editor. (orcid)0000-0002-4853-1594&#160;Pei, Jian. editor. (orcid)0000-0002-2200-8711&#160;Huang, Jen-Wei. editor. (orcid)0000-0001-5482-8311<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-2262-4">https://doi.org/10.1007/978-981-97-2262-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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 II ent://SD_ILS/0/SD_ILS:603492 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Joye, Marc. editor. (orcid)0000-0003-4433-2333&#160;Leander, Gregor. editor. (orcid)0000-0002-2579-8587&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology - CRYPTO 2024 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part III ent://SD_ILS/0/SD_ILS:604730 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Reyzin, Leonid. editor.&#160;Stebila, Douglas. editor. (orcid)0000-0001-9443-3170&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-68382-4">https://doi.org/10.1007/978-3-031-68382-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology - CRYPTO 2024 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:604733 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Reyzin, Leonid. editor.&#160;Stebila, Douglas. editor. (orcid)0000-0001-9443-3170&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-68376-3">https://doi.org/10.1007/978-3-031-68376-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology - CRYPTO 2024 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:604734 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Reyzin, Leonid. editor.&#160;Stebila, Douglas. editor. (orcid)0000-0001-9443-3170&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-68379-4">https://doi.org/10.1007/978-3-031-68379-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology - CRYPTO 2024 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:604735 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Reyzin, Leonid. editor.&#160;Stebila, Douglas. editor. (orcid)0000-0001-9443-3170&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-68385-5">https://doi.org/10.1007/978-3-031-68385-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology - CRYPTO 2024 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part V ent://SD_ILS/0/SD_ILS:604736 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Reyzin, Leonid. editor.&#160;Stebila, Douglas. editor. (orcid)0000-0001-9443-3170&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-68388-6">https://doi.org/10.1007/978-3-031-68388-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology - CRYPTO 2024 44th Annual International Cryptology Conference, CRYPTO 2024, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part VIII ent://SD_ILS/0/SD_ILS:604737 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Reyzin, Leonid. editor.&#160;Stebila, Douglas. editor. (orcid)0000-0001-9443-3170&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-68397-8">https://doi.org/10.1007/978-3-031-68397-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology - CRYPTO 2024 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part IX ent://SD_ILS/0/SD_ILS:604738 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Reyzin, Leonid. editor.&#160;Stebila, Douglas. editor. (orcid)0000-0001-9443-3170&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-68400-5">https://doi.org/10.1007/978-3-031-68400-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology - CRYPTO 2024 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part X ent://SD_ILS/0/SD_ILS:604739 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Reyzin, Leonid. editor.&#160;Stebila, Douglas. editor. (orcid)0000-0001-9443-3170&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-68403-6">https://doi.org/10.1007/978-3-031-68403-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Information Systems Interoperability Data, Services, and Processes ent://SD_ILS/0/SD_ILS:603270 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Rinderle-Ma, Stefanie. author. (orcid)0000-0001-5656-6108&#160;Mangler, J&uuml;rgen. author.&#160;Ritter, Daniel. author. (orcid)0000-0001-6146-3365&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-48322-6">https://doi.org/10.1007/978-3-031-48322-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:603341 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Yang, De-Nian. editor. (orcid)0000-0002-3765-9293&#160;Xie, Xing. editor. (orcid)0000-0002-8608-8482&#160;Tseng, Vincent S. editor. (orcid)0000-0002-4853-1594&#160;Pei, Jian. editor. (orcid)0000-0002-2200-8711&#160;Huang, Jen-Wei. editor. (orcid)0000-0001-5482-8311<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-2266-2">https://doi.org/10.1007/978-981-97-2266-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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 I ent://SD_ILS/0/SD_ILS:603382 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Joye, Marc. editor. (orcid)0000-0003-4433-2333&#160;Leander, Gregor. editor. (orcid)0000-0002-2579-8587&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 IV ent://SD_ILS/0/SD_ILS:603383 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Joye, Marc. editor. (orcid)0000-0003-4433-2333&#160;Leander, Gregor. editor. (orcid)0000-0002-2579-8587&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 V ent://SD_ILS/0/SD_ILS:603384 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Joye, Marc. editor. (orcid)0000-0003-4433-2333&#160;Leander, Gregor. editor. (orcid)0000-0002-2579-8587&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 VI ent://SD_ILS/0/SD_ILS:603385 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Joye, Marc. editor. (orcid)0000-0003-4433-2333&#160;Leander, Gregor. editor. (orcid)0000-0002-2579-8587&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 VII ent://SD_ILS/0/SD_ILS:603386 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Joye, Marc. editor. (orcid)0000-0003-4433-2333&#160;Leander, Gregor. editor. (orcid)0000-0002-2579-8587&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 III ent://SD_ILS/0/SD_ILS:603434 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Joye, Marc. editor. (orcid)0000-0003-4433-2333&#160;Leander, Gregor. editor. (orcid)0000-0002-2579-8587&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology - CRYPTO 2024 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:604742 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Reyzin, Leonid. editor.&#160;Stebila, Douglas. editor. (orcid)0000-0001-9443-3170&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-68391-6">https://doi.org/10.1007/978-3-031-68391-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology - CRYPTO 2024 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part VII ent://SD_ILS/0/SD_ILS:604743 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Reyzin, Leonid. editor.&#160;Stebila, Douglas. editor. (orcid)0000-0001-9443-3170&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-68394-7">https://doi.org/10.1007/978-3-031-68394-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Industrial Edge Computing Architecture, Optimization and Applications ent://SD_ILS/0/SD_ILS:604811 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Zhou, Xiaobo. author.&#160;Ge, Shuxin. author.&#160;Chi, Jiancheng. author.&#160;Qiu, Tie. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-4752-8">https://doi.org/10.1007/978-981-97-4752-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:604823 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Yang, De-Nian. editor. (orcid)0000-0002-3765-9293&#160;Xie, Xing. editor. (orcid)0000-0002-8608-8482&#160;Tseng, Vincent S. editor. (orcid)0000-0002-4853-1594&#160;Pei, Jian. editor. (orcid)0000-0002-2200-8711&#160;Huang, Jen-Wei. editor. (orcid)0000-0001-5482-8311<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-2238-9">https://doi.org/10.1007/978-981-97-2238-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security and Cryptography for Networks 14th International Conference, SCN 2024, Amalfi, Italy, September 11-13, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:605093 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Galdi, Clemente. editor. (orcid)0000-0002-2988-700X&#160;Phan, Duong Hieu. editor. (orcid)0000-0003-1136-4064&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-71070-4">https://doi.org/10.1007/978-3-031-71070-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security and Cryptography for Networks 14th International Conference, SCN 2024, Amalfi, Italy, September 11-13, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:605094 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Galdi, Clemente. editor. (orcid)0000-0002-2988-700X&#160;Phan, Duong Hieu. editor. (orcid)0000-0003-1136-4064&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-71073-5">https://doi.org/10.1007/978-3-031-71073-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cloud Computing with Security and Scalability. Concepts and Practices ent://SD_ILS/0/SD_ILS:526775 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Sehgal, Naresh Kumar. author.&#160;Bhatt, Pramod Chandra P. author.&#160;Acken, John M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-07242-0">https://doi.org/10.1007/978-3-031-07242-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612715 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Phillips, Iain. editor.&#160;Rahaman, Hafizur. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-59936-6">https://doi.org/10.1007/978-3-319-59936-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology - CRYPTO 2017 37th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 20-24, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:610931 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Katz, Jonathan. editor.&#160;Shacham, Hovav. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-63688-7">https://doi.org/10.1007/978-3-319-63688-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611148 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Duan, Zhenhua. editor.&#160;Ong, Luke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-68690-5">https://doi.org/10.1007/978-3-319-68690-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612246 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Strichman, Ofer. editor.&#160;Tzoref-Brill, Rachel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-70389-3">https://doi.org/10.1007/978-3-319-70389-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613073 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Steffen, Bernhard. editor.&#160;Baier, Christel. editor.&#160;van den Brand, Mark. editor.&#160;Eder, Johann. editor.&#160;Hinchey, Mike. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-51963-0">https://doi.org/10.1007/978-3-319-51963-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613619 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Bogomolov, Sergiy. editor.&#160;Martel, Matthieu. editor.&#160;Prabhakar, Pavithra. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-54292-8">https://doi.org/10.1007/978-3-319-54292-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings ent://SD_ILS/0/SD_ILS:615949 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;El Abbadi, Amr. editor. (orcid)0000-0003-4692-3268&#160;Garbinato, Beno&icirc;t. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-59647-1">https://doi.org/10.1007/978-3-319-59647-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cross-Cultural Design 9th International Conference, CCD 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings ent://SD_ILS/0/SD_ILS:617617 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-57931-3">https://doi.org/10.1007/978-3-319-57931-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:618013 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Berger, Christian. editor.&#160;Mousavi, Mohammad Reza. editor.&#160;Wisniewski, Rafael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-51738-4">https://doi.org/10.1007/978-3-319-51738-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:610851 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Gibson-Robinson, Thomas. editor.&#160;Hopcroft, Philippa. editor.&#160;Lazi&#263;, Ranko. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-51046-0">https://doi.org/10.1007/978-3-319-51046-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Big Data Technologies and Applications 7th International Conference, BDTA 2016, Seoul, South Korea, November 17-18, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611577 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Jung, Jason J. editor.&#160;Kim, Pankoo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-58967-1">https://doi.org/10.1007/978-3-319-58967-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613532 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Yevtushenko, Nina. editor.&#160;Cavalli, Ana Rosa. editor.&#160;Yenig&uuml;n, H&uuml;sn&uuml;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-67549-7">https://doi.org/10.1007/978-3-319-67549-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantum Interaction 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:616020 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;de Barros, Jose Acacio. editor.&#160;Coecke, Bob. editor.&#160;Pothos, Emmanuel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-52289-0">https://doi.org/10.1007/978-3-319-52289-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology - CRYPTO 2017 37th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 20-24, 2017, Proceedings, Part III ent://SD_ILS/0/SD_ILS:618126 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Katz, Jonathan. editor.&#160;Shacham, Hovav. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-63697-9">https://doi.org/10.1007/978-3-319-63697-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings ent://SD_ILS/0/SD_ILS:618348 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Antonucci, Alessandro. editor.&#160;Cholvy, Laurence. editor.&#160;Papini, Odile. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-61581-3">https://doi.org/10.1007/978-3-319-61581-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Multi-Criterion Optimization 9th International Conference, EMO 2017, M&uuml;nster, Germany, March 19-22, 2017, Proceedings ent://SD_ILS/0/SD_ILS:618443 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Trautmann, Heike. editor.&#160;Rudolph, G&uuml;nter. editor.&#160;Klamroth, Kathrin. editor.&#160;Sch&uuml;tze, Oliver. editor.&#160;Wiecek, Margaret. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-54157-0">https://doi.org/10.1007/978-3-319-54157-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612796 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Bouajjani, Ahmed. editor.&#160;Monniaux, David. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-52234-0">https://doi.org/10.1007/978-3-319-52234-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology - CRYPTO 2017 37th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 20-24, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:613574 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Katz, Jonathan. editor.&#160;Shacham, Hovav. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-63715-0">https://doi.org/10.1007/978-3-319-63715-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuch&acirc;tel, Switzerland, June 19-22, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616091 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Bouajjani, Ahmed. editor.&#160;Silva, Alexandra. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-60225-7">https://doi.org/10.1007/978-3-319-60225-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings ent://SD_ILS/0/SD_ILS:617240 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Klasing, Ralf. editor.&#160;Zeitoun, Marc. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Science XXIX ent://SD_ILS/0/SD_ILS:617821 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Gavrilova, Marina L. editor.&#160;Tan, C.J. Kenneth. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-54563-8">https://doi.org/10.1007/978-3-662-54563-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612379 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259&#160;Lawford, Mark. editor.&#160;Liu, Shaoying. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-47846-3">https://doi.org/10.1007/978-3-319-47846-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612741 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Amos, Martyn. editor.&#160;Condon, Anne. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-41312-9">https://doi.org/10.1007/978-3-319-41312-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612727 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Crnkovic, Ivica. editor.&#160;Troubitsyna, Elena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-45892-2">https://doi.org/10.1007/978-3-319-45892-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Networked Systems 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613600 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611&#160;Delporte-Gallet, Carole. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-46140-3">https://doi.org/10.1007/978-3-319-46140-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:611037 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Mauw, Sjouke. editor.&#160;Kordy, Barbara. editor.&#160;Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-29968-6">https://doi.org/10.1007/978-3-319-29968-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611230 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Bloem, Roderick. editor.&#160;Arbel, Eli. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-49052-6">https://doi.org/10.1007/978-3-319-49052-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Case-Based Reasoning Research and Development 24th International Conference, ICCBR 2016, Atlanta, GA, USA, October 31 - November 2, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612473 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Goel, Ashok. editor.&#160;D&iacute;az-Agudo, M Bel&eacute;n. editor.&#160;Roth-Berghofer, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-47096-2">https://doi.org/10.1007/978-3-319-47096-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cloud Computing and Services Science 5th International Conference, CLOSER 2015, Lisbon, Portugal, May 20-22, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:614005 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Helfert, Markus. editor.&#160;M&eacute;ndez Mu&ntilde;oz, V&iacute;ctor. editor.&#160;Ferguson, Donald. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-29582-4">https://doi.org/10.1007/978-3-319-29582-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Cryptography 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part I ent://SD_ILS/0/SD_ILS:615946 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Hirt, Martin. editor.&#160;Smith, Adam. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-53641-4">https://doi.org/10.1007/978-3-662-53641-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Science XXVII ent://SD_ILS/0/SD_ILS:616160 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Gavrilova, Marina L. editor.&#160;Tan, C.J. Kenneth. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-50412-3">https://doi.org/10.1007/978-3-662-50412-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Sensor Networks Concepts, Applications, Experimentation and Analysis ent://SD_ILS/0/SD_ILS:616344 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Fahmy, Hossam Mahmoud Ahmad. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-0412-4">https://doi.org/10.1007/978-981-10-0412-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616986 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Wotawa, Franz. editor.&#160;Nica, Mihai. editor.&#160;Kushik, Natalia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-47443-4">https://doi.org/10.1007/978-3-319-47443-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:610820 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Hildebrandt, Thomas. editor.&#160;Ravara, Ant&oacute;nio. editor.&#160;van der Werf, Jan Martijn. editor.&#160;Weidlich, Matthias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-33612-1">https://doi.org/10.1007/978-3-319-33612-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings ent://SD_ILS/0/SD_ILS:610942 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Albert, Elvira. editor.&#160;Lanese, Ivan. editor. (orcid)0000-0003-2527-9995&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-39570-8">https://doi.org/10.1007/978-3-319-39570-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings ent://SD_ILS/0/SD_ILS:611433 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Grabowski, Jens. editor.&#160;Herbold, Steffen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-46613-2">https://doi.org/10.1007/978-3-319-46613-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611458 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Lecomte, Thierry. editor.&#160;Pinger, Ralf. editor.&#160;Romanovsky, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-33951-1">https://doi.org/10.1007/978-3-319-33951-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Electronic Government 15th IFIP WG 8.5 International Conference, EGOV 2016, Guimar&atilde;es, Portugal, September 5-8, 2016, Proceedings. ent://SD_ILS/0/SD_ILS:611720 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Scholl, Hans Jochen. editor.&#160;Glassey, Olivier. editor.&#160;Janssen, Marijn. editor. (orcid)0000-0001-6211-8790&#160;Klievink, Bram. editor.&#160;Lindgren, Ida. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-44421-5">https://doi.org/10.1007/978-3-319-44421-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Cryptography 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part II ent://SD_ILS/0/SD_ILS:613859 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Hirt, Martin. editor.&#160;Smith, Adam. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-53644-5">https://doi.org/10.1007/978-3-662-53644-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> PRICAI 2016: Trends in Artificial Intelligence 14th Pacific Rim International Conference on Artificial Intelligence, Phuket, Thailand, August 22-26, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616007 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Booth, Richard. editor.&#160;Zhang, Min-Ling. editor. (orcid)0000-0003-1880-5918&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-42911-3">https://doi.org/10.1007/978-3-319-42911-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Electronic Participation 8th IFIP WG 8.5 International Conference, ePart 2016, Guimar&atilde;es, Portugal, September 5-8, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616172 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Tambouris, Efthimios. editor.&#160;Panagiotopoulos, Panos. editor. (orcid)0000-0001-5408-4842&#160;S&aelig;b&oslash;, &Oslash;ystein. editor.&#160;Wimmer, Maria A. editor.&#160;Pardo, Theresa A. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-45074-2">https://doi.org/10.1007/978-3-319-45074-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fusion Methodologies in Crisis Management Higher Level Fusion and Decision Making ent://SD_ILS/0/SD_ILS:614780 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Rogova, Galina. editor.&#160;Scott, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-22527-2">https://doi.org/10.1007/978-3-319-22527-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings ent://SD_ILS/0/SD_ILS:618122 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Jobstmann, Barbara. editor.&#160;Leino, K. Rustan M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-49122-5">https://doi.org/10.1007/978-3-662-49122-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination, Organizations, Institutions, and Norms in Agent Systems XI COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:612983 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Dignum, Virginia. editor. (orcid)0000-0001-7409-5813&#160;Noriega, Pablo. editor.&#160;Sensoy, Murat. editor.&#160;Sichman, Jaime Sim&atilde;o. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-42691-4">https://doi.org/10.1007/978-3-319-42691-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Services Computing 10th Asia-Pacific Services Computing Conference, APSCC 2016, Zhangjiajie, China, November 16-18, 2016, Proceedings ent://SD_ILS/0/SD_ILS:613622 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Wang, Guojun. editor. (orcid)0000-0001-9875-4182&#160;Han, Yanbo. editor.&#160;Mart&iacute;nez P&eacute;rez, Gregorio. editor. (orcid)0000-0001-5532-6604&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-49178-3">https://doi.org/10.1007/978-3-319-49178-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stabilization, Safety, and Security of Distributed Systems 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616264 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Bonakdarpour, Borzoo. editor.&#160;Petit, Franck. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-49259-9">https://doi.org/10.1007/978-3-319-49259-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Brain Informatics and Health International Conference, BIH 2016, Omaha, NE, USA, October 13-16, 2016 Proceedings ent://SD_ILS/0/SD_ILS:616995 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Ascoli, Giorgio A. editor.&#160;Hawrylycz, Michael. editor.&#160;Ali, Hesham. editor.&#160;Khazanchi, Deepak. editor.&#160;Shi, Yong. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-47103-7">https://doi.org/10.1007/978-3-319-47103-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Using Office 365 With Windows 8 ent://SD_ILS/0/SD_ILS:618671 2026-04-08T09:06:43Z 2026-04-08T09:06:43Z Author&#160;Wilson, Kevin. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6686-0">https://doi.org/10.1007/978-1-4302-6686-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>