Search Results for Artificial intelligence. - Narrowed by: Operating Systems. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dArtificial$002bintelligence.$0026qf$003dSUBJECT$002509Subject$002509Operating$002bSystems.$002509Operating$002bSystems.$0026ps$003d300?dt=list 2026-03-15T05:53:19Z Brain Informatics International Conference, BI 2017, Beijing, China, November 16-18, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613751 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Zeng, Yi. editor.&#160;He, Yong. editor.&#160;Kotaleski, Jeanette Hellgren. editor.&#160;Martone, Maryann. editor.&#160;Xu, Bo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-70772-3">https://doi.org/10.1007/978-3-319-70772-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Informatics 7th International Conference, ICAI 2024, Vi&ntilde;a del Mar, Chile, October 24-26, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:605593 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Florez, Hector. editor. (orcid)0000-0002-5339-4459&#160;Astudillo, Hern&aacute;n. editor. (orcid)0000-0002-6487-5813&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-75144-8">https://doi.org/10.1007/978-3-031-75144-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Informatics 7th International Conference, ICAI 2024, Vi&ntilde;a del Mar, Chile, October 24-26, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:605594 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Florez, Hector. editor. (orcid)0000-0002-5339-4459&#160;Astudillo, Hern&aacute;n. editor. (orcid)0000-0002-6487-5813&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-75147-9">https://doi.org/10.1007/978-3-031-75147-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network and Parallel Computing 20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:607836 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Chen, Xu. editor.&#160;Min, Geyong. editor.&#160;Guo, Deke. editor.&#160;Xie, Xia. editor.&#160;Pu, Lingjun. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-2864-3">https://doi.org/10.1007/978-981-96-2864-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network and Parallel Computing 20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:607835 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Chen, Xu. editor.&#160;Min, Geyong. editor.&#160;Guo, Deke. editor.&#160;Xie, Xia. editor.&#160;Pu, Lingjun. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-2830-8">https://doi.org/10.1007/978-981-96-2830-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Economics of Grids, Clouds, Systems, and Services 20th International Conference, GECON 2024, Rome, Italy, September 26-27, 2024, Proceedings ent://SD_ILS/0/SD_ILS:607157 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Naldi, Maurizio. editor. (orcid)0000-0002-0903-398X&#160;Djemame, Karim. editor. (orcid)0000-0001-5811-5263&#160;Altmann, J&ouml;rn. editor. (orcid)0000-0002-8880-9546&#160;Ba&ntilde;ares, Jos&eacute; &Aacute;ngel. editor. (orcid)0000-0002-4198-8241&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-81226-2">https://doi.org/10.1007/978-3-031-81226-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Blockchain, Metaverse and Trustworthy Systems 6th International Conference, BlockSys 2024, Hangzhou, China, July 12-14, 2024, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:607059 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;He, Debiao. editor. (orcid)0000-0002-2446-7436&#160;Wu, Jiajing. editor. (orcid)0000-0001-5155-8547&#160;Wang, Chen. editor. (orcid)0000-0002-3951-3159&#160;Huang, Huawei. editor. (orcid)0000-0002-7035-6446&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-1411-0">https://doi.org/10.1007/978-981-96-1411-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Blockchain, Metaverse and Trustworthy Systems 6th International Conference, BlockSys 2024, Hangzhou, China, July 12-14, 2024, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:607060 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;He, Debiao. editor. (orcid)0000-0002-2446-7436&#160;Wu, Jiajing. editor. (orcid)0000-0001-5155-8547&#160;Wang, Chen. editor. (orcid)0000-0002-3951-3159&#160;Huang, Huawei. editor. (orcid)0000-0002-7035-6446&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-1414-1">https://doi.org/10.1007/978-981-96-1414-1</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-03-15T05:53:19Z 2026-03-15T05:53:19Z 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/> Coordination Models and Languages 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025, Proceedings ent://SD_ILS/0/SD_ILS:608973 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Di Giusto, Cinzia. editor. (orcid)0000-0003-1563-6581&#160;Ravara, Ant&oacute;nio. editor. (orcid)0000-0001-8074-0380&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-95589-1">https://doi.org/10.1007/978-3-031-95589-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Communication Technologies 12th Ecuadorian Conference, TICEC 2024, Loja, Ecuador, October 16-18, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605766 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Berrezueta-Guzman, Santiago. editor. (orcid)0000-0001-5559-2056&#160;Torres, Rommel. editor. (orcid)0000-0003-2313-0118&#160;Zambrano-Martinez, Jorge Luis. editor. (orcid)0000-0002-5339-7860&#160;Herrera-Tapia, Jorge. editor. (orcid)0000-0002-8673-0236&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-75431-9">https://doi.org/10.1007/978-3-031-75431-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented Computing 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:605610 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Aiello, Marco. editor. (orcid)0000-0002-0764-2124&#160;Barzen, Johanna. editor.&#160;Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821&#160;Leymann, Frank. editor. (orcid)0000-0002-9123-259X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-72578-4">https://doi.org/10.1007/978-3-031-72578-4</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-03-15T05:53:19Z 2026-03-15T05:53:19Z 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/> Distributed Computing for Emerging Smart Networks 4th International Workshop, DiCES-N 2023, Bizerte, Tunisia, May 27, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602473 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Jemili, Imen. editor. (orcid)0000-0002-3701-1251&#160;Mosbah, Mohamed. editor.&#160;Mabrouk, Sabra. editor.&#160;Mendiboure, Leo. 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-52823-1">https://doi.org/10.1007/978-3-031-52823-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Blockchain and Trustworthy Systems 5th International Conference, BlockSys 2023, Haikou, China, August 8-10, 2023, Proceedings, Part II ent://SD_ILS/0/SD_ILS:602008 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Chen, Jiachi. editor.&#160;Wen, Bin. editor.&#160;Chen, Ting. 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-8104-5">https://doi.org/10.1007/978-981-99-8104-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part II ent://SD_ILS/0/SD_ILS:602079 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Kadgien, Regine. editor.&#160;Jedlitschka, Andreas. editor.&#160;Janes, Andrea. editor.&#160;Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133&#160;Li, Xiaozhou. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-49269-3">https://doi.org/10.1007/978-3-031-49269-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Model and Data Engineering in the Digitalization Era MEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2-4, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602977 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237&#160;Kechadi, Tahar. editor. (orcid)0000-0002-0176-6281&#160;Bellatreche, Ladjel. editor.&#160;Gargouri, Faiez. editor.&#160;Guegan, Chirine Ghedira. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-55729-3">https://doi.org/10.1007/978-3-031-55729-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Storage Architectures and Technologies ent://SD_ILS/0/SD_ILS:604876 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Shu, Jiwu. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-3534-1">https://doi.org/10.1007/978-981-97-3534-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Blockchain and Trustworthy Systems 5th International Conference, BlockSys 2023, Haikou, China, August 8-10, 2023, Proceedings, Part I ent://SD_ILS/0/SD_ILS:602007 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Chen, Jiachi. editor.&#160;Wen, Bin. editor.&#160;Chen, Ting. 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-8101-4">https://doi.org/10.1007/978-981-99-8101-4</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-03-15T05:53:19Z 2026-03-15T05:53:19Z 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/> Software Quality as a Foundation for Security 16th International Conference on Software Quality, SWQD 2024, Vienna, Austria, April 23-25, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603214 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Bludau, Peter. editor. (orcid)0000-0003-4738-0488&#160;Ramler, Rudolf. editor. (orcid)0000-0001-9903-6107&#160;Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124&#160;Bergsmann, Johannes. 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-56281-5">https://doi.org/10.1007/978-3-031-56281-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise Information Systems 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:604430 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Filipe, Joaquim. editor.&#160;&#346;mia&#322;ek, Micha&#322;. editor.&#160;Brodsky, Alexander. editor.&#160;Hammoudi, Slimane. 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-64748-2">https://doi.org/10.1007/978-3-031-64748-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise Information Systems 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:604431 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Filipe, Joaquim. editor.&#160;&#346;mia&#322;ek, Micha&#322;. editor.&#160;Brodsky, Alexander. editor.&#160;Hammoudi, Slimane. 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-64755-0">https://doi.org/10.1007/978-3-031-64755-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Parallel Processing Technologies 15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023, Proceedings ent://SD_ILS/0/SD_ILS:601939 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Li, Chao. editor. (orcid)0000-0001-6218-4659&#160;Li, Zhenhua. editor. (orcid)0000-0001-7286-122X&#160;Shen, Li. editor. (orcid)0000-0001-9043-2998&#160;Wu, Fan. editor. (orcid)0000-0003-0965-9058&#160;Gong, Xiaoli. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-7872-4">https://doi.org/10.1007/978-981-99-7872-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Informatics 6th International Conference, ICAI 2023, Guayaquil, Ecuador, October 26-28, 2023, Proceedings ent://SD_ILS/0/SD_ILS:601876 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Florez, Hector. editor. (orcid)0000-0002-5339-4459&#160;Leon, Marcelo. 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-46813-1">https://doi.org/10.1007/978-3-031-46813-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination Models and Languages 26th IFIP WG 6.1 International Conference, COORDINATION 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:603900 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Castellani, Ilaria. editor. (orcid)0000-0001-9820-0892&#160;Tiezzi, Francesco. editor. (orcid)0000-0003-4740-7521&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-62697-5">https://doi.org/10.1007/978-3-031-62697-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Business 14th International Conference, ICSOB 2023, Lahti, Finland, November 27-29, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602545 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Hyrynsalmi, Sami. editor.&#160;M&uuml;nch, J&uuml;rgen. editor. (orcid)0000-0003-0327-8094&#160;Smolander, Kari. editor.&#160;Melegati, Jorge. 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-53227-6">https://doi.org/10.1007/978-3-031-53227-6</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-03-15T05:53:19Z 2026-03-15T05:53:19Z 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/> Robot Operating System (ROS) The Complete Reference (Volume 7) ent://SD_ILS/0/SD_ILS:526731 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Koubaa, Anis. 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-09062-2">https://doi.org/10.1007/978-3-031-09062-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:611952 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Lintas, Alessandra. editor.&#160;Rovetta, Stefano. editor.&#160;Verschure, Paul F.M.J. editor.&#160;Villa, Alessandro E.P. 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-68600-4">https://doi.org/10.1007/978-3-319-68600-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611748 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Gaspers, Serge. editor.&#160;Walsh, Toby. 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-66263-3">https://doi.org/10.1007/978-3-319-66263-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611615 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Menzies, Tim. editor.&#160;Petke, Justyna. 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-66299-2">https://doi.org/10.1007/978-3-319-66299-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616750 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448&#160;Boucheneb, Hanifa. editor.&#160;Mili, Ali. editor.&#160;Tahar, Sofi&egrave;ne. 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-66176-6">https://doi.org/10.1007/978-3-319-66176-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:613748 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Liu, Derong. editor.&#160;Xie, Shengli. editor.&#160;Li, Yuanqing. editor.&#160;Zhao, Dongbin. editor.&#160;El-Alfy, El-Sayed M. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-70136-3">https://doi.org/10.1007/978-3-319-70136-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:611054 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Lintas, Alessandra. editor.&#160;Rovetta, Stefano. editor.&#160;Verschure, Paul F.M.J. editor.&#160;Villa, Alessandro E.P. 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-68612-7">https://doi.org/10.1007/978-3-319-68612-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stabilization, Safety, and Security of Distributed Systems 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611953 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Spirakis, Paul. editor.&#160;Tsigas, Philippas. 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-69084-1">https://doi.org/10.1007/978-3-319-69084-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616259 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Dou, Yong. editor.&#160;Lin, Haixiang. editor.&#160;Sun, Guangyu. editor.&#160;Wu, Junjie. editor. (orcid)0000-0001-5951-8988&#160;Heras, Dora. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-67952-5">https://doi.org/10.1007/978-3-319-67952-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Brain-Inspired Computing Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613488 2026-03-15T05:53:19Z 2026-03-15T05:53:19Z Author&#160;Amunts, Katrin. editor.&#160;Grandinetti, Lucio. editor.&#160;Lippert, Thomas. editor.&#160;Petkov, Nicolai. 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-50862-7">https://doi.org/10.1007/978-3-319-50862-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>