Search Results for Computer Communication Networks. - Narrowed by: Computer science. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bCommunication$002bNetworks.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026te$003dILS$0026ps$003d300?dt=list 2026-04-06T06:37:07Z Distributed Computer and Communication Networks 21st International Conference, DCCN 2018, Moscow, Russia, September 17&ndash;21, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400415 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Vishnevskiy, Vladimir M. editor.&#160;Kozyrev, Dmitry V. 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-99447-5">https://doi.org/10.1007/978-3-319-99447-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Networks and Information Technologies Second International Conference on Advances in Communication, Network, and Computing, CNC 2011, Bangalore, India, March 10-11, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194077 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Das, Vinu V. editor.&#160;Stephen, Janahanlal. editor.&#160;Chaba, Yogesh. 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-19542-6">http://dx.doi.org/10.1007/978-3-642-19542-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedings ent://SD_ILS/0/SD_ILS:183963 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Boavida, Fernando. editor.&#160;Plagemann, Thomas. editor.&#160;Stiller, Burkhard. editor.&#160;Westphal, Cedric. editor.&#160;Monteiro, Edmundo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11753810">http://dx.doi.org/10.1007/11753810</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile and Wireless Communication Networks IFIP 19th World Computer Congress, TC-6, 8th IFIP/IEEE Conference on Mobile and Wireless Communications Networks, August 20&ndash;25, 2006, Santiago, Chile ent://SD_ILS/0/SD_ILS:166069 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Pujolle, Guy. 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-34736-3">http://dx.doi.org/10.1007/978-0-387-34736-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183084 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Boutaba, Raouf. editor.&#160;Almeroth, Kevin. editor.&#160;Puigjaner, Ramon. editor.&#160;Shen, Sherman. editor.&#160;Black, James P. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136094">http://dx.doi.org/10.1007/b136094</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Passive and Active Measurement 19th International Conference, PAM 2018, Berlin, Germany, March 26&ndash;27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401454 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Beverly, Robert. editor.&#160;Smaragdakis, Georgios. editor.&#160;Feldmann, Anja. 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-76481-8">https://doi.org/10.1007/978-3-319-76481-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms for Sensor Systems 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, Aarhus, Denmark, August 25-26, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:611521 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Chrobak, Marek. editor.&#160;Fern&aacute;ndez Anta, Antonio. editor.&#160;G&#261;sieniec, Leszek. editor.&#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-319-53058-1">https://doi.org/10.1007/978-3-319-53058-1</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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> 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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> Traffic Monitoring and Analysis 6th International Workshop, TMA 2014, London, UK, April 14, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488942 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Dainotti, Alberto. editor.&#160;Mahanti, Anirban. editor.&#160;Uhlig, Steve. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54999-1">https://doi.org/10.1007/978-3-642-54999-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multiple Access Communications 7th International Workshop, MACOM 2014, Halmstad, Sweden, August 27-28, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489165 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Jonsson, Magnus. editor.&#160;Vinel, Alexey. editor.&#160;Bellalta, Boris. editor.&#160;Belyaev, Evgeny. 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-10262-7">https://doi.org/10.1007/978-3-319-10262-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ad-hoc, Mobile, and Wireless Networks 13th International Conference, ADHOC-NOW 2014, Benidorm, Spain, June 22-27, 2014 Proceedings ent://SD_ILS/0/SD_ILS:488917 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Guo, Song. editor.&#160;Mauri, Jaime Lloret. editor.&#160;Manzoni, Pietro. editor.&#160;Ruehrup, Stefan. 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-07425-2">https://doi.org/10.1007/978-3-319-07425-2</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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> Theoretical Computer Science 42nd National Conference, NCTCS 2024, Qingdao, China, July 19-21, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:607173 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Yin, Yitong. editor. (orcid)0000-0001-9204-7794&#160;Zhang, Jialin. editor. (orcid)0000-0002-6245-1013&#160;Cai, Zhiping. editor. (orcid)0000-0001-5726-833X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-1490-5">https://doi.org/10.1007/978-981-96-1490-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II ent://SD_ILS/0/SD_ILS:608174 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Garc&iacute;a-S&aacute;nchez, Pablo. editor. (orcid)0000-0003-4644-2894&#160;Hart, Emma. editor.&#160;Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-90065-5">https://doi.org/10.1007/978-3-031-90065-5</a><br/>Format:&#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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> 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-06T06:37:07Z 2026-04-06T06:37:07Z 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 Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part III ent://SD_ILS/0/SD_ILS:607380 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960&#160;Kim, Jinman. editor. (orcid)0000-0001-5960-1060&#160;Sheng, Bin. editor. (orcid)0000-0001-8678-2784&#160;Deng, Zhigang. editor. (orcid)0000-0002-0452-8676&#160;Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-82024-3">https://doi.org/10.1007/978-3-031-82024-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:607417 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960&#160;Kim, Jinman. editor. (orcid)0000-0001-5960-1060&#160;Sheng, Bin. editor. (orcid)0000-0001-8678-2784&#160;Deng, Zhigang. editor. (orcid)0000-0002-0452-8676&#160;Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-81806-6">https://doi.org/10.1007/978-3-031-81806-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:607455 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960&#160;Kim, Jinman. editor. (orcid)0000-0001-5960-1060&#160;Sheng, Bin. editor. (orcid)0000-0001-8678-2784&#160;Deng, Zhigang. editor. (orcid)0000-0002-0452-8676&#160;Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-82021-2">https://doi.org/10.1007/978-3-031-82021-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings ent://SD_ILS/0/SD_ILS:608937 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Ferreira, Carla. editor. (orcid)0000-0003-3680-7634&#160;Mezzina, Claudio Antares. editor. (orcid)0000-0003-1556-2623&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-95497-9">https://doi.org/10.1007/978-3-031-95497-9</a><br/>Format:&#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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I ent://SD_ILS/0/SD_ILS:608173 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Garc&iacute;a-S&aacute;nchez, Pablo. editor. (orcid)0000-0003-4644-2894&#160;Hart, Emma. editor.&#160;Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-90062-4">https://doi.org/10.1007/978-3-031-90062-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Aspects of Cloud Computing 9th International Symposium, ALGOCLOUD 2024, London, UK, September 2-3, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:608951 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Doka, Katerina. editor.&#160;Tsiropoulou, Eirini Eleni. editor. (orcid)0000-0003-1322-1876&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-94677-6">https://doi.org/10.1007/978-3-031-94677-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part I ent://SD_ILS/0/SD_ILS:609116 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Tack, Guido. editor. (orcid)0000-0003-3357-6498&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-95973-8">https://doi.org/10.1007/978-3-031-95973-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part II ent://SD_ILS/0/SD_ILS:609117 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Tack, Guido. editor. (orcid)0000-0003-3357-6498&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-95976-9">https://doi.org/10.1007/978-3-031-95976-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Life and Evolutionary Computation 18th Italian Workshop, WIVACE 2024, Namur, Belgium, September 11-13, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:609408 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Carletti, Timoteo. editor. (orcid)0000-0003-2596-4503&#160;Njougouo, Thierry-Sainclair. editor. (orcid)0000-0001-7706-7674&#160;Tuci, Elio. editor. (orcid)0000-0001-7345-671X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-93631-9">https://doi.org/10.1007/978-3-031-93631-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, V&auml;ster&aring;s, Sweden, April 7-8, 2025, Proceedings ent://SD_ILS/0/SD_ILS:607702 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750&#160;Caltais, Georgiana. editor. (orcid)0000-0002-8653-2299&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-87054-5">https://doi.org/10.1007/978-3-031-87054-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Computation in Combinatorial Optimization 25th European Conference, EvoCOP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings ent://SD_ILS/0/SD_ILS:607828 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Krejca, Martin S. editor. (orcid)0000-0002-1765-1219&#160;Wagner, Markus. editor. (orcid)0000-0002-3124-0061&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-86849-8">https://doi.org/10.1007/978-3-031-86849-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedings ent://SD_ILS/0/SD_ILS:607908 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Li, Yupeng. editor.&#160;Zhang, Yong. editor. (orcid)0000-0002-8730-3711&#160;Xu, Jianliang. 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-4207-6">https://doi.org/10.1007/978-981-96-4207-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I ent://SD_ILS/0/SD_ILS:608296 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792&#160;Heule, Marijn. editor. (orcid)0000-0002-5587-8801&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-90643-5">https://doi.org/10.1007/978-3-031-90643-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III ent://SD_ILS/0/SD_ILS:608297 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792&#160;Heule, Marijn. editor. (orcid)0000-0002-5587-8801&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-90660-2">https://doi.org/10.1007/978-3-031-90660-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II ent://SD_ILS/0/SD_ILS:608320 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792&#160;Heule, Marijn. editor. (orcid)0000-0002-5587-8801&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-90653-4">https://doi.org/10.1007/978-3-031-90653-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part IX ent://SD_ILS/0/SD_ILS:601647 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Garau, Chiara. editor. (orcid)0000-0002-6239-5402&#160;Taniar, David. editor. (orcid)0000-0002-8862-3960&#160;C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-65329-2">https://doi.org/10.1007/978-3-031-65329-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Aspects of Cloud Computing 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602139 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Chatzigiannakis, Ioannis. editor.&#160;Karydis, Ioannis. editor. (orcid)0000-0002-9470-2729&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-49361-4">https://doi.org/10.1007/978-3-031-49361-4</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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> Agents and Artificial Intelligence 15th International Conference, ICAART 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602882 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Rocha, Ana Paula. editor.&#160;Steels, Luc. editor.&#160;van den Herik, Jaap. 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-55326-4">https://doi.org/10.1007/978-3-031-55326-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence Applications and Innovations 20th IFIP WG 12.5 International Conference, AIAI 2024, Corfu, Greece, June 27-30, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:604002 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X&#160;Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528&#160;Macintyre, John. editor. (orcid)0000-0001-8514-9127&#160;Avlonitis, Markos. editor. (orcid)0000-0002-8575-0358&#160;Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-63211-2">https://doi.org/10.1007/978-3-031-63211-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence Applications and Innovations 20th IFIP WG 12.5 International Conference, AIAI 2024, Corfu, Greece, June 27-30, 2024, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:604003 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X&#160;Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528&#160;Macintyre, John. editor. (orcid)0000-0001-8514-9127&#160;Avlonitis, Markos. editor. (orcid)0000-0002-8575-0358&#160;Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-63223-5">https://doi.org/10.1007/978-3-031-63223-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence Applications and Innovations 20th IFIP WG 12.5 International Conference, AIAI 2024, Corfu, Greece, June 27-30, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:604029 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X&#160;Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528&#160;Macintyre, John. editor. (orcid)0000-0001-8514-9127&#160;Avlonitis, Markos. editor. (orcid)0000-0002-8575-0358&#160;Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-63215-0">https://doi.org/10.1007/978-3-031-63215-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence Applications and Innovations 20th IFIP WG 12.5 International Conference, AIAI 2024, Corfu, Greece, June 27-30, 2024, Proceedings, Part III ent://SD_ILS/0/SD_ILS:604031 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X&#160;Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528&#160;Macintyre, John. editor. (orcid)0000-0001-8514-9127&#160;Avlonitis, Markos. editor. (orcid)0000-0002-8575-0358&#160;Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-63219-8">https://doi.org/10.1007/978-3-031-63219-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part V ent://SD_ILS/0/SD_ILS:604433 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Garau, Chiara. editor. (orcid)0000-0002-6239-5402&#160;Taniar, David. editor. (orcid)0000-0002-8862-3960&#160;C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-65282-0">https://doi.org/10.1007/978-3-031-65282-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:604501 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Garau, Chiara. editor. (orcid)0000-0002-6239-5402&#160;Taniar, David. editor. (orcid)0000-0002-8862-3960&#160;C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-65154-0">https://doi.org/10.1007/978-3-031-65154-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part XI ent://SD_ILS/0/SD_ILS:604502 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Garau, Chiara. editor. (orcid)0000-0002-6239-5402&#160;Taniar, David. editor. (orcid)0000-0002-8862-3960&#160;C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-65343-8">https://doi.org/10.1007/978-3-031-65343-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Search-Based Software Engineering 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602090 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Arcaini, Paolo. editor. (orcid)0000-0002-6253-4062&#160;Yue, Tao. editor.&#160;Fredericks, Erik 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-031-48796-5">https://doi.org/10.1007/978-3-031-48796-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part I ent://SD_ILS/0/SD_ILS:602383 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Sheng, Bin. editor. (orcid)0000-0001-8678-2784&#160;Bi, Lei. editor. (orcid)0000-0001-9759-0200&#160;Kim, Jinman. editor.&#160;Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960&#160;Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-50069-5">https://doi.org/10.1007/978-3-031-50069-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part III ent://SD_ILS/0/SD_ILS:602390 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Sheng, Bin. editor. (orcid)0000-0001-8678-2784&#160;Bi, Lei. editor. (orcid)0000-0001-9759-0200&#160;Kim, Jinman. editor.&#160;Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960&#160;Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-50075-6">https://doi.org/10.1007/978-3-031-50075-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:602788 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Soto, Jos&eacute; A. editor.&#160;Wiese, Andreas. 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-55598-5">https://doi.org/10.1007/978-3-031-55598-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:602789 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Soto, Jos&eacute; A. editor.&#160;Wiese, Andreas. 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-55601-2">https://doi.org/10.1007/978-3-031-55601-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:603019 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Smith, Stephen. editor.&#160;Correia, Jo&atilde;o. editor.&#160;Cintrano, Christian. 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-56855-8">https://doi.org/10.1007/978-3-031-56855-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Life and Evolutionary Computation 17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6-8, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:603091 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Villani, Marco. editor. (orcid)0000-0002-5991-5470&#160;Cagnoni, Stefano. editor.&#160;Serra, Roberto. 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-57430-6">https://doi.org/10.1007/978-3-031-57430-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:603151 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Finkbeiner, Bernd. editor.&#160;Kov&aacute;cs, Laura. 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-57249-4">https://doi.org/10.1007/978-3-031-57249-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III ent://SD_ILS/0/SD_ILS:603152 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Finkbeiner, Bernd. editor.&#160;Kov&aacute;cs, Laura. 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-57256-2">https://doi.org/10.1007/978-3-031-57256-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large-Scale Scientific Computations 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:603638 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Lirkov, Ivan. editor. (orcid)0000-0002-5870-2588&#160;Margenov, Svetozar. editor. (orcid)0000-0001-8858-831X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-56208-2">https://doi.org/10.1007/978-3-031-56208-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Search-Based Software Engineering 16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings ent://SD_ILS/0/SD_ILS:604173 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Jahangirova, Gunel. editor.&#160;Khomh, Foutse. editor. (orcid)0000-0002-5704-4173&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-64573-0">https://doi.org/10.1007/978-3-031-64573-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part III ent://SD_ILS/0/SD_ILS:604432 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Garau, Chiara. editor. (orcid)0000-0002-6239-5402&#160;Taniar, David. editor. (orcid)0000-0002-8862-3960&#160;C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-65238-7">https://doi.org/10.1007/978-3-031-65238-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VIII ent://SD_ILS/0/SD_ILS:604434 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Garau, Chiara. editor. (orcid)0000-0002-6239-5402&#160;Taniar, David. editor. (orcid)0000-0002-8862-3960&#160;C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-65318-6">https://doi.org/10.1007/978-3-031-65318-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part X ent://SD_ILS/0/SD_ILS:604435 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Garau, Chiara. editor. (orcid)0000-0002-6239-5402&#160;Taniar, David. editor. (orcid)0000-0002-8862-3960&#160;C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-65332-2">https://doi.org/10.1007/978-3-031-65332-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling Decisions for Artificial Intelligence 21st International Conference, MDAI 2024, Tokyo, Japan, August 27-31, 2024, Proceedings ent://SD_ILS/0/SD_ILS:604713 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Torra, Vicen&ccedil;. editor. (orcid)0000-0002-0368-8037&#160;Narukawa, Yasuo. editor.&#160;Kikuchi, Hiroaki. editor. (orcid)0000-0002-0903-8430&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-68208-7">https://doi.org/10.1007/978-3-031-68208-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:605025 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Garau, Chiara. editor. (orcid)0000-0002-6239-5402&#160;Taniar, David. editor. (orcid)0000-0002-8862-3960&#160;C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-65223-3">https://doi.org/10.1007/978-3-031-65223-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Collective Intelligence 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:605051 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948&#160;Franczyk, Bogdan. editor. (orcid)0000-0002-5740-2946&#160;Ludwig, Andr&eacute;. editor. (orcid)0000-0002-0358-3470&#160;N&uacute;&ntilde;ez, Manuel. editor. (orcid)0000-0001-9808-6401&#160;Treur, Jan. editor. (orcid)0000-0003-2466-9158<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-70819-0">https://doi.org/10.1007/978-3-031-70819-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605083 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428&#160;Trapp, Mario. editor.&#160;Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530&#160;Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443&#160;Gallina, Barbara. editor. (orcid)0000-0002-6952-1053<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-68738-9">https://doi.org/10.1007/978-3-031-68738-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel and Distributed Computing, Applications and Technologies Proceedings of PDCAT 2023 ent://SD_ILS/0/SD_ILS:602050 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Park, Ji Su. editor. (orcid)0000-0001-9003-1131&#160;Takizawa, Hiroyuki. editor. (orcid)0000-0003-2858-3140&#160;Shen, Hong. editor.&#160;Park, James J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-8211-0">https://doi.org/10.1007/978-981-99-8211-0</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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602014 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Cai, Zhiping. editor. (orcid)0000-0001-5726-833X&#160;Xiao, Mingyu. editor.&#160;Zhang, Jialin. editor. (orcid)0000-0002-6245-1013&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-7743-7">https://doi.org/10.1007/978-981-99-7743-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:602186 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Sheng, Bin. editor. (orcid)0000-0001-8678-2784&#160;Bi, Lei. editor. (orcid)0000-0001-9759-0200&#160;Kim, Jinman. editor.&#160;Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960&#160;Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-50078-7">https://doi.org/10.1007/978-3-031-50078-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28-September 1, 2023, Proceedings, Part II ent://SD_ILS/0/SD_ILS:602209 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Sheng, Bin. editor. (orcid)0000-0001-8678-2784&#160;Bi, Lei. editor. (orcid)0000-0001-9759-0200&#160;Kim, Jinman. editor.&#160;Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960&#160;Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-50072-5">https://doi.org/10.1007/978-3-031-50072-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602249 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Yavorskiy, Rostislav. editor.&#160;Cavalli, Ana Rosa. editor.&#160;Kalenkova, Anna. 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-50423-5">https://doi.org/10.1007/978-3-031-50423-5</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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:602979 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Smith, Stephen. editor.&#160;Correia, Jo&atilde;o. editor.&#160;Cintrano, Christian. 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-56852-7">https://doi.org/10.1007/978-3-031-56852-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:603145 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Finkbeiner, Bernd. editor.&#160;Kov&aacute;cs, Laura. 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-57246-3">https://doi.org/10.1007/978-3-031-57246-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:603259 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Pan, Linqiang. editor. (orcid)0000-0002-4554-455X&#160;Wang, Yong. editor. (orcid)0000-0001-7670-3958&#160;Lin, Jianqing. editor. (orcid)0000-0002-9332-4746&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-2272-3">https://doi.org/10.1007/978-981-97-2272-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:603260 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Pan, Linqiang. editor. (orcid)0000-0002-4554-455X&#160;Wang, Yong. editor. (orcid)0000-0001-7670-3958&#160;Lin, Jianqing. editor. (orcid)0000-0002-9332-4746&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-2275-4">https://doi.org/10.1007/978-981-97-2275-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolutionary Computation in Combinatorial Optimization 24th European Conference, EvoCOP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603285 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;St&uuml;tzle, Thomas. editor.&#160;Wagner, Markus. editor. (orcid)0000-0002-3124-0061&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-57712-3">https://doi.org/10.1007/978-3-031-57712-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:603670 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-60599-4">https://doi.org/10.1007/978-3-031-60599-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:603689 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-60597-0">https://doi.org/10.1007/978-3-031-60597-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bioinspired Systems for Translational Applications: From Robotics to Social Engineering 10th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2024, Olh&acirc;o, Portugal, June 4-7, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:603722 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Ferr&aacute;ndez Vicente, Jos&eacute; Manuel. editor.&#160;Val Calvo, Mikel. editor.&#160;Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-61137-7">https://doi.org/10.1007/978-3-031-61137-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence for Neuroscience and Emotional Systems 10th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2024, Olh&acirc;o, Portugal, June 4-7, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:603723 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Ferr&aacute;ndez Vicente, Jos&eacute; Manuel. editor.&#160;Val Calvo, Mikel. editor.&#160;Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-61140-7">https://doi.org/10.1007/978-3-031-61140-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Distributed Objects, Components, and Systems 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603912 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Castiglioni, Valentina. editor. (orcid)0000-0002-8112-6523&#160;Francalanza, Adrian. editor. (orcid)0000-0003-3829-7391&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-62645-6">https://doi.org/10.1007/978-3-031-62645-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:604771 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Garau, Chiara. editor. (orcid)0000-0002-6239-5402&#160;Taniar, David. editor. (orcid)0000-0002-8862-3960&#160;C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-65273-8">https://doi.org/10.1007/978-3-031-65273-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Collective Intelligence 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:605050 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948&#160;Franczyk, Bogdan. editor. (orcid)0000-0002-5740-2946&#160;Ludwig, Andr&eacute;. editor. (orcid)0000-0002-0358-3470&#160;N&uacute;&ntilde;ez, Manuel. editor. (orcid)0000-0001-9808-6401&#160;Treur, Jan. editor. (orcid)0000-0003-2466-9158<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-70816-9">https://doi.org/10.1007/978-3-031-70816-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Communications Technologies Second International Libyan Conference, ILCICT 2023, Tripoli, Libya, September 4-6, 2023, Proceedings ent://SD_ILS/0/SD_ILS:609523 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Benmusa, Tammam A. T. editor.&#160;Elbuni, Mohamed Samir. editor.&#160;Saleh, Ibrahim M. editor.&#160;Ashur, Ahmed S. editor.&#160;Drawil, Nabil M. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-62624-1">https://doi.org/10.1007/978-3-031-62624-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:608123 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Garau, Chiara. editor. (orcid)0000-0002-6239-5402&#160;Taniar, David. editor. (orcid)0000-0002-8862-3960&#160;C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-65285-1">https://doi.org/10.1007/978-3-031-65285-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VII ent://SD_ILS/0/SD_ILS:610225 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Garau, Chiara. editor. (orcid)0000-0002-6239-5402&#160;Taniar, David. editor. (orcid)0000-0002-8862-3960&#160;C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-65308-7">https://doi.org/10.1007/978-3-031-65308-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Topics in Parallel and Distributed Computing Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms ent://SD_ILS/0/SD_ILS:399477 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Prasad, Sushil K. editor.&#160;Gupta, Anshul. editor.&#160;Rosenberg, Arnold. editor.&#160;Sussman, Alan. editor.&#160;Weems, Charles. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93109-8">https://doi.org/10.1007/978-3-319-93109-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Science XXXIII ent://SD_ILS/0/SD_ILS:399733 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z 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-58039-4">https://doi.org/10.1007/978-3-662-58039-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings ent://SD_ILS/0/SD_ILS:399750 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Fortino, Giancarlo. editor.&#160;Ali, A.B.M. Shawkat. editor.&#160;Pathan, Mukaddim. editor.&#160;Guerrieri, Antonio. editor.&#160;Di Fatta, Giuseppe. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-97795-9">https://doi.org/10.1007/978-3-319-97795-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Collaboration Technologies and Social Computing 10th International Conference, CollabTech 2018, Costa de Caparica, Portugal, September 5-7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399769 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Egi, Hironori. editor.&#160;Yuizono, Takaya. editor.&#160;Baloian, Nelson. editor.&#160;Yoshino, Takashi. editor.&#160;Ichimura, Satoshi. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-98743-9">https://doi.org/10.1007/978-3-319-98743-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cooperative Design, Visualization, and Engineering 15th International Conference, CDVE 2018, Hangzhou, China, October 21&ndash;24, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399772 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Luo, Yuhua. editor. (orcid)0000-0003-3057-4753&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00560-3">https://doi.org/10.1007/978-3-030-00560-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Mobile Data Privacy ent://SD_ILS/0/SD_ILS:399883 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Gkoulalas-Divanis, Aris. editor.&#160;Bettini, Claudio. 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-98161-1">https://doi.org/10.1007/978-3-319-98161-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Multi-Agent Systems 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399851 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;El Fallah-Seghrouchni, Amal. editor.&#160;Ricci, Alessandro. editor. (orcid)0000-0002-9222-5092&#160;Son, Tran Cao. 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-91899-0">https://doi.org/10.1007/978-3-319-91899-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Web-Based Learning &ndash; ICWL 2018 17th International Conference, Chiang Mai, Thailand, August 22-24, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399981 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Hancke, Gerhard. editor.&#160;Spaniol, Marc. editor.&#160;Osathanunkul, Kitisak. editor.&#160;Unankard, Sayan. editor.&#160;Klamma, Ralf. editor. (orcid)0000-0002-2296-3401<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96565-9">https://doi.org/10.1007/978-3-319-96565-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Encyclopedia of Database Systems ent://SD_ILS/0/SD_ILS:399905 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Liu, Ling. editor.&#160;&Ouml;zsu, M. Tamer. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4614-8265-9">https://doi.org/10.1007/978-1-4614-8265-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction. Interaction in Context 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15&ndash;20, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399910 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Kurosu, Masaaki. 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-91244-8">https://doi.org/10.1007/978-3-319-91244-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology &ndash; ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2&ndash;6, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399923 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197&#160;Galbraith, Steven. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03326-2">https://doi.org/10.1007/978-3-030-03326-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cryptology and Network Security 17th International Conference, CANS 2018, Naples, Italy, September 30 &ndash; October 3, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399945 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Camenisch, Jan. editor. (orcid)0000-0001-6654-9459&#160;Papadimitratos, Panos. editor. (orcid)0000-0002-3267-5374&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00434-7">https://doi.org/10.1007/978-3-030-00434-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9&ndash;11, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399970 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249&#160;Mendes, Alexandre. editor. (orcid)0000-0003-1759-3765&#160;Yan, Yamin. editor. (orcid)0000-0001-5838-2652&#160;Chen, Shifeng. editor. (orcid)0000-0003-0677-7358&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-97589-4">https://doi.org/10.1007/978-3-319-97589-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security Practice and Experience 14th International Conference, ISPEC 2018, Tokyo, Japan, September 25-27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399972 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Su, Chunhua. editor.&#160;Kikuchi, Hiroaki. 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-99807-7">https://doi.org/10.1007/978-3-319-99807-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Information Systems and Industrial Management 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400173 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Saeed, Khalid. editor. (orcid)0000-0002-7741-7045&#160;Homenda, W&#322;adys&#322;aw. editor. (orcid)0000-0001-7787-4927&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99954-8">https://doi.org/10.1007/978-3-319-99954-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Systems Security 14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400247 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Ganapathy, Vinod. editor.&#160;Jaeger, Trent. editor.&#160;Shyamasundar, R.K. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05171-6">https://doi.org/10.1007/978-3-030-05171-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovation and Interdisciplinary Solutions for Underserved Areas First International Conference, InterSol 2017 and Sixth Collogue National sur la Recherche en Informatique et ses Applications, CNRIA 2017, Dakar, Senegal, April 11&ndash;12, 2017, Proceedings ent://SD_ILS/0/SD_ILS:402401 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;M. F. Kebe, Cheikh. editor.&#160;Gueye, Assane. editor.&#160;Ndiaye, Ababacar. 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-72965-7">https://doi.org/10.1007/978-3-319-72965-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Grid and Innovative Frontiers in Telecommunications Third International Conference, SmartGIFT 2018, Auckland, New Zealand, April 23-24, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402546 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Chong, Peter Han Joo. editor.&#160;Seet, Boon-Chong. editor.&#160;Chai, Michael. editor.&#160;Rehman, Saeed Ur. 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-94965-9">https://doi.org/10.1007/978-3-319-94965-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design, User Experience, and Usability: Users, Contexts and Case Studies 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15&ndash;20, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:402672 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Marcus, Aaron. editor.&#160;Wang, Wentao. 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-91806-8">https://doi.org/10.1007/978-3-319-91806-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fog Computing Concepts, Frameworks and Technologies ent://SD_ILS/0/SD_ILS:402707 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Mahmood, Zaigham. 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-94890-4">https://doi.org/10.1007/978-3-319-94890-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Augmented Reality, Virtual Reality, and Computer Graphics 5th International Conference, AVR 2018, Otranto, Italy, June 24&ndash;27, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:402725 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070&#160;Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95270-3">https://doi.org/10.1007/978-3-319-95270-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Augmented Reality, Virtual Reality, and Computer Graphics 5th International Conference, AVR 2018, Otranto, Italy, June 24&ndash;27, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:402737 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070&#160;Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95282-6">https://doi.org/10.1007/978-3-319-95282-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> IoT as a Service Third International Conference, IoTaaS 2017, Taichung, Taiwan, September 20&ndash;22, 2017, Proceedings ent://SD_ILS/0/SD_ILS:399081 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Lin, Yi-Bing. editor.&#160;Deng, Der-Jiunn. editor.&#160;You, Ilsun. editor.&#160;Lin, Chun-Cheng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00410-1">https://doi.org/10.1007/978-3-030-00410-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment, and Simulation 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399239 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Chen, Jessie Y.C. editor.&#160;Fragomeni, Gino. 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-91581-4">https://doi.org/10.1007/978-3-319-91581-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9&ndash;11, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399243 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249&#160;Mendes, Alexandre. editor. (orcid)0000-0003-1759-3765&#160;Yan, Yamin. editor. (orcid)0000-0001-5838-2652&#160;Chen, Shifeng. editor. (orcid)0000-0003-0677-7358&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-97586-3">https://doi.org/10.1007/978-3-319-97586-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Digital Forensics XIV 14th IFIP WG 11.9 International Conference, New Delhi, India, January 3-5, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399591 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Peterson, Gilbert. editor.&#160;Shenoi, Sujeet. 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-99277-8">https://doi.org/10.1007/978-3-319-99277-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security and Cryptography for Networks 11th International Conference, SCN 2018, Amalfi, Italy, September 5&ndash;7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399614 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Catalano, Dario. editor.&#160;De Prisco, Roberto. 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-98113-0">https://doi.org/10.1007/978-3-319-98113-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology &ndash; ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2&ndash;6, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:399545 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197&#160;Galbraith, Steven. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03332-3">https://doi.org/10.1007/978-3-030-03332-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence XXXV 38th SGAI International Conference on Artificial Intelligence, AI 2018, Cambridge, UK, December 11&ndash;13, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400106 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Bramer, Max. editor.&#160;Petridis, Miltos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04191-5">https://doi.org/10.1007/978-3-030-04191-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction. Theories, Methods, and Human Issues 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15&ndash;20, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400110 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Kurosu, Masaaki. 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-91238-7">https://doi.org/10.1007/978-3-319-91238-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trust, Privacy and Security in Digital Business 15th International Conference, TrustBus 2018, Regensburg, Germany, September 5&ndash;6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400113 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Furnell, Steven. editor. (orcid)0000-0003-0984-7542&#160;Mouratidis, Haralambos. editor. (orcid)0000-0002-2599-0712&#160;Pernul, G&uuml;nther. 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-98385-1">https://doi.org/10.1007/978-3-319-98385-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Technologies and Mathematical Modelling. Queueing Theory and Applications 17th International Conference, ITMM 2018, Named After A.F. Terpugov, and 12th Workshop on Retrial Queues and Related Topics, WRQ 2018, Tomsk, Russia, September 10-15, 2018, Selected Papers ent://SD_ILS/0/SD_ILS:400114 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Dudin, Alexander. editor. (orcid)0000-0003-2881-0227&#160;Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629&#160;Moiseev, Alexander. editor. (orcid)0000-0003-2369-452X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-97595-5">https://doi.org/10.1007/978-3-319-97595-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400118 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Lirkov, Ivan. editor.&#160;Margenov, Svetozar. 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-73441-5">https://doi.org/10.1007/978-3-319-73441-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intersections in Simulation and Gaming 21st Annual Simulation Technology and Training Conference, SimTecT 2016, and 47th International Simulation and Gaming Association Conference, ISAGA 2016, Held as Part of the First Australasian Simulation Congress, ASC 2016, Melbourne, VIC, Australia, September 26-29, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400119 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Naweed, Anjum. editor. (orcid)0000-0002-5534-4295&#160;Wardaszko, Marcin. editor. (orcid)0000-0001-5411-7894&#160;Leigh, Elyssebeth. editor. (orcid)0000-0001-6887-1388&#160;Meijer, Sebastiaan. editor. (orcid)0000-0003-1126-3781&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78795-4">https://doi.org/10.1007/978-3-319-78795-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing and Internet Technology 14th International Conference, ICDCIT 2018, Bhubaneswar, India, January 11&ndash;13, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400479 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Negi, Atul. editor. (orcid)0000-0001-5707-130X&#160;Bhatnagar, Raj. editor.&#160;Parida, Laxmi. 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-72344-0">https://doi.org/10.1007/978-3-319-72344-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security and Trust Management 14th International Workshop, STM 2018, Barcelona, Spain, September 6&ndash;7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400513 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683&#160;Alcaraz, Cristina. editor. (orcid)0000-0003-0545-3191&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01141-3">https://doi.org/10.1007/978-3-030-01141-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400528 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Dillig, Isil. editor.&#160;Palsberg, Jens. 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-73721-8">https://doi.org/10.1007/978-3-319-73721-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ambient Intelligence 14th European Conference, AmI 2018, Larnaca, Cyprus, November 12-14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399383 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Kameas, Achilles. editor. (orcid)0000-0002-1004-7860&#160;Stathis, Kostas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03062-9">https://doi.org/10.1007/978-3-030-03062-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Challenges and Opportunities in the Digital Era 17th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2018, Kuwait City, Kuwait, October 30 &ndash; November 1, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400551 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Al-Sharhan, Salah A. editor.&#160;Simintiras, Antonis C. editor.&#160;Dwivedi, Yogesh K. editor.&#160;Janssen, Marijn. editor.&#160;M&auml;ntym&auml;ki, Matti. editor. (orcid)0000-0002-1981-566X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02131-3">https://doi.org/10.1007/978-3-030-02131-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401223 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Balsamo, Simonetta. editor.&#160;Marin, Andrea. editor.&#160;Vicario, Enrico. 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-91632-3">https://doi.org/10.1007/978-3-319-91632-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401670 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Heras, Dora B. editor.&#160;Boug&eacute;, Luc. editor.&#160;Mencagli, Gabriele. editor.&#160;Jeannot, Emmanuel. editor.&#160;Sakellariou, Rizos. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-75178-8">https://doi.org/10.1007/978-3-319-75178-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security Applications 18th International Conference, WISA 2017, Jeju Island, Korea, August 24-26, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401682 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Kang, Brent ByungHoon. editor. (orcid)0000-0001-8984-1006&#160;Kim, Taesoo. 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-93563-8">https://doi.org/10.1007/978-3-319-93563-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Emerging Technologies for Developing Countries First International EAI Conference, AFRICATEK 2017, Marrakech, Morocco, March 27-28, 2017 Proceedings ent://SD_ILS/0/SD_ILS:401719 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Belqasmi, Fatna. editor.&#160;Harroud, Hamid. editor.&#160;Agueh, Max. editor.&#160;Dssouli, Rachida. editor.&#160;Kamoun, Faouzi. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-67837-5">https://doi.org/10.1007/978-3-319-67837-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Love and Sex with Robots Third International Conference, LSR 2017, London, UK, December 19-20, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401721 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Cheok, Adrian David. editor. (orcid)0000-0001-6316-2339&#160;Levy, 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-76369-9">https://doi.org/10.1007/978-3-319-76369-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Future Network Systems and Security 4th International Conference, FNSS 2018, Paris, France, July 9&ndash;11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401734 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Doss, Robin. editor. (orcid)0000-0001-6143-6850&#160;Piramuthu, Selwyn. editor.&#160;Zhou, Wei. editor. (orcid)0000-0002-9965-9870&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94421-0">https://doi.org/10.1007/978-3-319-94421-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402084 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Gheorghe, Marian. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Salomaa, Arto. editor.&#160;Zandron, Claudio. 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-73359-3">https://doi.org/10.1007/978-3-319-73359-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living 16th International Conference, ICOST 2018, Singapore, Singapore, July 10-12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402485 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Mokhtari, Mounir. editor.&#160;Abdulrazak, Bessam. editor.&#160;Aloulou, Hamdi. 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-94523-1">https://doi.org/10.1007/978-3-319-94523-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management 9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402654 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Duffy, Vincent G. 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-91397-1">https://doi.org/10.1007/978-3-319-91397-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Universal Access in Human-Computer Interaction. Virtual, Augmented, and Intelligent Environments 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:402656 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Antona, Margherita. editor.&#160;Stephanidis, Constantine. 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-92052-8">https://doi.org/10.1007/978-3-319-92052-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Interface and the Management of Information. Interaction, Visualization, and Analytics 20th International Conference, HIMI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:402658 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Yamamoto, Sakae. editor.&#160;Mori, Hirohiko. 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-92043-6">https://doi.org/10.1007/978-3-319-92043-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed, Ambient and Pervasive Interactions: Technologies and Contexts 6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15&ndash;20, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:402664 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Streitz, Norbert. editor. (orcid)0000-0002-0244-0945&#160;Konomi, Shin&rsquo;ichi. 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-91131-1">https://doi.org/10.1007/978-3-319-91131-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Augmented Cognition: Users and Contexts 12th International Conference, AC 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:402665 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Schmorrow, Dylan D. editor.&#160;Fidopiastis, Cali 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-319-91467-1">https://doi.org/10.1007/978-3-319-91467-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Augmented Cognition: Intelligent Technologies 12th International Conference, AC 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:402666 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Schmorrow, Dylan D. editor.&#160;Fidopiastis, Cali 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-319-91470-1">https://doi.org/10.1007/978-3-319-91470-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design, User Experience, and Usability: Designing Interactions 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:402670 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Marcus, Aaron. editor.&#160;Wang, Wentao. 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-91803-7">https://doi.org/10.1007/978-3-319-91803-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design, User Experience, and Usability: Theory and Practice 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:402671 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Marcus, Aaron. editor.&#160;Wang, Wentao. 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-91797-9">https://doi.org/10.1007/978-3-319-91797-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:398933 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Takahashi, Yutaka. editor.&#160;Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946&#160;Wittevrongel, Sabine. editor. (orcid)0000-0001-6985-8361&#160;Yue, Wuyi. 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-93736-6">https://doi.org/10.1007/978-3-319-93736-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed, Ambient and Pervasive Interactions: Understanding Humans 6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15&ndash;20, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:398959 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Streitz, Norbert. editor. (orcid)0000-0002-0244-0945&#160;Konomi, Shin&rsquo;ichi. 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-91125-0">https://doi.org/10.1007/978-3-319-91125-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Computing Strategies for Engineering 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399203 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Smith, Ian F. C. editor.&#160;Domer, Bernd. 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-91638-5">https://doi.org/10.1007/978-3-319-91638-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399324 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Manoonpong, Poramate. editor. (orcid)0000-0002-4806-7576&#160;Larsen, J&oslash;rgen Christian. editor. (orcid)0000-0002-4741-8290&#160;Xiong, Xiaofeng. editor.&#160;Hallam, John. editor.&#160;Triesch, Jochen. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-97628-0">https://doi.org/10.1007/978-3-319-97628-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Secure Networked Inference with Unreliable Data Sources ent://SD_ILS/0/SD_ILS:399621 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Vempaty, Aditya. author.&#160;Kailkhura, Bhavya. author.&#160;Varshney, Pramod K. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2312-6">https://doi.org/10.1007/978-981-13-2312-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computers Helping People with Special Needs 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399630 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Miesenberger, Klaus. editor.&#160;Kouroupetroglou, Georgios. 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-94274-2">https://doi.org/10.1007/978-3-319-94274-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Research in Attacks, Intrusions, and Defenses 21st International Symposium, RAID 2018, Heraklion, Crete, Greece, September 10-12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399661 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Bailey, Michael. editor.&#160;Holz, Thorsten. editor. (orcid)0000-0002-2783-1264&#160;Stamatogiannakis, Manolis. editor. (orcid)0000-0002-5527-8726&#160;Ioannidis, Sotiris. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00470-5">https://doi.org/10.1007/978-3-030-00470-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Emerging Technologies for Authorization and Authentication First International Workshop, ETAA 2018, Barcelona, Spain, September 7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399665 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Saracino, Andrea. editor.&#160;Mori, Paolo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04372-8">https://doi.org/10.1007/978-3-030-04372-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Social Robotics 10th International Conference, ICSR 2018, Qingdao, China, November 28 - 30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399786 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Ge, Shuzhi Sam. editor. (orcid)0000-0001-5549-312X&#160;Cabibihan, John-John. editor. (orcid)0000-0001-5892-743X&#160;Salichs, Miguel A. editor.&#160;Broadbent, Elizabeth. editor. (orcid)0000-0003-3626-9100&#160;He, Hongsheng. editor. (orcid)0000-0002-2810-865X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05204-1">https://doi.org/10.1007/978-3-030-05204-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399794 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Kari, Jarkko. editor. (orcid)0000-0003-0670-6138&#160;Ulidowski, Irek. 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-99498-7">https://doi.org/10.1007/978-3-319-99498-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Database to Cyber Security Essays Dedicated to Sushil Jajodia on the Occasion of His 70th Birthday ent://SD_ILS/0/SD_ILS:399827 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Samarati, Pierangela. editor. (orcid)0000-0001-7395-4620&#160;Ray, Indrajit. editor.&#160;Ray, Indrakshi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04834-1">https://doi.org/10.1007/978-3-030-04834-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Collaborative Robotics Third International Conference, ICR 2018, Leipzig, Germany, September 18&ndash;22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399986 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Ronzhin, Andrey. editor. (orcid)0000-0002-8903-3508&#160;Rigoll, Gerhard. editor. (orcid)0000-0003-1096-1596&#160;Meshcheryakov, Roman. editor. (orcid)0000-0002-1129-8434&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99582-3">https://doi.org/10.1007/978-3-319-99582-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Critical Information Infrastructures Security 12th International Conference, CRITIS 2017, Lucca, Italy, October 8-13, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399995 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;D'Agostino, Gregorio. editor. (orcid)0000-0003-3657-5335&#160;Scala, Antonio. editor. (orcid)0000-0002-3414-2686&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99843-5">https://doi.org/10.1007/978-3-319-99843-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction. Interaction Technologies 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15&ndash;20, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:400030 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Kurosu, Masaaki. 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-91250-9">https://doi.org/10.1007/978-3-319-91250-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Virtual, Augmented and Mixed Reality: Applications in Health, Cultural Heritage, and Industry 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400031 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Chen, Jessie Y.C. editor.&#160;Fragomeni, Gino. 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-91584-5">https://doi.org/10.1007/978-3-319-91584-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers ent://SD_ILS/0/SD_ILS:400044 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Mikulski, Jerzy. 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-97955-7">https://doi.org/10.1007/978-3-319-97955-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Transport Systems &ndash; From Research and Development to the Market Uptake First International Conference, INTSYS 2017, Hyvink&auml;&auml;, Finland, November 29-30, 2017, Proceedings ent://SD_ILS/0/SD_ILS:400153 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Kov&aacute;&#269;ikov&aacute;, Tatiana. editor.&#160;Buzna, &#317;ubo&scaron;. editor.&#160;Pourhashem, Ghadir. editor.&#160;Lugano, Giuseppe. editor.&#160;Cornet, Yannick. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93710-6">https://doi.org/10.1007/978-3-319-93710-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Universal Access in Human-Computer Interaction. Methods, Technologies, and Users 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400159 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Antona, Margherita. editor.&#160;Stephanidis, Constantine. 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-92049-8">https://doi.org/10.1007/978-3-319-92049-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Crossbar-Based Interconnection Networks Blocking, Scalability, and Reliability ent://SD_ILS/0/SD_ILS:400290 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Jahanshahi, Mohsen. author.&#160;Bistouni, Fathollah. 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-78473-1">https://doi.org/10.1007/978-3-319-78473-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cross-Cultural Design. Methods, Tools, and Users 10th International Conference, CCD 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400293 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Rau, Pei-Luen Patrick. 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-92141-9">https://doi.org/10.1007/978-3-319-92141-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400303 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Vaidya, Jaideep. editor.&#160;Li, Jin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05054-2">https://doi.org/10.1007/978-3-030-05054-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Cryptography 16th International Conference, TCC 2018, Panaji, India, November 11&ndash;14, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400334 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Beimel, Amos. editor.&#160;Dziembowski, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03810-6">https://doi.org/10.1007/978-3-030-03810-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web and Internet Economics 14th International Conference, WINE 2018, Oxford, UK, December 15&ndash;17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400337 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Christodoulou, George. editor.&#160;Harks, Tobias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04612-5">https://doi.org/10.1007/978-3-030-04612-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Web and Intelligent Information Systems 15th International Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400342 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Younas, Muhammad. editor.&#160;Awan, Irfan. editor.&#160;Ghinea, George. editor.&#160;Catalan Cid, Marisa. 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-97163-6">https://doi.org/10.1007/978-3-319-97163-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Science of Cyber Security First International Conference, SciSec 2018, Beijing, China, August 12-14, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399425 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Liu, Feng. editor.&#160;Xu, Shouhuai. 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-3-030-03026-1">https://doi.org/10.1007/978-3-030-03026-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Secure IT Systems 23rd Nordic Conference, NordSec 2018, Oslo, Norway, November 28-30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399426 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Gruschka, Nils. editor. (orcid)0000-0001-7360-8314&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03638-6">https://doi.org/10.1007/978-3-030-03638-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cyber Security Cryptography and Machine Learning Second International Symposium, CSCML 2018, Beer Sheva, Israel, June 21&ndash;22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399450 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Dinur, Itai. editor.&#160;Dolev, Shlomi. editor.&#160;Lodha, Sachin. 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-94147-9">https://doi.org/10.1007/978-3-319-94147-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Cryptography 16th International Conference, TCC 2018, Panaji, India, November 11&ndash;14, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400566 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Beimel, Amos. editor.&#160;Dziembowski, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03807-6">https://doi.org/10.1007/978-3-030-03807-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Communications Security 19th International Conference, ICICS 2017, Beijing, China, December 6-8, 2017, Proceedings ent://SD_ILS/0/SD_ILS:400786 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Qing, Sihan. editor.&#160;Mitchell, Chris. editor.&#160;Chen, Liqun. editor.&#160;Liu, Dongmei. 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-89500-0">https://doi.org/10.1007/978-3-319-89500-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture of Computing Systems &ndash; ARCS 2018 31st International Conference, Braunschweig, Germany, April 9&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400833 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Berekovic, Mladen. editor.&#160;Buchty, Rainer. editor.&#160;Hamann, Heiko. editor.&#160;Koch, Dirk. editor.&#160;Pionteck, Thilo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77610-1">https://doi.org/10.1007/978-3-319-77610-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Progress in Cryptology &ndash; AFRICACRYPT 2018 10th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 7&ndash;9, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400845 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Joux, Antoine. editor.&#160;Nitaj, Abderrahmane. editor.&#160;Rachidi, Tajjeeddine. 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-89339-6">https://doi.org/10.1007/978-3-319-89339-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> MediaSync Handbook on Multimedia Synchronization ent://SD_ILS/0/SD_ILS:400863 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Montagud, Mario. editor.&#160;Cesar, Pablo. editor.&#160;Boronat, Fernando. editor.&#160;Jansen, Jack. 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-65840-7">https://doi.org/10.1007/978-3-319-65840-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Structures for Knowledge Representation and Reasoning 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400874 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Croitoru, Madalina. editor.&#160;Marquis, Pierre. editor.&#160;Rudolph, Sebastian. editor. (orcid)0000-0002-1609-2080&#160;Stapleton, Gem. 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-78102-0">https://doi.org/10.1007/978-3-319-78102-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web and Wireless Geographical Information Systems 16th International Symposium, W2GIS 2018, A Coru&ntilde;a, Spain, May 21&ndash;22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401107 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;R. Luaces, Miguel. editor.&#160;Karimipour, Farid. editor. (orcid)0000-0001-6746-4174&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-90053-7">https://doi.org/10.1007/978-3-319-90053-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Networks and Management 9th International Conference, MONAMI 2017, Melbourne, Australia, December 13-15, 2017, Proceedings ent://SD_ILS/0/SD_ILS:401065 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Hu, Jiankun. editor.&#160;Khalil, Ibrahim. editor.&#160;Tari, Zahir. editor.&#160;Wen, Sheng. 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-90775-8">https://doi.org/10.1007/978-3-319-90775-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Systems Digital Design, Fundamentals of Computer Architecture and Assembly Language ent://SD_ILS/0/SD_ILS:401238 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Elahi, Ata. 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-66775-1">https://doi.org/10.1007/978-3-319-66775-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings ent://SD_ILS/0/SD_ILS:401247 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251&#160;Loreti, Michele. editor. (orcid)0000-0003-3061-863X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92408-3">https://doi.org/10.1007/978-3-319-92408-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Global Thoughts, Local Designs INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401311 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Clemmensen, Torkil. editor. (orcid)0000-0002-0934-2336&#160;Rajamanickam, Venkatesh. editor.&#160;Dannenmann, Peter. editor. (orcid)0000-0002-9720-926X&#160;Petrie, Helen. editor. (orcid)0000-0002-0100-9846&#160;Winckler, Marco. editor. (orcid)0000-0002-0756-6934<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92081-8">https://doi.org/10.1007/978-3-319-92081-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401312 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Baier, Christel. editor.&#160;Caires, Lu&iacute;s. editor. (orcid)0000-0002-3215-6734&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92612-4">https://doi.org/10.1007/978-3-319-92612-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Brief History of Everything Wireless How Invisible Waves Have Changed the World ent://SD_ILS/0/SD_ILS:401406 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Launiainen, Petri. 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-78910-1">https://doi.org/10.1007/978-3-319-78910-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovations for Community Services 18th International Conference, I4CS 2018, &#381;ilina, Slovakia, June 18-20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401417 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Hodo&#328;, Michal. editor.&#160;Eichler, Gerald. editor. (orcid)0000-0002-7420-698X&#160;Erfurth, Christian. editor. (orcid)0000-0003-2761-3985&#160;Fahrnberger, G&uuml;nter. editor. (orcid)0000-0002-2606-3988&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93408-2">https://doi.org/10.1007/978-3-319-93408-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401453 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Mazal, Jan. editor. (orcid)0000-0001-5741-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-76072-8">https://doi.org/10.1007/978-3-319-76072-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Networks 25th International Conference, CN 2018, Gliwice, Poland, June 19-22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401461 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Gaj, Piotr. editor. (orcid)0000-0002-2291-7341&#160;Sawicki, Micha&#322;. editor. (orcid)0000-0002-4610-4249&#160;Suchacka, Gra&#380;yna. editor.&#160;Kwiecie&#324;, Andrzej. 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-92459-5">https://doi.org/10.1007/978-3-319-92459-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Swarm Intelligence 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:401537 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Tan, Ying. editor.&#160;Shi, Yuhui. editor.&#160;Tang, Qirong. 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-93815-8">https://doi.org/10.1007/978-3-319-93815-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence and Its Applications 6th IFIP TC 5 International Conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401557 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Amine, Abdelmalek. editor.&#160;Mouhoub, Malek. editor. (orcid)0000-0001-7381-1064&#160;Ait Mohamed, Otmane. editor.&#160;Djebbar, Bachir. 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-89743-1">https://doi.org/10.1007/978-3-319-89743-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Technological Innovation for Resilient Systems 9th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2018, Costa de Caparica, Portugal, May 2-4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401572 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961&#160;Adu-Kankam, Kankam O. editor. (orcid)0000-0001-8572-1170&#160;Julashokri, Mohammad. editor. (orcid)0000-0003-0012-9456&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78574-5">https://doi.org/10.1007/978-3-319-78574-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> e-Infrastructure and e-Services for Developing Countries 8th International Conference, AFRICOMM 2016, Ouagadougou, Burkina Faso, December 6-7, 2016, Proceedings ent://SD_ILS/0/SD_ILS:401872 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Bissyande, Tegawend&eacute; F. editor.&#160;Sie, Oumarou. 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-66742-3">https://doi.org/10.1007/978-3-319-66742-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobility Analytics for Spatio-Temporal and Social Data First International Workshop, MATES 2017, Munich, Germany, September 1, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401931 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Doulkeridis, Christos. editor. (orcid)0000-0002-3219-0510&#160;Vouros, George A. editor. (orcid)0000-0001-5451-622X&#160;Qu, Qiang. editor. (orcid)0000-0001-5814-8460&#160;Wang, Shuhui. 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-73521-4">https://doi.org/10.1007/978-3-319-73521-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security and Privacy 23rd Australasian Conference, ACISP 2018, Wollongong, NSW, Australia, July 11-13, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401992 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Susilo, Willy. editor. (orcid)0000-0002-1562-5105&#160;Yang, Guomin. editor. (orcid)0000-0002-4949-7738&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93638-3">https://doi.org/10.1007/978-3-319-93638-3</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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> Self-Aware Computing Systems ent://SD_ILS/0/SD_ILS:611535 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Kounev, Samuel. editor.&#160;Kephart, Jeffrey O. editor.&#160;Milenkoski, Aleksandar. editor.&#160;Zhu, Xiaoyun. 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-47474-8">https://doi.org/10.1007/978-3-319-47474-8</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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools ent://SD_ILS/0/SD_ILS:612946 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Mahmood, Zaigham. 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-54325-3">https://doi.org/10.1007/978-3-319-54325-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web and Internet Economics 13th International Conference, WINE 2017, Bangalore, India, December 17-20, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613254 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;R. Devanur, Nikhil. editor.&#160;Lu, Pinyan. editor. (orcid)0009-0005-0569-4122&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-71924-5">https://doi.org/10.1007/978-3-319-71924-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Creativity in Intelligent Technologies and Data Science Second Conference, CIT&amp;DS 2017, Volgograd, Russia, September 12-14, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613472 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Kravets, Alla. editor.&#160;Shcherbakov, Maxim. editor.&#160;Kultsova, Marina. editor.&#160;Groumpos, 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-65551-2">https://doi.org/10.1007/978-3-319-65551-2</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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> 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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18-22, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613266 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Kunkel, Julian M. editor.&#160;Yokota, Rio. editor.&#160;Balaji, Pavan. editor.&#160;Keyes, 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-58667-0">https://doi.org/10.1007/978-3-319-58667-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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> Transactions on Computational Collective Intelligence XXVII ent://SD_ILS/0/SD_ILS:613757 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Mercik, Jacek. 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-70647-4">https://doi.org/10.1007/978-3-319-70647-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613760 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824&#160;van den Herik, H. Jaap. editor.&#160;Kosters, Walter A. 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-71649-7">https://doi.org/10.1007/978-3-319-71649-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616154 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Dennunzio, Alberto. editor.&#160;Formenti, Enrico. editor.&#160;Manzoni, Luca. editor.&#160;Porreca, Antonio E. 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-58631-1">https://doi.org/10.1007/978-3-319-58631-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Natural Computing 6th International Conference, TPNC 2017, Prague, Czech Republic, December 18-20, 2017, Proceedings ent://SD_ILS/0/SD_ILS:617759 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Mart&iacute;n-Vide, Carlos. editor. (orcid)0000-0003-1670-6000&#160;Neruda, Roman. editor.&#160;Vega-Rodr&iacute;guez, Miguel A. 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-71069-3">https://doi.org/10.1007/978-3-319-71069-3</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-06T06:37:07Z 2026-04-06T06:37:07Z 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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> 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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> High-Performance Scientific Computing First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613733 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Di Napoli, Edoardo. editor.&#160;Hermanns, Marc-Andr&eacute;. editor.&#160;Iliev, Hristo. editor.&#160;Lintermann, Andreas. editor.&#160;Peyser, Alexander. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-53862-4">https://doi.org/10.1007/978-3-319-53862-4</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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> Conflict Resolution in Decision Making Second International Workshop, COREDEMA 2016, The Hague, The Netherlands, August 29-30, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:616027 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Aydo&#287;an, Reyhan. editor.&#160;Baarslag, Tim. editor.&#160;Gerding, Enrico. editor.&#160;Jonker, Catholijn M. editor.&#160;Julian, Vicente. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-57285-7">https://doi.org/10.1007/978-3-319-57285-7</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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> Architecture of Computing Systems - ARCS 2017 30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616254 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Knoop, Jens. editor.&#160;Karl, Wolfgang. editor.&#160;Schulz, Martin. editor.&#160;Inoue, Koji. editor.&#160;Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-54999-6">https://doi.org/10.1007/978-3-319-54999-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Computing and Communication First International Conference, SmartCom 2016, Shenzhen, China, December 17-19, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616224 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Qiu, Meikang. 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-52015-5">https://doi.org/10.1007/978-3-319-52015-5</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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> Simulated Evolution and Learning 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, Proceedings ent://SD_ILS/0/SD_ILS:618059 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Shi, Yuhui. editor.&#160;Tan, Kay Chen. editor.&#160;Zhang, Mengjie. editor. (orcid)0000-0003-4463-9538&#160;Tang, Ke. editor.&#160;Li, Xiaodong. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-68759-9">https://doi.org/10.1007/978-3-319-68759-9</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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> Information Technologies and Mathematical Modelling: Queueing Theory and Applications 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings ent://SD_ILS/0/SD_ILS:610744 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Dudin, Alexander. editor. (orcid)0000-0003-2881-0227&#160;Gortsev, Alexander. editor.&#160;Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629&#160;Yakupov, 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-44615-8">https://doi.org/10.1007/978-3-319-44615-8</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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> 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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> Nature of Computation and Communication Second International Conference, ICTCC 2016, Rach Gia, Vietnam, March 17-18, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:611446 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Vinh, Phan Cong. editor. (orcid)0000-0002-0797-0152&#160;Barolli, Leonard. 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-46909-6">https://doi.org/10.1007/978-3-319-46909-6</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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> 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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> 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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> Architecture of Computing Systems -- ARCS 2016 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612464 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Hannig, Frank. editor. (orcid)0000-0003-3663-6484&#160;Cardoso, Jo&atilde;o M.P. editor.&#160;Pionteck, Thilo. editor.&#160;Fey, Dietmar. editor. (orcid)0000-0002-6077-4732&#160;Schr&ouml;der-Preikschat, Wolfgang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-30695-7">https://doi.org/10.1007/978-3-319-30695-7</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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612842 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Cook, Matthew. editor.&#160;Neary, Turlough. 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-39300-1">https://doi.org/10.1007/978-3-319-39300-1</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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> 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-06T06:37:07Z 2026-04-06T06:37:07Z 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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> 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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> Quantum Interaction 9th International Conference, QI 2015, Filzbach, Switzerland, July 15-17, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:612823 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Atmanspacher, Harald. editor.&#160;Filk, Thomas. 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-28675-4">https://doi.org/10.1007/978-3-319-28675-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cellular Automata 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings ent://SD_ILS/0/SD_ILS:615987 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;El Yacoubi, Samira. editor.&#160;W&#261;s, Jaros&#322;aw. editor.&#160;Bandini, Stefania. 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-44365-2">https://doi.org/10.1007/978-3-319-44365-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Natural Computing 5th International Conference, TPNC 2016, Sendai, Japan, December 12-13, 2016, Proceedings ent://SD_ILS/0/SD_ILS:615994 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;Mizuki, Takaaki. editor.&#160;Vega-Rodr&iacute;guez, Miguel A. 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-49001-4">https://doi.org/10.1007/978-3-319-49001-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Combinatorics 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings ent://SD_ILS/0/SD_ILS:615998 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Dinh, Thang N. editor.&#160;Thai, My 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-42634-1">https://doi.org/10.1007/978-3-319-42634-1</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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> Theory of Cryptography 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I ent://SD_ILS/0/SD_ILS:616165 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Kushilevitz, Eyal. editor.&#160;Malkin, Tal. 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-49096-9">https://doi.org/10.1007/978-3-662-49096-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Collective Intelligence XXI Special Issue on Keyword Search and Big Data ent://SD_ILS/0/SD_ILS:616905 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Nguyen, Ngoc Thanh. editor.&#160;Kowalczyk, Ryszard. editor.&#160;Rupino da Cunha, Paulo. 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-49521-6">https://doi.org/10.1007/978-3-662-49521-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithm Engineering Selected Results and Surveys ent://SD_ILS/0/SD_ILS:617840 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Kliemann, Lasse. editor.&#160;Sanders, 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-49487-6">https://doi.org/10.1007/978-3-319-49487-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings ent://SD_ILS/0/SD_ILS:618015 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Caballero, Juan. editor.&#160;Bodden, Eric. editor.&#160;Athanasopoulos, Elias. 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-30806-7">https://doi.org/10.1007/978-3-319-30806-7</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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> Applied Cryptography and Network Security 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings ent://SD_ILS/0/SD_ILS:618448 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Manulis, Mark. editor.&#160;Sadeghi, Ahmad-Reza. editor.&#160;Schneider, Steve. 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-39555-5">https://doi.org/10.1007/978-3-319-39555-5</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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> High Performance Computing 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611426 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Kunkel, Julian M. editor.&#160;Balaji, Pavan. editor.&#160;Dongarra, Jack. 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-41321-1">https://doi.org/10.1007/978-3-319-41321-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Collective Intelligence XXII ent://SD_ILS/0/SD_ILS:611645 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Nguyen, Ngoc Thanh. editor.&#160;Kowalczyk, Ryszard. 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-49619-0">https://doi.org/10.1007/978-3-662-49619-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm, Evolutionary, and Memetic Computing 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:611704 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Panigrahi, Bijaya Ketan. editor.&#160;Suganthan, Ponnuthurai Nagaratnam. editor.&#160;Das, Swagatam. editor.&#160;Satapathy, Suresh Chandra. editor. (orcid)0000-0001-8236-4104&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-48959-9">https://doi.org/10.1007/978-3-319-48959-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Artificial Intelligence 17th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2016, Salamanca, Spain, September 14-16, 2016. Proceedings ent://SD_ILS/0/SD_ILS:615926 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Luaces, Oscar. editor.&#160;G&aacute;mez, Jos&eacute; A. editor.&#160;Barrenechea, Edurne. editor.&#160;Troncoso, Alicia. editor.&#160;Galar, Mikel. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-44636-3">https://doi.org/10.1007/978-3-319-44636-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616247 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Carretero, Jesus. editor.&#160;Garcia-Blas, Javier. editor.&#160;Ko, Ryan K.L. editor.&#160;Mueller, Peter. editor.&#160;Nakano, Koji. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-49583-5">https://doi.org/10.1007/978-3-319-49583-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Collaborative Identifier Network A Promising Design for Future Internet ent://SD_ILS/0/SD_ILS:614652 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Zhang, Hongke. author.&#160;Su, Wei. author.&#160;Quan, Wei. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-49143-0">https://doi.org/10.1007/978-3-662-49143-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Cryptography 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part II ent://SD_ILS/0/SD_ILS:615927 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Kushilevitz, Eyal. editor.&#160;Malkin, Tal. 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-49099-0">https://doi.org/10.1007/978-3-662-49099-0</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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> 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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> Transactions on Computational Collective Intelligence XXIV ent://SD_ILS/0/SD_ILS:617810 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948&#160;Kowalczyk, Ryszard. editor.&#160;Filipe, Joaquim. 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-53525-7">https://doi.org/10.1007/978-3-662-53525-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Collective Intelligence XXIII ent://SD_ILS/0/SD_ILS:617811 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Nguyen, Ngoc Thanh. editor.&#160;Kowalczyk, Ryszard. editor.&#160;Mercik, Jacek. 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-52886-0">https://doi.org/10.1007/978-3-662-52886-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web and Internet Economics 12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016, Proceedings ent://SD_ILS/0/SD_ILS:618140 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Cai, Yang. editor.&#160;Vetta, Adrian. 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-54110-4">https://doi.org/10.1007/978-3-662-54110-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Soft Computing in Computer and Information Science ent://SD_ILS/0/SD_ILS:529415 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Wili&#324;ski, Antoni. editor.&#160;Fray, Imed El. editor.&#160;Peja&#347;, Jerzy. 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-15147-2">https://doi.org/10.1007/978-3-319-15147-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dynamic Cloud Collaboration Platform A Market-Oriented Approach ent://SD_ILS/0/SD_ILS:331690 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Hassan, Mohammad Mehedi. author.&#160;Huh, Eui-Nam. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331690.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-5146-4">http://dx.doi.org/10.1007/978-1-4614-5146-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Physical Layer Approaches for Securing Wireless Communication Systems ent://SD_ILS/0/SD_ILS:332050 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Wen, Hong. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332050.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-6510-2">http://dx.doi.org/10.1007/978-1-4614-6510-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web-Scale Data Management for the Cloud ent://SD_ILS/0/SD_ILS:332138 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Lehner, Wolfgang. author.&#160;Sattler, Kai-Uwe. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332138.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-6856-1">http://dx.doi.org/10.1007/978-1-4614-6856-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Android Malware ent://SD_ILS/0/SD_ILS:332276 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Jiang, Xuxian. author.&#160;Zhou, Yajin. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332276.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-7394-7">http://dx.doi.org/10.1007/978-1-4614-7394-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Studies on Urban Vehicular Ad-hoc Networks ent://SD_ILS/0/SD_ILS:332386 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Zhu, Hongzi. author.&#160;Li, Minglu. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332386.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-8048-8">http://dx.doi.org/10.1007/978-1-4614-8048-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security and Privacy in Mobile Social Networks ent://SD_ILS/0/SD_ILS:332451 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Liang, Xiaohui. author.&#160;Lu, Rongxing. author.&#160;Lin, Xiaodong. author.&#160;Shen, Xuemin. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332451.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-8857-6">http://dx.doi.org/10.1007/978-1-4614-8857-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Resource Management in Utility and Cloud Computing ent://SD_ILS/0/SD_ILS:332457 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Zhao, Han. author.&#160;Li, Xiaolin. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332457.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-8970-2">http://dx.doi.org/10.1007/978-1-4614-8970-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intrusion Detection for IP-Based Multimedia Communications over Wireless Networks ent://SD_ILS/0/SD_ILS:332461 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Tang, Jin. author.&#160;Cheng, Yu. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332461.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-8996-2">http://dx.doi.org/10.1007/978-1-4614-8996-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Hash Table Theory, Platforms and Applications ent://SD_ILS/0/SD_ILS:332462 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Zhang, Hao. author.&#160;Wen, Yonggang. author.&#160;Xie, Haiyong. author.&#160;Yu, Nenghai. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332462.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-9008-1">http://dx.doi.org/10.1007/978-1-4614-9008-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Location Privacy Protection in Mobile Networks ent://SD_ILS/0/SD_ILS:332468 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Liu, Xinxin. author.&#160;Li, Xiaolin. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332468.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-9074-6">http://dx.doi.org/10.1007/978-1-4614-9074-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security Assessment in Vehicular Networks ent://SD_ILS/0/SD_ILS:332479 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Du, Suguo. author.&#160;Zhu, Haojin. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332479.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-9357-0">http://dx.doi.org/10.1007/978-1-4614-9357-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conversations About Challenges in Computing ent://SD_ILS/0/SD_ILS:332698 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Bruaset, Are Magnus. editor.&#160;Tveito, Aslak. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332698.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-00209-5">http://dx.doi.org/10.1007/978-3-319-00209-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Personal Satellite Services 5th International ICST Conference, PSATS 2013, Toulouse, France, June 27-28, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:332945 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Dhaou, Riadh. editor.&#160;Beylot, Andr&eacute;-Luc. editor.&#160;Montpetit, Marie-Jos&eacute;. editor.&#160;Lucani, Daniel. editor.&#160;Mucchi, Lorenzo. editor.<br/>Preferred Shelf Number&#160;ONLINE(332945.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02762-3">http://dx.doi.org/10.1007/978-3-319-02762-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Decision and Game Theory for Security 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332947 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Das, Sajal K. editor.&#160;Nita-Rotaru, Cristina. editor.&#160;Kantarcioglu, Murat. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332947.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02786-9">http://dx.doi.org/10.1007/978-3-319-02786-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Concepts for Intelligent Vision Systems 15th International Conference, ACIVS 2013, Pozna&#324;, Poland, October 28-31, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332953 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Blanc-Talon, Jacques. editor.&#160;Kasinski, Andrzej. editor.&#160;Philips, Wilfried. editor.&#160;Popescu, Dan. editor.&#160;Scheunders, Paul. editor.<br/>Preferred Shelf Number&#160;ONLINE(332953.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02895-8">http://dx.doi.org/10.1007/978-3-319-02895-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cryptology and Network Security 12th International Conference, CANS 2013, Paraty, Brazil, November 20-22. 2013. Proceedings ent://SD_ILS/0/SD_ILS:332957 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Abdalla, Michel. editor.&#160;Nita-Rotaru, Cristina. editor.&#160;Dahab, Ricardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332957.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02937-5">http://dx.doi.org/10.1007/978-3-319-02937-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Computer Interaction 6th Latin American Conference, CLIHC 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332961 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Collazos, C&eacute;sar. editor.&#160;Liborio, Andr&eacute;ia. editor.&#160;Rusu, Cristian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332961.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03068-5">http://dx.doi.org/10.1007/978-3-319-03068-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332962 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Bertacco, Valeria. editor.&#160;Legay, Axel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332962.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03077-7">http://dx.doi.org/10.1007/978-3-319-03077-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332964 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Higashino, Teruo. editor.&#160;Katayama, Yoshiaki. editor.&#160;Masuzawa, Toshimitsu. editor.&#160;Potop-Butucaru, Maria. editor.&#160;Yamashita, Masafumi. editor.<br/>Preferred Shelf Number&#160;ONLINE(332964.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03089-0">http://dx.doi.org/10.1007/978-3-319-03089-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ambient Assisted Living and Active Aging 5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332965 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Nugent, Christopher. editor.&#160;Coronato, Antonio. editor.&#160;Bravo, Jos&eacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332965.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03092-0">http://dx.doi.org/10.1007/978-3-319-03092-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Entertainment 10th International Conference, ACE 2013, Boekelo, The Netherlands, November 12-15, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332968 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Reidsma, Dennis. editor.&#160;Katayose, Haruhiro. editor.&#160;Nijholt, Anton. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332968.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03161-3">http://dx.doi.org/10.1007/978-3-319-03161-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332969 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Urzaiz, Gabriel. editor.&#160;Ochoa, Sergio F. editor.&#160;Bravo, Jos&eacute;. editor.&#160;Chen, Liming Luke. editor.&#160;Oliveira, Jonice. editor.<br/>Preferred Shelf Number&#160;ONLINE(332969.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03176-7">http://dx.doi.org/10.1007/978-3-319-03176-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Social Informatics 5th International Conference, SocInfo 2013, Kyoto, Japan, November 25-27, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332973 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Jatowt, Adam. editor.&#160;Lim, Ee-Peng. editor.&#160;Ding, Ying. editor.&#160;Miura, Asako. editor.&#160;Tezuka, Taro. editor.<br/>Preferred Shelf Number&#160;ONLINE(332973.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03260-3">http://dx.doi.org/10.1007/978-3-319-03260-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structural Information and Communication Complexity 20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 1-3, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:332983 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Moscibroda, Thomas. editor.&#160;Rescigno, Adele A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332983.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03578-9">http://dx.doi.org/10.1007/978-3-319-03578-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cyberspace Safety and Security 5th International Symposium, CSS 2013, Zhangjiajie, China, November 13-15, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332984 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Wang, Guojun. editor.&#160;Ray, Indrakshi. editor.&#160;Feng, Dengguo. editor.&#160;Rajarajan, Muttukrishnan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332984.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03584-0">http://dx.doi.org/10.1007/978-3-319-03584-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Mobile Web Information Systems MobiWIS 2013 International Workshops, Paphos, Cyprus, August 26-28, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:332992 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Matera, Maristella. editor.&#160;Rossi, Gustavo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332992.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03737-0">http://dx.doi.org/10.1007/978-3-319-03737-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:332993 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Panigrahi, Bijaya Ketan. editor.&#160;Suganthan, Ponnuthurai Nagaratnam. editor.&#160;Das, Swagatam. editor.&#160;Dash, Shubhransu Sekhar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332993.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03753-0">http://dx.doi.org/10.1007/978-3-319-03753-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:332994 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Panigrahi, Bijaya Ketan. editor.&#160;Suganthan, Ponnuthurai Nagaratnam. editor.&#160;Das, Swagatam. editor.&#160;Dash, Shubhransu Sekhar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332994.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03756-1">http://dx.doi.org/10.1007/978-3-319-03756-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Optimization and Applications 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332995 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Widmayer, Peter. editor.&#160;Xu, Yinfeng. editor.&#160;Zhu, Binhai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332995.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03780-6">http://dx.doi.org/10.1007/978-3-319-03780-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Information Technology 6th International Conference, IAIT 2013, Bangkok, Thailand, December 12-13, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332996 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Papasratorn, Borworn. editor.&#160;Charoenkitkarn, Nipon. editor.&#160;Vanijja, Vajirasak. editor.&#160;Chongsuphajaisiddhi, Vithida. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332996.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03783-7">http://dx.doi.org/10.1007/978-3-319-03783-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332999 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Baldoni, Roberto. editor.&#160;Nisse, Nicolas. editor.&#160;Steen, Maarten. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332999.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03850-6">http://dx.doi.org/10.1007/978-3-319-03850-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:333000 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Ko&#322;odziej, Joanna. editor.&#160;Martino, Beniamino. editor.&#160;Talia, Domenico. editor.&#160;Xiong, Kaiqi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333000.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03859-9">http://dx.doi.org/10.1007/978-3-319-03859-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multiple Access Communcations 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013. Proceedings ent://SD_ILS/0/SD_ILS:333001 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Jonsson, Magnus. editor.&#160;Vinel, Alexey. editor.&#160;Bellalta, Boris. editor.&#160;Marina, Ninoslav. editor.&#160;Dimitrova, Desislava. editor.<br/>Preferred Shelf Number&#160;ONLINE(333001.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03871-1">http://dx.doi.org/10.1007/978-3-319-03871-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cloud Computing Third International Conference, CloudComp 2012, Vienna, Austria, September 24-26, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:333002 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Yousif, Mazin. editor.&#160;Schubert, Lutz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333002.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03874-2">http://dx.doi.org/10.1007/978-3-319-03874-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:333003 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Aversa, Rocco. editor.&#160;Ko&#322;odziej, Joanna. editor.&#160;Zhang, Jun. editor.&#160;Amato, Flora. editor.&#160;Fortino, Giancarlo. editor.<br/>Preferred Shelf Number&#160;ONLINE(333003.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03889-6">http://dx.doi.org/10.1007/978-3-319-03889-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Process Support and Knowledge Representation in Health Care AIME 2013 Joint Workshop, KR4HC 2013/ProHealth 2013, Murcia, Spain, June 1, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:333006 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Ria&ntilde;o, David. editor.&#160;Lenz, Richard. editor.&#160;Miksch, Silvia. editor.&#160;Peleg, Mor. editor.&#160;Reichert, Manfred. editor.<br/>Preferred Shelf Number&#160;ONLINE(333006.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03916-9">http://dx.doi.org/10.1007/978-3-319-03916-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Critical Information Infrastructures Security 8th International Workshop, CRITIS 2013, Amsterdam, The Netherlands, September 16-18, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:333008 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Luiijf, Eric. editor.&#160;Hartel, Pieter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333008.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03964-0">http://dx.doi.org/10.1007/978-3-319-03964-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sensor Systems and Software 4th International ICST Conference, S-Cube 2013, Lucca, Italy, June 11-12, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:333015 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Zuniga, Marco. editor.&#160;Dini, Gianluca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333015.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-04166-7">http://dx.doi.org/10.1007/978-3-319-04166-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Networks and Management 5th International Conference, MONAMI 2013, Cork, Ireland, September 23-25, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:333020 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Pesch, Dirk. editor.&#160;Timm-Giel, Andreas. editor.&#160;Calvo, Ram&oacute;n Ag&uuml;ero. editor.&#160;Wenning, Bernd-Ludwig. editor.&#160;Pentikousis, Kostas. editor.<br/>Preferred Shelf Number&#160;ONLINE(333020.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-04277-0">http://dx.doi.org/10.1007/978-3-319-04277-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge Discovery, Knowledge Engineering and Knowledge Management Second International Joint Conference, IC3K 2010, Valencia, Spain, October 25-28, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:333266 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Fred, Ana. editor.&#160;Dietz, Jan L. G. editor.&#160;Liu, Kecheng. editor.&#160;Filipe, Joaquim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333266.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29764-9">http://dx.doi.org/10.1007/978-3-642-29764-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:333558 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Maciaszek, Leszek A. editor.&#160;Zhang, Kang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333558.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32341-6">http://dx.doi.org/10.1007/978-3-642-32341-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> QoS Management of Web Services ent://SD_ILS/0/SD_ILS:333814 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Zheng, Zibin. author.&#160;Lyu, Michael R. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333814.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34207-3">http://dx.doi.org/10.1007/978-3-642-34207-3</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-06T06:37:07Z 2026-04-06T06:37:07Z 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/> Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334025 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Frey, Davide. editor.&#160;Raynal, Michel. editor.&#160;Sarkar, Saswati. editor.&#160;Shyamasundar, Rudrapatna K. editor.&#160;Sinha, Prasun. editor.<br/>Preferred Shelf Number&#160;ONLINE(334025.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35668-1">http://dx.doi.org/10.1007/978-3-642-35668-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SmartShadow: Models and Methods for Pervasive Computing ent://SD_ILS/0/SD_ILS:334190 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Wu, Zhaohui. author.&#160;Pan, Gang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334190.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36382-5">http://dx.doi.org/10.1007/978-3-642-36382-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture of Computing Systems &ndash; ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334200 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Kub&aacute;tov&aacute;, Hana. editor.&#160;Hochberger, Christian. editor.&#160;Dan&#283;k, Martin. editor.&#160;Sick, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334200.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36424-2">http://dx.doi.org/10.1007/978-3-642-36424-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Process Support and Knowledge Representation in Health Care BPM 2012 Joint Workshop, ProHealth 2012/KR4HC 2012, Tallinn, Estonia, September 3, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334204 2026-04-06T06:37:07Z 2026-04-06T06:37:07Z Author&#160;Lenz, Richard. editor.&#160;Miksch, Silvia. editor.&#160;Peleg, Mor. editor.&#160;Reichert, Manfred. editor.&#160;Ria&ntilde;o, David. editor.<br/>Preferred Shelf Number&#160;ONLINE(334204.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36438-9">http://dx.doi.org/10.1007/978-3-642-36438-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>