Search Results for Communication - Narrowed by: Software engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCommunication$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list2026-03-31T02:30:56ZVisual Information Communicationent://SD_ILS/0/SD_ILS:1719292026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Huang, Mao Lin. editor. Nguyen, Quang Vinh. editor. Zhang, Kang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-0312-9">http://dx.doi.org/10.1007/978-1-4419-0312-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>OFDM Concepts for Future Communication Systemsent://SD_ILS/0/SD_ILS:1936182026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Rohling, Hermann. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17496-4">http://dx.doi.org/10.1007/978-3-642-17496-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Autonomic Networking and Communicationent://SD_ILS/0/SD_ILS:1980972026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Calisti, Monique. editor. Meer, Sven. editor. Strassner, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8569-9">http://dx.doi.org/10.1007/978-3-7643-8569-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Communication Technologies for Vehicles 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4008972026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Moreno García-Loygorri, Juan. editor. (orcid)0000-0002-4626-1535 Pérez-Yuste, Antonio. editor. (orcid)0000-0002-3503-5065 Briso, César. editor. (orcid)0000-0001-8219-9110 Berbineau, Marion. editor. Pirovano, Alain. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90371-2">https://doi.org/10.1007/978-3-319-90371-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Internet of Things. Advances in Information and Communication Technology 6th IFIP International Cross-Domain Conference, IFIPIoT 2023, Denton, TX, USA, November 2-3, 2023, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6018842026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Puthal, Deepak. editor. (orcid)0000-0002-8332-278X Mohanty, Saraju. editor. (orcid)0000-0003-2959-6541 Choi, Baek-Young. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45878-1">https://doi.org/10.1007/978-3-031-45878-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Internet of Things. Advances in Information and Communication Technology 6th IFIP International Cross-Domain Conference, IFIPIoT 2023, Denton, TX, USA, November 2-3, 2023, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6018852026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Puthal, Deepak. editor. (orcid)0000-0002-8332-278X Mohanty, Saraju. editor. (orcid)0000-0003-2959-6541 Choi, Baek-Young. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45882-8">https://doi.org/10.1007/978-3-031-45882-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information and Communication Technologies for Development 14th IFIP WG 9.4 International Conference on Social Implications of Computers in Developing Countries, ICT4D 2017, Yogyakarta, Indonesia, May 22-24, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6183672026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Choudrie, Jyoti. editor. (orcid)0000-0001-9349-7690 Islam, M. Sirajul. editor. Wahid, Fathul. editor. Bass, Julian M. editor. Priyatma, Johanes Eka. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59111-7">https://doi.org/10.1007/978-3-319-59111-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer and Communication Engineering 4th International Conference, CCCE 2024, Oslo, Norway, May 24-26, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6056662026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Neri, Filippo. editor. (orcid)0000-0002-2529-2287 Du, Ke-Lin. editor. (orcid)0000-0002-9136-3952 San-Blas, Angel-Antonio. editor. (orcid)0000-0002-4341-8277 Jiang, Zhiyu. editor. (orcid)0000-0002-6360-8262 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71079-7">https://doi.org/10.1007/978-3-031-71079-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information and Communication Technologies 12th Ecuadorian Conference, TICEC 2024, Loja, Ecuador, October 16-18, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6057662026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Berrezueta-Guzman, Santiago. editor. (orcid)0000-0001-5559-2056 Torres, Rommel. editor. (orcid)0000-0003-2313-0118 Zambrano-Martinez, Jorge Luis. editor. (orcid)0000-0002-5339-7860 Herrera-Tapia, Jorge. editor. (orcid)0000-0002-8673-0236 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Innovations in Information and Communication Technologies Proceedings of ICIICT 2022ent://SD_ILS/0/SD_ILS:5283732026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Garg, Deepak. editor. Kumar, Neeraj. editor. Iqbal, Rahat. editor. Gupta, Suneet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-3796-5">https://doi.org/10.1007/978-981-19-3796-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4829722026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Barzola-Monteses, Julio. editor. Santos-Baquerizo, Eduardo. editor. Espinoza-Andaluz, Mayken. editor. Yánez-Pazmiño, Wendy. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-12018-4">https://doi.org/10.1007/978-3-030-12018-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computing and Communication Systems in Urban Development A Detailed Perspectiveent://SD_ILS/0/SD_ILS:4854082026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Haldorai, Anandakumar. author. (orcid)0000-0001-9975-6462 Ramu, Arulmurugan. author. (orcid)0000-0003-1030-9565 Murugan, Suriya. author. (orcid)0000-0002-8130-7228 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-26013-2">https://doi.org/10.1007/978-3-030-26013-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4858202026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Kaâniche, Mohamed. editor. (orcid)0000-0002-2647-5472 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-35092-5">https://doi.org/10.1007/978-3-030-35092-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information and Communication Technology for Development for Africa Second International Conference, ICT4DA 2019, Bahir Dar, Ethiopia, May 28-30, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4854572026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Mekuria, Fisseha. editor. Nigussie, Ethiopia. editor. (orcid)0000-0002-2043-4274 Tegegne, Tesfa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-26630-1">https://doi.org/10.1007/978-3-030-26630-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Futuristic Trends in Network and Communication Technologies First International Conference, FTNCT 2018, Solan, India, February 9–10, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4860112026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Singh, Pradeep Kumar. editor. (orcid)0000-0002-7676-9014 Paprzycki, Marcin. editor. (orcid)0000-0002-8069-2152 Bhargava, Bharat. editor. Chhabra, Jitender Kumar. editor. Kaushal, Narottam Chand. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-3804-5">https://doi.org/10.1007/978-981-13-3804-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Wireless Mobile Communication and Healthcare 7th International Conference, MobiHealth 2017, Vienna, Austria, November 14–15, 2017, Proceedingsent://SD_ILS/0/SD_ILS:3995042026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Perego, Paolo. editor. Rahmani, Amir M. editor. TaheriNejad, Nima. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98551-0">https://doi.org/10.1007/978-3-319-98551-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:3995302026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038 Ermolayev, Vadim. editor. (orcid)0000-0002-5159-254X Fill, Hans-Georg. editor. Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76168-8">https://doi.org/10.1007/978-3-319-76168-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Context-Aware Systems and Applications, and Nature of Computation and Communication 6th International Conference, ICCASA 2017, and 3rd International Conference, ICTCC 2017, Tam Ky, Vietnam, November 23-24, 2017, Proceedingsent://SD_ILS/0/SD_ILS:4019802026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Cong Vinh, Phan. editor. Ha Huy Cuong, Nguyen. editor. Vassev, Emil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77818-1">https://doi.org/10.1007/978-3-319-77818-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4000752026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00359-3">https://doi.org/10.1007/978-3-030-00359-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Thread and Data Mapping for Multicore Systems Improving Communication and Memory Accessesent://SD_ILS/0/SD_ILS:4003502026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor H. M. Cruz, Eduardo. author. Diener, Matthias. author. O. A. Navaux, Philippe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91074-1">https://doi.org/10.1007/978-3-319-91074-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information and Communication Technologies for Ageing Well and e-Health Third International Conference, ICT4AWE 2017, Porto, Portugal, April 28-29, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4004642026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Röcker, Carsten. editor. O’Donoghue, John. editor. Ziefle, Martina. editor. Maciaszek, Leszek. editor. Molloy, William. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93644-4">https://doi.org/10.1007/978-3-319-93644-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applications of Computing and Communication Technologies First International Conference, ICACCT 2018, Delhi, India, March 9, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:3992262026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Deka, Ganesh Chandra. editor. Kaiwartya, Omprakash. editor. Vashisth, Pooja. editor. Rathee, Priyanka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-2035-4">https://doi.org/10.1007/978-981-13-2035-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information, Communication and Computing Technology Second International Conference, ICICCT 2017, New Delhi, India, May 13, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:6133262026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Kaushik, Saroj. editor. Gupta, Daya. editor. Kharb, Latika. editor. (orcid)0000-0002-8549-0920 Chahal, Deepak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6544-6">https://doi.org/10.1007/978-981-10-6544-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enterprise Architecture at Work Modelling, Communication and Analysisent://SD_ILS/0/SD_ILS:6146292026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Lankhorst, Marc. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53933-0">https://doi.org/10.1007/978-3-662-53933-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6167502026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Applied Computer Science for GGOS Observatories Communication, Coordination and Automation of Future Geodetic Infrastructuresent://SD_ILS/0/SD_ILS:6180412026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Neidhardt, Alexander N.J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40139-3">https://doi.org/10.1007/978-3-319-40139-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:6115642026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Zholtkevych, Grygoriy. editor. Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30246-1">https://doi.org/10.1007/978-3-319-30246-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6117252026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Remke, Anne. editor. Haverkort, Boudewijn R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-31559-1">https://doi.org/10.1007/978-3-319-31559-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lecturesent://SD_ILS/0/SD_ILS:6117972026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-34096-8">https://doi.org/10.1007/978-3-319-34096-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Working Around Disruptions of Network Infrastructures Mobile Ad-Hoc Systems for Resilient Communication in Disastersent://SD_ILS/0/SD_ILS:6123682026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Al-Akkad, Amro. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-12616-2">https://doi.org/10.1007/978-3-658-12616-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Description and Selection of Communication Services for Service Oriented Network Architecturesent://SD_ILS/0/SD_ILS:6178342026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Khondoker, Rahamatullah. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-12742-8">https://doi.org/10.1007/978-3-658-12742-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information and Communication Technologies in Education, Research, and Industrial Applications 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:4857922026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091 Nikitchenko, Mykola. editor. (orcid)0000-0002-4078-1062 Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133 Zholtkevych, Grygoriy. editor. (orcid)0000-0002-7515-2143<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13206-8">https://doi.org/10.1007/978-3-319-13206-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lecturesent://SD_ILS/0/SD_ILS:4890352026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07317-0">https://doi.org/10.1007/978-3-319-07317-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pro ASP.NET SignalR Real-Time Communication in .NET with SignalR 2.1ent://SD_ILS/0/SD_ILS:6185482026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Nayyeri, Keyvan. author. White, Darren. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6320-3">https://doi.org/10.1007/978-1-4302-6320-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Connecting Families The Impact of New Communication Technologies on Domestic Lifeent://SD_ILS/0/SD_ILS:3309272026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Neustaedter, Carman. editor. Harrison, Steve. editor. Sellen, Abigail. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330927.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4192-1">http://dx.doi.org/10.1007/978-1-4471-4192-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:3330112026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.<br/>Preferred Shelf Number ONLINE(333011.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03998-5">http://dx.doi.org/10.1007/978-3-319-03998-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3345082026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Berbineau, Marion. editor. Jonsson, Magnus. editor. Bonnin, Jean-Marie. editor. Cherkaoui, Soumaya. editor. Aguado, Marina. editor.<br/>Preferred Shelf Number ONLINE(334508.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37974-1">http://dx.doi.org/10.1007/978-3-642-37974-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mobile Communication and Power Engineering Second International Joint Conference, AIM/CCPE 2012, Bangalore, India, April 27-28, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3340702026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Das, Vinu V. editor. Chaba, Yogesh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334070.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35864-7">http://dx.doi.org/10.1007/978-3-642-35864-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enterprise Architecture at Work Modelling, Communication and Analysisent://SD_ILS/0/SD_ILS:3332512026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Lankhorst, Marc. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333251.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29651-2">http://dx.doi.org/10.1007/978-3-642-29651-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lecturesent://SD_ILS/0/SD_ILS:3346882026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334688.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38874-3">http://dx.doi.org/10.1007/978-3-642-38874-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Applications for Communication, Networking, and Digital Contents International Conferences, FGCN and DCA 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1976202026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Kim, Tai-hoon. editor. Ko, Dae-sik. editor. Vasilakos, Thanos. editor. Stoica, Adrian. editor. Abawajy, Jemal. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35594-3">http://dx.doi.org/10.1007/978-3-642-35594-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Communication Technologies for Vehicles 4th International Workshop, Nets4Cars/Nets4Trains 2012, Vilnius, Lithuania, April 25-27, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1967472026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Vinel, Alexey. editor. Mehmood, Rashid. editor. Berbineau, Marion. editor. Garcia, Cristina Rico. editor. Huang, Chung-Ming. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29667-3">http://dx.doi.org/10.1007/978-3-642-29667-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Wired/Wireless Internet Communication 10th International Conference, WWIC 2012, Santorini, Greece, June 6-8, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1969312026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Koucheryavy, Yevgeni. editor. Mamatas, Lefteris. editor. Matta, Ibrahim. editor. Tsaoussidis, Vassilis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30630-3">http://dx.doi.org/10.1007/978-3-642-30630-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lecturesent://SD_ILS/0/SD_ILS:1970002026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30982-3">http://dx.doi.org/10.1007/978-3-642-30982-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Technology and Mobile Communication International Conference, AIM 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1944172026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Das, Vinu V. editor. Thomas, Gylson. editor. Lumban Gaol, Ford. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20573-6">http://dx.doi.org/10.1007/978-3-642-20573-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Communication Technologies for Vehicles Third International Workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1941552026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Strang, Thomas. editor. Festag, Andreas. editor. Vinel, Alexey. editor. Mehmood, Rashid. editor. Rico Garcia, Cristina. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19786-4">http://dx.doi.org/10.1007/978-3-642-19786-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lecturesent://SD_ILS/0/SD_ILS:1947062026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Bernardo, Marco. editor. Issarny, Valérie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21455-4">http://dx.doi.org/10.1007/978-3-642-21455-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digital Information and Communication Technology and Its Applications International Conference, DICTAP 2011, Dijon, France, June 21-23, 2011. Proceedings, Part Ient://SD_ILS/0/SD_ILS:1948812026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Cherifi, Hocine. editor. Zain, Jasni Mohamad. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21984-9">http://dx.doi.org/10.1007/978-3-642-21984-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digital Information and Communication Technology and Its Applications International Conference, DICTAP 2011, Dijon, France, June 21-23, 2011, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1948942026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Cherifi, Hocine. editor. Zain, Jasni Mohamad. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22027-2">http://dx.doi.org/10.1007/978-3-642-22027-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information and Communication on Technology for the Fight against Global Warming First International Conference, ICT-GLOW 2011, Toulouse, France, August 30-31, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1953452026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Kranzlmüller, Dieter. editor. Toja, A Min. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23447-7">http://dx.doi.org/10.1007/978-3-642-23447-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges IFIP WG 6.3/7.3 International Workshop, PERFORM 2010, in Honor of Günter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 14-16, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1959872026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Hummel, Karin Anna. editor. Hlavacs, Helmut. editor. Gansterer, Wilfried. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25575-5">http://dx.doi.org/10.1007/978-3-642-25575-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lecturesent://SD_ILS/0/SD_ILS:1924132026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13678-8">http://dx.doi.org/10.1007/978-3-642-13678-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modelling Autonomic Communication Environments 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1934262026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Brennan, Rob. editor. Fleck, Joel. editor. Meer, Sven. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16836-9">http://dx.doi.org/10.1007/978-3-642-16836-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Communication and Networking International Conference, FGCN 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings, Part Ient://SD_ILS/0/SD_ILS:1936462026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Kim, Tai-hoon. editor. Chang, Alan Chin-Chen. editor. Li, MingChu. editor. Rong, Chunming. editor. Patrikakis, Charalampos Z. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17587-9">http://dx.doi.org/10.1007/978-3-642-17587-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Communication and Networking International Conference, FGCN 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings, Part IIent://SD_ILS/0/SD_ILS:1936512026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Kim, Tai-hoon. editor. Vasilakos, Thanos. editor. Sakurai, Kouichi. editor. Xiao, Yang. editor. Zhao, Gansen. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17604-3">http://dx.doi.org/10.1007/978-3-642-17604-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Quantum Communication and Quantum Networking First International Conference, QuantumComm 2009, Naples, Italy, October 26-30, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1917832026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Sergienko, Alexander. editor. Pascazio, Saverio. editor. Villoresi, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11731-2">http://dx.doi.org/10.1007/978-3-642-11731-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Security and Privacy in Communication Networks 6th Iternational ICST Conference, SecureComm 2010, Singapore, September 7-9, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1932052026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Jajodia, Sushil. editor. Zhou, Jianying. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16161-2">http://dx.doi.org/10.1007/978-3-642-16161-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1911342026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05031-2">http://dx.doi.org/10.1007/978-3-642-05031-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lecturesent://SD_ILS/0/SD_ILS:1901632026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01918-0">http://dx.doi.org/10.1007/978-3-642-01918-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Communication and Networking Second International Conference on Future Generation Communication and Networking, FGCN 2008, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papersent://SD_ILS/0/SD_ILS:1913092026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Kim, Tai-hoon. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Chang, Alan Chin-Chen. editor. Vasilakos, Thanos. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10236-3">http://dx.doi.org/10.1007/978-3-642-10236-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enterprise Architecture at Work Modelling, Communication and Analysisent://SD_ILS/0/SD_ILS:1899502026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Lankhorst, Marc. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01310-2">http://dx.doi.org/10.1007/978-3-642-01310-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lecturesent://SD_ILS/0/SD_ILS:1856372026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68894-5">http://dx.doi.org/10.1007/978-3-540-68894-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lecturesent://SD_ILS/0/SD_ILS:1865662026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Bernardo, Marco. editor. Hillston, Jane. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72522-0">http://dx.doi.org/10.1007/978-3-540-72522-0</a><br/>Format: Electronic Resources<br/>Availability 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. Proceedingsent://SD_ILS/0/SD_ILS:1839632026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Boavida, Fernando. editor. Plagemann, Thomas. editor. Stiller, Burkhard. editor. Westphal, Cedric. editor. Monteiro, Edmundo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11753810">http://dx.doi.org/10.1007/11753810</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lecturesent://SD_ILS/0/SD_ILS:1840022026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11757283">http://dx.doi.org/10.1007/11757283</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent Communication II International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papersent://SD_ILS/0/SD_ILS:1853722026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Dignum, Frank P. M. editor. Eijk, Rogier M. editor. Flores, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68143-4">http://dx.doi.org/10.1007/978-3-540-68143-4</a><br/>Format: Electronic Resources<br/>Availability 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. Proceedingsent://SD_ILS/0/SD_ILS:1830842026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Boutaba, Raouf. editor. Almeroth, Kevin. editor. Puigjaner, Ramon. editor. Shen, Sherman. editor. Black, James P. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136094">http://dx.doi.org/10.1007/b136094</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lecturesent://SD_ILS/0/SD_ILS:1830882026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135888">http://dx.doi.org/10.1007/b135888</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Broadband Satellite Comunication Systems and the Challenges of Mobility IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22–27, 2004, Toulouse, Franceent://SD_ILS/0/SD_ILS:1650032026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Gayraud, Thierry. editor. Mazzella, Michel. editor. Boavida, Fernando. editor. Monteiro, Edmundo. editor. Orvalho, João. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104225">http://dx.doi.org/10.1007/b104225</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1832452026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Eijk, Rogier M. editor. Huget, Marc-Philippe. editor. Dignum, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106468">http://dx.doi.org/10.1007/b106468</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enterprise Architecture at Work Modelling, Communication, and Analysisent://SD_ILS/0/SD_ILS:1814472026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Lankhorst, Marc. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-27505-3">http://dx.doi.org/10.1007/3-540-27505-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Networked Systems 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19–21, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4847492026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Schwarzmann, Alexander A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31277-0">https://doi.org/10.1007/978-3-030-31277-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Economics of Grids, Clouds, Systems, and Services 15th International Conference, GECON 2018, Pisa, Italy, September 18–20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4853232026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Coppola, Massimo. editor. (orcid)0000-0002-7937-4157 Carlini, Emanuele. editor. (orcid)0000-0003-3643-5404 D’Agostino, Daniele. editor. (orcid)0000-0003-2649-0071 Altmann, Jörn. editor. (orcid)0000-0002-8880-9546 Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-13342-9">https://doi.org/10.1007/978-3-030-13342-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Networked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4852412026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Podelski, Andreas. editor. Taïani, François. editor. (orcid)0000-0002-9692-5678 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05529-5">https://doi.org/10.1007/978-3-030-05529-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ad-hoc, Mobile, and Wireless Networks 17th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2018, Saint-Malo, France, September 5-7, 2018. Proceedingsent://SD_ILS/0/SD_ILS:3999192026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Montavont, Nicolas. editor. Papadopoulos, Georgios Z. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00247-3">https://doi.org/10.1007/978-3-030-00247-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Autonomous Control for a Reliable Internet of Services Methods, Models, Approaches, Techniques, Algorithms, and Toolsent://SD_ILS/0/SD_ILS:4012772026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Ganchev, Ivan. editor. (orcid)0000-0003-0535-7087 van der Mei, R. D. editor. van den Berg, Hans. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90415-3">https://doi.org/10.1007/978-3-319-90415-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ad-hoc, Mobile, and Wireless Networks 13th International Conference, ADHOC-NOW 2014, Benidorm, Spain, June 22-27, 2014 Proceedingsent://SD_ILS/0/SD_ILS:4889172026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Guo, Song. editor. Mauri, Jaime Lloret. editor. Manzoni, Pietro. editor. Ruehrup, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Self-Organizing Systems 7th IFIP TC6 International Workshop, IWSOS 2013, Palma de Mallorca, Spain, May 9-10, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4894172026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Elmenreich, Wilfried. editor. Dressler, Falko. editor. Loreto, Vittorio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54140-7">https://doi.org/10.1007/978-3-642-54140-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Economics of Grids, Clouds, Systems, and Services 11th International Conference, GECON 2014, Cardiff, UK, September 16-18, 2014. Revised Selected Papers.ent://SD_ILS/0/SD_ILS:4873052026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Altmann, Jörn. editor. Vanmechelen, Kurt. editor. Rana, Omer F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14609-6">https://doi.org/10.1007/978-3-319-14609-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multiple Access Communications 7th International Workshop, MACOM 2014, Halmstad, Sweden, August 27-28, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4891652026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Jonsson, Magnus. editor. Vinel, Alexey. editor. Bellalta, Boris. editor. Belyaev, Evgeny. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Wireless Sensor Networks 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4854532026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Krishnamachari, Bhaskar. editor. (orcid)0000-0002-9994-9931 Murphy, Amy L. editor. Trigoni, Niki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04651-8">https://doi.org/10.1007/978-3-319-04651-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithms for Sensor Systems 15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4842282026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Dressler, Falko. editor. (orcid)0000-0002-1989-1750 Scheideler, Christian. editor. (orcid)0000-0002-5278-528X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34405-4">https://doi.org/10.1007/978-3-030-34405-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Combinatorial Image Analysis 19th International Workshop, IWCIA 2018, Porto, Portugal, November 22–24, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3995462026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Barneva, Reneta P. editor. Brimkov, Valentin E. editor. Tavares, João Manuel R.S. editor. (orcid)0000-0001-7603-6526 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05288-1">https://doi.org/10.1007/978-3-030-05288-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Economics of Grids, Clouds, Systems, and Services 13th International Conference, GECON 2016, Athens, Greece, September 20-22, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6134932026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Bañares, José Ángel. editor. Tserpes, Konstantinos. editor. Altmann, Jörn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61920-0">https://doi.org/10.1007/978-3-319-61920-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Applications and Interoperable Systems 17th IFIP WG 6.1 International Conference, DAIS 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159432026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Chen, Lydia Y. editor. Reiser, Hans P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59665-5">https://doi.org/10.1007/978-3-319-59665-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159492026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor El Abbadi, Amr. editor. (orcid)0000-0003-4692-3268 Garbinato, Benoît. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Mobile, Secure, and Programmable Networking Second International Conference, MSPN 2016, Paris, France, June 1-3, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6112352026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Boumerdassi, Selma. editor. Renault, Éric. editor. Bouzefrane, Samia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50463-6">https://doi.org/10.1007/978-3-319-50463-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Wired/Wireless Internet Communications 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6120392026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Mamatas, Lefteris. editor. Matta, Ibrahim. editor. Papadimitriou, Panagiotis. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33936-8">https://doi.org/10.1007/978-3-319-33936-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Networked Systems 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6136002026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Delporte-Gallet, Carole. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Economics of Grids, Clouds, Systems, and Services 12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 15-17, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:6182142026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Altmann, Jörn. editor. Silaghi, Gheorghe Cosmin. editor. Rana, Omer F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43177-2">https://doi.org/10.1007/978-3-319-43177-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Applications and Interoperable Systems 16th IFIP WG 6.1 International Conference, DAIS 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6179422026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Jelasity, Márk. editor. Kalyvianaki, Evangelia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39577-7">https://doi.org/10.1007/978-3-319-39577-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Internet of Things 7th IFIP WG 5.5 International Cross-Domain Conference, IFIPIoT 2024, Nice, France, November 6-8, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6067562026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Rey, Gaëtan. editor. (orcid)0000-0003-4710-0474 Tigli, Jean-Yves. editor. (orcid)0000-0002-0531-6384 Franquet, Erwin. editor. (orcid)0000-0002-7009-1521 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81900-1">https://doi.org/10.1007/978-3-031-81900-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Internet of Things. 7th IFIPIoT 2024 International IFIP WG 5.5 Workshops GRAAL4IoT 2024, STAND4IoT 2024, Posters, Nice, France, November 6-8, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6067572026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Rey, Gaëtan. editor. (orcid)0000-0003-4710-0474 Tigli, Jean-Yves. editor. (orcid)0000-0002-0531-6384 Franquet, Erwin. editor. (orcid)0000-0002-7009-1521 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82065-6">https://doi.org/10.1007/978-3-031-82065-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Challenging the Future with Lean 9th IFIP WG 5.7 European Lean Educator Conference, ELEC 2023, 's-Hertogenbosch, The Netherlands, October 24-26, 2023, Proceedingsent://SD_ILS/0/SD_ILS:6045482026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor van Kollenburg, Ton. editor. (orcid)0000-0003-0958-7605 Kokkinou, Alinda. editor. (orcid)0000-0001-7991-2253 McDermott, Olivia. editor. (orcid)0000-0001-5714-4601 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63265-5">https://doi.org/10.1007/978-3-031-63265-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Navigating Unpredictability: Collaborative Networks in Non-linear Worlds 25th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2024, Albi, France, October 28-30, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6051382026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Ortiz, Angel. editor. (orcid)0000-0001-5690-0807 Boucher, Xavier. editor. (orcid)0000-0002-0869-4153 Barthe-Delanoë, Anne-Marie. editor. (orcid)0000-0002-6619-7382 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71739-0">https://doi.org/10.1007/978-3-031-71739-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Navigating Unpredictability: Collaborative Networks in Non-linear Worlds 25th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2024, Albi, France, October 28-30, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6051392026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Ortiz, Angel. editor. (orcid)0000-0001-5690-0807 Boucher, Xavier. editor. (orcid)0000-0002-0869-4153 Barthe-Delanoë, Anne-Marie. editor. (orcid)0000-0002-6619-7382 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71743-7">https://doi.org/10.1007/978-3-031-71743-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence Applications and Innovations. AIAI 2024 IFIP WG 12.5 International Workshops MHDW 2024, 5G-PINE 2024, and ΑΙ4GD 2024, Corfu, Greece, June 27-30, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6040162026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528 Karydis, Ioannis. editor. (orcid)0000-0002-9470-2729 Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638 Chochliouros, Ioannis. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63227-3">https://doi.org/10.1007/978-3-031-63227-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>VLSI-SoC 2023: Innovations for Trustworthy Artificial Intelligence 31st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2023, Sharjah, United Arab Emirates, October 16-18, 2023, Revised Extended Selected Papersent://SD_ILS/0/SD_ILS:6071242026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Elfadel, Ibrahim (Abe) M. editor. (orcid)0000-0003-3220-9987 Albasha, Lutfi. editor. (orcid)0000-0001-5933-0280 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-70947-0">https://doi.org/10.1007/978-3-031-70947-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Open Source Systems 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4831942026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Bordeleau, Francis. editor. Sillitti, Alberto. editor. Meirelles, Paulo. editor. (orcid)0000-0002-8923-2814 Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20883-7">https://doi.org/10.1007/978-3-030-20883-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>New Opportunities for Innovation Breakthroughs for Developing Countries and Emerging Economies 19th International TRIZ Future Conference, TFC 2019, Marrakesh, Morocco, October 9–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4828872026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Benmoussa, Rachid. editor. De Guio, Roland. editor. Dubois, Sébastien. editor. (orcid)0000-0003-1501-4977 Koziołek, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32497-1">https://doi.org/10.1007/978-3-030-32497-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Critical Infrastructure Protection XIII 13th IFIP WG 11.10 International Conference, ICCIP 2019, Arlington, VA, USA, March 11–12, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4869392026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Staggs, Jason. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34647-8">https://doi.org/10.1007/978-3-030-34647-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer and Computing Technologies in Agriculture X 10th IFIP WG 5.14 International Conference, CCTA 2016, Dongying, China, October 19–21, 2016, Proceedingsent://SD_ILS/0/SD_ILS:4867432026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Li, Daoliang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-06155-5">https://doi.org/10.1007/978-3-030-06155-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Precision Assembly in the Digital Age 8th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2018, Chamonix, France, January 14—16, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4845582026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Ratchev, Svetan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05931-6">https://doi.org/10.1007/978-3-030-05931-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Production Management Systems. Smart Manufacturing for Industry 4.0 IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3990182026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Moon, Ilkyeong. editor. (orcid)0000-0002-7072-1351 Lee, Gyu M. editor. (orcid)0000-0001-5466-6244 Park, Jinwoo. editor. Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187 von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99707-0">https://doi.org/10.1007/978-3-319-99707-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Security Education – Towards a Cybersecure Society 11th IFIP WG 11.8 World Conference, WISE 11, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18–20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3990192026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Drevin, Lynette. editor. (orcid)0000-0001-9370-8216 Theocharidou, Marianthi. editor. (orcid)0000-0002-8870-1746 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99734-6">https://doi.org/10.1007/978-3-319-99734-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligence Science II Third IFIP TC 12 International Conference, ICIS 2018, Beijing, China, November 2-5, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3990822026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Shi, Zhongzhi. editor. Pennartz, Cyriel. editor. Huang, Tiejun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01313-4">https://doi.org/10.1007/978-3-030-01313-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Production Management Systems. Production Management for Data-Driven, Intelligent, Collaborative, and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3995052026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Moon, Ilkyeong. editor. (orcid)0000-0002-7072-1351 Lee, Gyu M. editor. (orcid)0000-0001-5466-6244 Park, Jinwoo. editor. Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187 von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99704-9">https://doi.org/10.1007/978-3-319-99704-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Open Source Systems: Enterprise Software and Solutions 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3995712026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Stamelos, Ioannis. editor. Gonzalez-Barahoña, Jesus M. editor. (orcid)0000-0001-9682-460X Varlamis, Iraklis. editor. (orcid)0000-0002-0876-8167 Anagnostopoulos, Dimosthenis. editor. (orcid)0000-0003-0747-4252 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92375-8">https://doi.org/10.1007/978-3-319-92375-8</a><br/>Format: Electronic Resources<br/>Availability 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, Proceedingsent://SD_ILS/0/SD_ILS:4015722026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Adu-Kankam, Kankam O. editor. (orcid)0000-0001-8572-1170 Julashokri, Mohammad. editor. (orcid)0000-0003-0012-9456 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Digitalisation, Innovation, and Transformation 18th IFIP WG 8.1 International Conference on Informatics and Semiotics in Organisations, ICISO 2018, Reading, UK, July 16-18, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4024862026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Liu, Kecheng. editor. Nakata, Keiichi. editor. Li, Weizi. editor. Baranauskas, Cecilia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94541-5">https://doi.org/10.1007/978-3-319-94541-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Product Lifecycle Management to Support Industry 4.0 15th IFIP WG 5.1 International Conference, PLM 2018, Turin, Italy, July 2-4, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3999562026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Chiabert, Paolo. editor. Bouras, Abdelaziz. editor. Noël, Frédéric. editor. Ríos, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01614-2">https://doi.org/10.1007/978-3-030-01614-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Collaborative Networks of Cognitive Systems 19th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2018, Cardiff, UK, September 17-19, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3999852026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Afsarmanesh, Hamideh. editor. (orcid)0000-0001-5402-2000 Rezgui, Yacine. editor. (orcid)0000-0002-5711-8400 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99127-6">https://doi.org/10.1007/978-3-319-99127-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>ICT Systems Security and Privacy Protection 33rd IFIP TC 11 International Conference, SEC 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4000452026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Janczewski, Lech Jan. editor. (orcid)0000-0003-3319-924X Kutyłowski, Mirosław. editor. (orcid)0000-0003-3192-2430 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99828-2">https://doi.org/10.1007/978-3-319-99828-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6120612026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Hřebíček, Jiří. editor. Denzer, Ralf. editor. Schimak, Gerald. editor. Pitner, Tomáš. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89935-0">https://doi.org/10.1007/978-3-319-89935-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6120922026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Lödding, Hermann. editor. Riedel, Ralph. editor. Thoben, Klaus-Dieter. editor. von Cieminski, Gregor. editor. Kiritsis, Dimitris. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66923-6">https://doi.org/10.1007/978-3-319-66923-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Technology in Disaster Risk Reduction First IFIP TC 5 DCITDRR International Conference, ITDRR 2016, Sofia, Bulgaria, November 16-18, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6176572026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Murayama, Yuko. editor. (orcid)0000-0003-0414-1356 Velev, Dimiter. editor. Zlateva, Plamena. editor. Gonzalez, Jose J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68486-4">https://doi.org/10.1007/978-3-319-68486-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Open Source Systems: Towards Robust Practices 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6175802026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Balaguer, Federico. editor. Di Cosmo, Roberto. editor. Garrido, Alejandra. editor. Kon, Fabio. editor. Robles, Gregorio. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57735-7">https://doi.org/10.1007/978-3-319-57735-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Trust Management XI 11th IFIP WG 11.11 International Conference, IFIPTM 2017, Gothenburg, Sweden, June 12-16, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6176082026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Steghöfer, Jan-Philipp. editor. Esfandiari, Babak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59171-1">https://doi.org/10.1007/978-3-319-59171-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>System Level Design from HW/SW to Memory for Embedded Systems 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3-6, 2015, Proceedingsent://SD_ILS/0/SD_ILS:6182612026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Götz, Marcelo. editor. Schirner, Gunar. editor. Wehrmeister, Marco Aurélio. editor. Al Faruque, Mohammad Abdullah. editor. Rettberg, Achim. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90023-0">https://doi.org/10.1007/978-3-319-90023-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6184192026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Lödding, Hermann. editor. Riedel, Ralph. editor. Thoben, Klaus-Dieter. editor. von Cieminski, Gregor. editor. Kiritsis, Dimitris. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66926-7">https://doi.org/10.1007/978-3-319-66926-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Collaboration in a Data-Rich World 18th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2017, Vicenza, Italy, September 18-20, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6176132026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Afsarmanesh, Hamideh. editor. (orcid)0000-0001-5402-2000 Fornasiero, Rosanna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65151-4">https://doi.org/10.1007/978-3-319-65151-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Production Management Systems. Initiatives for a Sustainable World IFIP WG 5.7 International Conference, APMS 2016, Iguassu Falls, Brazil, September 3-7, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6109732026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Nääs, Irenilza. editor. Vendrametto, Oduvaldo. editor. Mendes Reis, João. editor. Gonçalves, Rodrigo Franco. editor. Silva, Márcia Terra. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51133-7">https://doi.org/10.1007/978-3-319-51133-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Collaboration in a Hyperconnected World 17th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2016, Porto, Portugal, October 3-5, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6131672026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Afsarmanesh, Hamideh. editor. (orcid)0000-0001-5402-2000 Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Lucas Soares, António. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45390-3">https://doi.org/10.1007/978-3-319-45390-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Open Source Systems: Integrating Communities 12th IFIP WG 2.13 International Conference, OSS 2016, Gothenburg, Sweden, May 30 - June 2, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6135942026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Crowston, Kevin. editor. Hammouda, Imed. editor. Lundell, Björn. editor. Robles, Gregorio. editor. Gamalielsson, Jonas. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39225-7">https://doi.org/10.1007/978-3-319-39225-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>History and Philosophy of Computing Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:6175722026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Gadducci, Fabio. editor. Tavosanis, Mirko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47286-7">https://doi.org/10.1007/978-3-319-47286-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Stakeholders and Information Technology in Education IFIP TC 3 International Conference, SaITE 2016, Guimarães, Portugal, July 5-8, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6176332026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Brinda, Torsten. editor. (orcid)0000-0001-6137-4258 Mavengere, Nicholas. editor. Haukijärvi, Ilkka. editor. Lewin, Cathy. editor. Passey, Don. editor. (orcid)0000-0002-9205-502X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54687-2">https://doi.org/10.1007/978-3-319-54687-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Open Source Software: Mobile Open Source Technologies 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San José, Costa Rica, May 6-9, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4888812026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Corral, Luis. editor. Sillitti, Alberto. editor. Succi, Giancarlo. editor. Vlasenko, Jelena. editor. Wasserman, Anthony I. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55128-4">https://doi.org/10.1007/978-3-642-55128-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346822026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Schirner, Gunar. editor. Götz, Marcelo. editor. Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor.<br/>Preferred Shelf Number ONLINE(334682.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38853-8">http://dx.doi.org/10.1007/978-3-642-38853-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Open Source Software: Quality Verification 9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347002026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Petrinja, Etiel. editor. Succi, Giancarlo. editor. Ioini, Nabil. editor. Sillitti, Alberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334700.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38928-3">http://dx.doi.org/10.1007/978-3-642-38928-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Policies and Research in Identity Management Third IFIP WG 11.6 Working Conference, IDMAN 2013, London, UK, April 8-9, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3343992026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Fischer-Hübner, Simone. editor. Leeuw, Elisabeth. editor. Mitchell, Chris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334399.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37282-7">http://dx.doi.org/10.1007/978-3-642-37282-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Product Lifecycle Management for Society 10th IFIP WG 5.1 International Conference, PLM 2013, Nantes, France, July 6-10, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3351142026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Bernard, Alain. editor. Rivest, Louis. editor. Dutta, Debasish. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335114.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41501-2">http://dx.doi.org/10.1007/978-3-642-41501-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Environmental Software Systems. Fostering Information Sharing 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350642026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Hřebíček, Jiří. editor. Schimak, Gerald. editor. Kubásek, Miroslav. editor. Rizzoli, Andrea E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335064.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41151-9">http://dx.doi.org/10.1007/978-3-642-41151-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>VLSI-SoC: Forward-Looking Trends in IC and Systems Design 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1964782026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Ayala, José L. editor. Atienza Alonso, David. editor. Reis, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28566-0">http://dx.doi.org/10.1007/978-3-642-28566-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Product Lifecycle Management. Towards Knowledge-Rich Enterprises IFIP WG 5.1 International Conference, PLM 2012, Montreal, QC, Canada, July 9-11, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:1976372026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Rivest, Louis. editor. Bouras, Abdelaziz. editor. Louhichi, Borhen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35758-9">http://dx.doi.org/10.1007/978-3-642-35758-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Technological Innovation for Value Creation Third IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2012, Costa de Caparica, Portugal, February 27-29, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1963942026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Camarinha-Matos, Luis M. editor. Shahamatnia, Ehsan. editor. Nunes, Gonçalo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28255-3">http://dx.doi.org/10.1007/978-3-642-28255-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:1961472026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Li, Daoliang. editor. Chen, Yingyi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27275-2">http://dx.doi.org/10.1007/978-3-642-27275-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1961482026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Li, Daoliang. editor. Chen, Yingyi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27278-3">http://dx.doi.org/10.1007/978-3-642-27278-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1961492026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Li, Daoliang. editor. Chen, Yingyi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27281-3">http://dx.doi.org/10.1007/978-3-642-27281-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Uncertainty Quantification in Scientific Computing 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1972552026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Dienstfrey, Andrew M. editor. Boisvert, Ronald F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32677-6">http://dx.doi.org/10.1007/978-3-642-32677-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1972722026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Mir, Salvador. editor. Tsui, Chi-Ying. editor. Reis, Ricardo. editor. Choy, Oliver C. S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32770-4">http://dx.doi.org/10.1007/978-3-642-32770-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Collaborative Networks in the Internet of Services 13th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2012, Bournemouth, UK, October 1-3, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1972732026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Camarinha-Matos, Luis M. editor. Xu, Lai. editor. Afsarmanesh, Hamideh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32775-9">http://dx.doi.org/10.1007/978-3-642-32775-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Open Source Systems: Long-Term Sustainability 8th IFIP WG 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973742026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Hammouda, Imed. editor. Lundell, Björn. editor. Mikkonen, Tommi. editor. Scacchi, Walt. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33442-9">http://dx.doi.org/10.1007/978-3-642-33442-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reflections on the History of Computing Preserving Memories and Sharing Storiesent://SD_ILS/0/SD_ILS:1974442026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Tatnall, Arthur. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33899-1">http://dx.doi.org/10.1007/978-3-642-33899-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Technological Innovation for Sustainability Second IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011, Costa de Caparica, Portugal, February 21-23, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1939562026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Camarinha-Matos, Luis M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19170-1">http://dx.doi.org/10.1007/978-3-642-19170-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Building Innovation Pipelines through Computer-Aided Innovation 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 – July 1, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1949402026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Cavallucci, Denis. editor. Guio, Roland. editor. Cascini, Gaetano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22182-8">http://dx.doi.org/10.1007/978-3-642-22182-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Perspectives on Soviet and Russian Computing First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:1951482026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Impagliazzo, John. editor. Proydakov, Eduard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22816-2">http://dx.doi.org/10.1007/978-3-642-22816-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer and Computing Technologies in Agriculture IV 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part Ient://SD_ILS/0/SD_ILS:1938592026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Li, Daoliang. editor. Liu, Yande. editor. Chen, Yingyi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18333-1">http://dx.doi.org/10.1007/978-3-642-18333-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer and Computing Technologies in Agriculture IV 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part IIent://SD_ILS/0/SD_ILS:1938602026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Li, Daoliang. editor. Liu, Yande. editor. Chen, Yingyi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18336-2">http://dx.doi.org/10.1007/978-3-642-18336-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer and Computing Technologies in Agriculture IV 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part IIIent://SD_ILS/0/SD_ILS:1938662026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Li, Daoliang. editor. Liu, Yande. editor. Chen, Yingyi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18354-6">http://dx.doi.org/10.1007/978-3-642-18354-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer and Computing Technologies in Agriculture IV 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part IVent://SD_ILS/0/SD_ILS:1938712026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Li, Daoliang. editor. Liu, Yande. editor. Chen, Yingyi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18369-0">http://dx.doi.org/10.1007/978-3-642-18369-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Methods in the Service-Oriented Context 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, Paris, France, April 20-22, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1942262026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Ralyté, Jolita. editor. Mirbel, Isabelle. editor. Deneckère, Rébecca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19997-4">http://dx.doi.org/10.1007/978-3-642-19997-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Governance and Sustainability in Information Systems. Managing the Transfer and Diffusion of IT IFIP WG 8.6 International Working Conference, Hamburg, Germany, September 22-24, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1955602026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Nüttgens, Markus. editor. Gadatsch, Andreas. editor. Kautz, Karlheinz. editor. Schirmer, Ingrid. editor. Blinn, Nadine. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24148-2">http://dx.doi.org/10.1007/978-3-642-24148-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Open Source Systems: Grounding Research 7th IFIP WG 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1956312026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Hissam, Scott A. editor. Russo, Barbara. editor. Mendonça Neto, Manoel G. editor. Kon, Fabio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24418-6">http://dx.doi.org/10.1007/978-3-642-24418-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>VLSI-SoC: Technologies for Systems Integration 17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florianópolis, Brazil, October 12-14, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1952422026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Becker, Jürgen. editor. Johann, Marcelo. editor. Reis, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23120-9">http://dx.doi.org/10.1007/978-3-642-23120-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Building the e-World Ecosystem 11th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2011, Kaunas, Lithuania, October 12-14, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1961442026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Skersys, Tomas. editor. Butleris, Rimantas. editor. Nemuraite, Lina. editor. Suomi, Reima. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27260-8">http://dx.doi.org/10.1007/978-3-642-27260-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Communications: Wireless in Developing Countries and Networks of the Future Third IFIP TC 6 International Conference, WCITD 2010 and IFIP TC 6 International Conference, NF 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1929812026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Pont, Ana. editor. Pujolle, Guy. editor. Raghavan, S. V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15476-8">http://dx.doi.org/10.1007/978-3-642-15476-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enterprise Architecture, Integration and Interoperability IFIP TC 5 International Conference, EAI2N 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1929912026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Bernus, Peter. editor. Doumeingts, Guy. editor. Fox, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15509-3">http://dx.doi.org/10.1007/978-3-642-15509-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Services for e-World 10th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2010, Buenos Aires, Argentina, November 3-5, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1932462026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Cellary, Wojciech. editor. Estevez, Elsa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16283-1">http://dx.doi.org/10.1007/978-3-642-16283-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human Benefit through the Diffusion of Information Systems Design Science Research IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30 – April 1, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1918922026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Pries-Heje, Jan. editor. Venable, John. editor. Bunker, Deborah. editor. Russo, Nancy L. editor. DeGross, Janice I. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12113-5">http://dx.doi.org/10.1007/978-3-642-12113-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Open Source Software: New Horizons 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 – June 2, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1922722026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Ågerfalk, Pär. editor. Boldyreff, Cornelia. editor. González-Barahona, Jesús M. editor. Madey, Gregory R. editor. Noll, John. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13244-5">http://dx.doi.org/10.1007/978-3-642-13244-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Production Management Systems. New Challenges, New Approaches IFIP WG 5.7 International Conference, APMS 2009, Bordeaux, France, September 21-23, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1932702026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Vallespir, Bruno. editor. Alix, Thècle. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16358-6">http://dx.doi.org/10.1007/978-3-642-16358-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1929042026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Hinchey, Mike. editor. Kleinjohann, Bernd. editor. Kleinjohann, Lisa. editor. Lindsay, Peter A. editor. Rammig, Franz J. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15234-4">http://dx.doi.org/10.1007/978-3-642-15234-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1929062026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Calude, Cristian S. editor. Sassone, Vladimiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15240-5">http://dx.doi.org/10.1007/978-3-642-15240-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Collaborative Networks for a Sustainable World 11th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2010, St. Etienne, France, October 11-13, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1931402026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Camarinha-Matos, Luis M. editor. Boucher, Xavier. editor. Afsarmanesh, Hamideh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15961-9">http://dx.doi.org/10.1007/978-3-642-15961-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer and Computing Technologies in Agriculture III Third IFIP TC 12 International Conference, CCTA 2009, Beijing, China, October 14-17, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1919272026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Li, Daoliang. editor. Zhao, Chunjiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12220-0">http://dx.doi.org/10.1007/978-3-642-12220-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>VLSI-SoC: Design Methodologies for SoC and SiP 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papersent://SD_ILS/0/SD_ILS:1919412026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Piguet, Christian. editor. Reis, Ricardo. editor. Soudris, Dimitrios. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12267-5">http://dx.doi.org/10.1007/978-3-642-12267-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Growth and Development of Computer-Aided Innovation Third IFIP WG 5.4 Working Conference, CAI 2009, Harbin, China, August 20-21, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1905962026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Tan, Runhua. editor. Cao, Guozhong. editor. León, Noel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03346-9">http://dx.doi.org/10.1007/978-3-642-03346-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Services for e-Business and e-Society 9th IFIP WG 6.1 Conference on e-Business, e-Services and e-Society, I3E 2009, Nancy, France, September 23-25, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1908962026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Godart, Claude. editor. Gronau, Norbert. editor. Sharma, Sushil. editor. Canals, Gérôme. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04280-5">http://dx.doi.org/10.1007/978-3-642-04280-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1908982026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Rettberg, Achim. editor. Zanella, Mauro C. editor. Amann, Michael. editor. Keckeisen, Michael. editor. Rammig, Franz J. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04284-3">http://dx.doi.org/10.1007/978-3-642-04284-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer and Computing Technologies in Agriculture II, Volume 1 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, Chinaent://SD_ILS/0/SD_ILS:1718962026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Li, Daoliang. editor. Zhao, Chunjiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-0209-2">http://dx.doi.org/10.1007/978-1-4419-0209-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer and Computing Technologies in Agriculture II, Volume 2 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, Chinaent://SD_ILS/0/SD_ILS:1718972026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Li, Daoliang. editor. Zhao, Chunjiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-0211-5">http://dx.doi.org/10.1007/978-1-4419-0211-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer and Computing Technologies in Agriculture II, Volume 3 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, Chinaent://SD_ILS/0/SD_ILS:1718982026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Zhao, Chunjiang. editor. Li, Daoliang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-0213-9">http://dx.doi.org/10.1007/978-1-4419-0213-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Open Source Ecosystems: Diverse Communities Interacting 5th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2009, Skövde, Sweden, June 3-6, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1901942026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Boldyreff, Cornelia. editor. Crowston, Kevin. editor. Lundell, Björn. editor. Wasserman, Anthony I. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02032-2">http://dx.doi.org/10.1007/978-3-642-02032-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Systems – Creativity and Innovation in Small and Medium-Sized Enterprises IFIP WG 8.2 International Conference, CreativeSME 2009, Guimarães, Portugal, June 21-24, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1903072026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Dhillon, Gurpreet. editor. Stahl, Bernd Carsten. editor. Baskerville, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02388-0">http://dx.doi.org/10.1007/978-3-642-02388-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6052992026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Blaas-Schenner, Claudia. editor. Niethammer, Christoph. editor. (orcid)0000-0002-3840-1016 Haas, Tobias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-73370-3">https://doi.org/10.1007/978-3-031-73370-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Future Access Enablers for Ubiquitous and Intelligent Infrastructures 8th EAI International Conference, FABULOUS 2024, Zagreb, Croatia, May 9-10, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6055402026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Perakovic, Dragan. editor. (orcid)0000-0002-0476-9373 Knapcikova, Lucia. editor. (orcid)0000-0003-1925-4038 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72393-3">https://doi.org/10.1007/978-3-031-72393-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6055722026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Hernández, German. editor. (orcid)0000-0001-9549-2316 Suero Pérez, Diego Fernando. editor. (orcid)0000-0002-0760-0186 Gaona García, Elvis Eduardo. editor. (orcid)0000-0001-5431-8776 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-74595-9">https://doi.org/10.1007/978-3-031-74595-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6055732026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Hernández, German. editor. (orcid)0000-0001-9549-2316 Suero Pérez, Diego Fernando. editor. (orcid)0000-0002-0760-0186 Gaona García, Elvis Eduardo. editor. (orcid)0000-0001-5431-8776 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-74598-0">https://doi.org/10.1007/978-3-031-74598-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Conceptual Modeling ER 2024 Workshops, AISA, CMLS, EmpER, QUAMES, JUSMOD, LLM4Modeling, Pittsburgh, PA, USA, October 28-31, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6057392026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Saeki, Motoshi. editor. Wong, Leah. editor. Araujo, João. editor. (orcid)0000-0001-5914-1631 Ayora, Clara. editor. (orcid)0009-0002-8265-6531 Bernasconi, Anna. editor. (orcid)0000-0001-8016-5750<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75599-6">https://doi.org/10.1007/978-3-031-75599-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Conceptual Modeling 43rd International Conference, ER 2024, Pittsburgh, PA, USA, October 28-31, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6057412026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Maass, Wolfgang. editor. (orcid)0000-0003-4057-0924 Han, Hyoil. editor. (orcid)0000-0001-8424-9804 Yasar, Hasan. editor. (orcid)0000-0001-9884-2086 Multari, Nick. editor. (orcid)0000-0002-7275-8182 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75872-0">https://doi.org/10.1007/978-3-031-75872-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Security and Privacy in Smart Environmentsent://SD_ILS/0/SD_ILS:6057582026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Pitropakis, Nikolaos. editor. (orcid)0000-0002-3392-9970 Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66708-4">https://doi.org/10.1007/978-3-031-66708-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Virtual Reality and Mixed Reality 21st EuroXR International Conference, EuroXR 2024, Athens, Greece, November 27-29, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6062062026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Reyes-Lecuona, Arcadio. editor. Zachmann, Gabriel. editor. (orcid)0000-0001-8155-1127 Bordegoni, Monica. editor. (orcid)0000-0001-9378-8295 Chen, Jian. editor. Karaseitanidis, Giannis. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78593-1">https://doi.org/10.1007/978-3-031-78593-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Product-Focused Software Process Improvement. Industry-, Workshop-, and Doctoral Symposium Papers 25th International Conference, PROFES 2024, Tartu, Estonia, December 2-4, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6062282026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Pfahl, Dietmar. editor. (orcid)0000-0003-2400-501X Gonzalez Huerta, Javier. editor. (orcid)0000-0003-1350-7030 Klünder, Jil. editor. (orcid)0000-0001-7674-2930 Anwar, Hina. editor. (orcid)0000-0002-4725-4636 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78392-0">https://doi.org/10.1007/978-3-031-78392-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Security and Trust Management 20th International Workshop, STM 2024, Bydgoszcz, Poland, September 19-20, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6065992026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Martinelli, Fabio. editor. (orcid)0000-0002-6721-9395 Rios, Ruben. editor. (orcid)0000-0002-6251-4897 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-76371-7">https://doi.org/10.1007/978-3-031-76371-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6069862026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0774-7">https://doi.org/10.1007/978-981-96-0774-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VIIIent://SD_ILS/0/SD_ILS:6069872026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0783-9">https://doi.org/10.1007/978-981-96-0783-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6069992026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0771-6">https://doi.org/10.1007/978-981-96-0771-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VIIent://SD_ILS/0/SD_ILS:6070002026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0780-8">https://doi.org/10.1007/978-981-96-0780-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6070012026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0795-2">https://doi.org/10.1007/978-981-96-0795-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6070162026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Menéndez, Héctor D. editor. (orcid)0000-0002-6314-3725 Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286 Barnard, Pepita. editor. (orcid)0000-0003-4518-1207 Bautista, John Robert. editor. (orcid)0000-0002-4892-9543 Farahi, Arya. editor. (orcid)0000-0003-0777-4618<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31-August 2, 2024, Proceedings, Part Xent://SD_ILS/0/SD_ILS:6070172026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0786-0">https://doi.org/10.1007/978-981-96-0786-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IXent://SD_ILS/0/SD_ILS:6070182026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0789-1">https://doi.org/10.1007/978-981-96-0789-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6070192026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0798-3">https://doi.org/10.1007/978-981-96-0798-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part Vent://SD_ILS/0/SD_ILS:6071512026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0777-8">https://doi.org/10.1007/978-981-96-0777-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Broadband Communications, Networks, and Systems 14th EAI International Conference, BROADNETS 2024, Hyderabad, India, February 16-17, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6071682026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Cheng, Xiaochun. editor. (orcid)0000-0003-0371-9646 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81171-5">https://doi.org/10.1007/978-3-031-81171-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Service-Oriented and Cloud Computing 11th IFIP WG 6.12 European Conference, ESOCC 2025, Bolzano, Italy, February 20-21, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6073312026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Pahl, Claus. editor. (orcid)0000-0002-9049-212X Janes, Andrea. editor. (orcid)0000-0002-1423-6773 Cerny, Tomas. editor. (orcid)0000-0002-5882-5502 Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Esposito, Matteo. editor. (orcid)0000-0002-8451-3668<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-84617-5">https://doi.org/10.1007/978-3-031-84617-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6083202026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90653-4">https://doi.org/10.1007/978-3-031-90653-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:6081602026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82949-9">https://doi.org/10.1007/978-3-031-82949-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:6081612026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82957-4">https://doi.org/10.1007/978-3-031-82957-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part IIIent://SD_ILS/0/SD_ILS:6081652026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-83885-9">https://doi.org/10.1007/978-3-031-83885-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Security and Management and Wireless Networks 23rd International Conference, SAM 2024 and 23rd International Conference, ICWN 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6082202026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Daimi, Kevin. editor. Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-86637-1">https://doi.org/10.1007/978-3-031-86637-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6082962026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90643-5">https://doi.org/10.1007/978-3-031-90643-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6082972026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90660-2">https://doi.org/10.1007/978-3-031-90660-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Analysis and Design of Next-Generation Software Architectures Generative AI, Cybersecurity, and Cloud Computingent://SD_ILS/0/SD_ILS:6084842026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Langer, Arthur M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-76212-3">https://doi.org/10.1007/978-3-031-76212-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Computer Interaction 10th Iberoamerican Conference, HCI-COLLAB 2024, Pereira, Colombia, June 4-7, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6086652026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Agredo-Delgado, Vanessa. editor. (orcid)0000-0003-0870-6895 Ruiz, Pablo H. editor. (orcid)0000-0003-2098-2614 Meneses Escobar, Carlos Augusto. editor. (orcid)0000-0002-8192-6889 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-91328-0">https://doi.org/10.1007/978-3-031-91328-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6087632026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93224-3">https://doi.org/10.1007/978-3-031-93224-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6087662026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93733-0">https://doi.org/10.1007/978-3-031-93733-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6087672026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93736-1">https://doi.org/10.1007/978-3-031-93736-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Innovations for Community Services 25th International Conference, I4CS 2025, Munich, Germany, June 11-13, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6087852026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Zielinski, Sebastian. editor. (orcid)0009-0000-0894-8996 Eichler, Gerald. editor. (orcid)0000-0002-7420-698X Erfurth, Christian. editor. (orcid)0000-0003-2761-3985 Fahrnberger, Günter. editor. (orcid)0000-0002-2606-3988 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-94263-1">https://doi.org/10.1007/978-3-031-94263-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6088102026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93730-9">https://doi.org/10.1007/978-3-031-93730-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>HCI for Cybersecurity, Privacy and Trust 7th International Conference, HCI-CPT 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6088662026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Moallem, Abbas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-92833-8">https://doi.org/10.1007/978-3-031-92833-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6089202026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93739-2">https://doi.org/10.1007/978-3-031-93739-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6089372026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Ferreira, Carla. editor. (orcid)0000-0003-3680-7634 Mezzina, Claudio Antares. editor. (orcid)0000-0003-1556-2623 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-95497-9">https://doi.org/10.1007/978-3-031-95497-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6089382026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Balouek, Daniel. editor. (orcid)0000-0001-6038-1077 Medeiros, Ibéria. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-95728-4">https://doi.org/10.1007/978-3-031-95728-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science and Its Applications - ICCSA 2025 25th International Conference, Istanbul, Turkey, June 30 - July 3, 2025, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6091132026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Karaca, Yeliz. editor. (orcid)0000-0001-8725-6719 Taniar, David. editor. (orcid)0000-0002-8862-3960<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-96962-1">https://doi.org/10.1007/978-3-031-96962-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science and Its Applications - ICCSA 2025 25th International Conference, Istanbul, Turkey, June 30 - July 3, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6091182026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Karaca, Yeliz. editor. (orcid)0000-0001-8725-6719 Taniar, David. editor. (orcid)0000-0002-8862-3960<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97000-9">https://doi.org/10.1007/978-3-031-97000-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Frontiers of Algorithmics 19th International Joint Conference, IJTCS-FAW 2025, Paris, France, June 30 - July 2, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6091232026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Chau, Vincent. editor. (orcid)0000-0002-3362-2063 Dürr, Christoph. editor. (orcid)0000-0001-8103-5333 Li, Minming. editor. (orcid)0000-0002-7370-6237 Lu, Pinyan. editor. (orcid)0009-0005-0569-4122 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-8312-3">https://doi.org/10.1007/978-981-96-8312-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Management of Digital EcoSystems 16th International Conference, MEDES 2024, Naples, Italy, November 18-20, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6093562026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Chbeir, Richard. editor. (orcid)0000-0003-4112-1426 Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496 Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Masciari, Elio. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93598-5">https://doi.org/10.1007/978-3-031-93598-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science and Its Applications - ICCSA 2025 25th International Conference, Istanbul, Turkey, June 30-July 3, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6102332026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Karaca, Yeliz. editor. (orcid)0000-0001-8725-6719 Taniar, David. editor. (orcid)0000-0002-8862-3960<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-96997-3">https://doi.org/10.1007/978-3-031-96997-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Service-Oriented Computing 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3-6, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6064122026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X Sheng, Michael. editor. (orcid)0000-0002-3326-4147 Yu, Qi. editor. (orcid)0000-0001-8105-8682 Yangui, Sami. editor. (orcid)0000-0001-9756-642X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0805-8">https://doi.org/10.1007/978-981-96-0805-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Service-Oriented Computing 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3-6, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6064132026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X Sheng, Michael. editor. (orcid)0000-0002-3326-4147 Yu, Qi. editor. (orcid)0000-0001-8105-8682 Yangui, Sami. editor. (orcid)0000-0001-9756-642X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0808-9">https://doi.org/10.1007/978-981-96-0808-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Electronic Governance with Emerging Technologies Third International Conference, EGETC 2024, Jakarta, Indonesia, September 25-26, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6066842026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Ortiz-Rodriguez, Fernando. editor. (orcid)0000-0003-2084-3462 Tiwari, Sanju. editor. (orcid)0000-0001-7197-0766 Krisnadhi, Adila Alfa. editor. (orcid)0000-0003-0745-6804 Medina-Quintero, Jose Melchor. editor. (orcid)0000-0003-3466-7113 Valle-Cruz, David. editor. (orcid)0000-0002-5204-8095<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-77029-6">https://doi.org/10.1007/978-3-031-77029-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Frontiers of Algorithmics 18th International Joint Conference, IJTCS-FAW 2024, Hong Kong SAR, China, July 29-31, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6067602026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Li, Bo. editor. (orcid)0000-0001-7500-8355 Li, Minming. editor. (orcid)0000-0002-7370-6237 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-7752-5">https://doi.org/10.1007/978-981-97-7752-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Broadband Communications, Networks, and Systems 14th EAI International Conference, BROADNETS 2024, Hyderabad, India, February 16-17, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6071672026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Cheng, Xiaochun. editor. (orcid)0000-0003-0371-9646 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81168-5">https://doi.org/10.1007/978-3-031-81168-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Network Technologies and Intelligent Computing 4th International Conference, ANTIC 2024, Varanasi, India, December 19-21, 2024, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6075362026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Buyya, Rajkumar. editor. Dasgupta, Dipankar. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-83796-8">https://doi.org/10.1007/978-3-031-83796-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6077022026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Caltais, Georgiana. editor. (orcid)0000-0002-8653-2299 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-87054-5">https://doi.org/10.1007/978-3-031-87054-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems Benchmarking For Scientists and Engineersent://SD_ILS/0/SD_ILS:6077162026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Kounev, Samuel. author. Lange, Klaus-Dieter. author. von Kistowski, Jóakim. author. (orcid)0000-0002-3046-5373 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85634-1">https://doi.org/10.1007/978-3-031-85634-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Pattern Languages of Programming Vent://SD_ILS/0/SD_ILS:6077182026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Wallingford, Eugene. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 Kohls, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-70810-1">https://doi.org/10.1007/978-3-662-70810-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Ledger Technology 8th International Symposium, SDLT 2024, Brisbane, QLD, Australia, November 28-29, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6080912026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Kanhere, Salil. editor. (orcid)0000-0002-1835-3475 Jurdak, Raja. editor. (orcid)0000-0001-7517-0782 Parkinson, Joy. editor. Sridharan, Bhavani. editor. Pal, Shantanu. editor. (orcid)0000-0002-8784-0154<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-4442-1">https://doi.org/10.1007/978-981-96-4442-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Simulation Tools and Techniques 16th EAI International Conference, SIMUtools 2024, Bratislava, Slovakia, December 9-10, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6082632026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Juan, Angel A. editor. (orcid)0000-0003-1392-1776 Guisado-Lizar, José-Luis. editor. (orcid)0000-0001-5480-7617 Morón-Fernández, María-José. editor. (orcid)0000-0003-3291-7297 Perez-Bernabeu, Elena. editor. (orcid)0000-0002-9221-7623 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-87345-4">https://doi.org/10.1007/978-3-031-87345-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6086532026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93221-2">https://doi.org/10.1007/978-3-031-93221-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6086542026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93230-4">https://doi.org/10.1007/978-3-031-93230-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed, Ambient and Pervasive Interactions 13th International Conference, DAPI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6087362026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Streitz, Norbert A. editor. (orcid)0000-0002-0244-0945 Konomi, Shin'ichi. editor. (orcid)0000-0001-5831-2152 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-92977-9">https://doi.org/10.1007/978-3-031-92977-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed, Ambient and Pervasive Interactions 13th International Conference, DAPI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6087372026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Streitz, Norbert A. editor. (orcid)0000-0002-0244-0945 Konomi, Shin'ichi. editor. (orcid)0000-0001-5831-2152 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-92980-9">https://doi.org/10.1007/978-3-031-92980-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part Vent://SD_ILS/0/SD_ILS:6087402026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93233-5">https://doi.org/10.1007/978-3-031-93233-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part VIent://SD_ILS/0/SD_ILS:6087412026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93236-6">https://doi.org/10.1007/978-3-031-93236-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Application and Theory of Petri Nets and Concurrency 46th International Conference, PETRI NETS 2025, Paris, France, June 22-27, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6088352026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Amparore, Elvio. editor. (orcid)0000-0003-1147-8985 Mikulski, Łukasz. editor. (orcid)0000-0002-6711-557X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-94634-9">https://doi.org/10.1007/978-3-031-94634-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>HCI for Cybersecurity, Privacy and Trust 7th International Conference, HCI-CPT 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6088902026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Moallem, Abbas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-92840-6">https://doi.org/10.1007/978-3-031-92840-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6088212026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93227-4">https://doi.org/10.1007/978-3-031-93227-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6062442026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029 Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78116-2">https://doi.org/10.1007/978-3-031-78116-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence for Design and Process Scienceent://SD_ILS/0/SD_ILS:6069142026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Suh, Sang C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-67886-8">https://doi.org/10.1007/978-3-031-67886-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VIent://SD_ILS/0/SD_ILS:6070342026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0792-1">https://doi.org/10.1007/978-981-96-0792-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:6070832026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Antonov, Alexander. editor. (orcid)0000-0003-2820-7196 Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78459-0">https://doi.org/10.1007/978-3-031-78459-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:6070842026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Antonov, Alexander. editor. (orcid)0000-0003-2820-7196 Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78462-0">https://doi.org/10.1007/978-3-031-78462-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Research in Technologies, Information, Innovation and Sustainability ARTIIS 2024 International Workshops, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:6075142026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Augusto, Maria Fernanda. editor. (orcid)0000-0003-4891-5747 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-83432-5">https://doi.org/10.1007/978-3-031-83432-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Research in Technologies, Information, Innovation and Sustainability ARTIIS 2024 International Workshops, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:6075152026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Augusto, Maria Fernanda. editor. (orcid)0000-0003-4891-5747 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-83435-6">https://doi.org/10.1007/978-3-031-83435-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science and Education in Computer Science 20th EAI International Conference, CSECS 2024, Sofia, Bulgaria, June 28-30, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6076332026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Zlateva, Tanya. editor. Tuparov, Georgi. editor. (orcid)0000-0003-4162-5106 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-84312-9">https://doi.org/10.1007/978-3-031-84312-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Network Technologies and Intelligent Computing 4th International Conference, ANTIC 2024, Varanasi, India, December 19-21, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6075652026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Buyya, Rajkumar. editor. Dasgupta, Dipankar. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-83783-8">https://doi.org/10.1007/978-3-031-83783-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Network Technologies and Intelligent Computing 4th International Conference, ANTIC 2024, Varanasi, India, December 19-21, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6075662026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Buyya, Rajkumar. editor. Dasgupta, Dipankar. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-83793-7">https://doi.org/10.1007/978-3-031-83793-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Network Technologies and Intelligent Computing 4th International Conference, ANTIC 2024, Varanasi, India, December 19-21, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6076072026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Buyya, Rajkumar. editor. Dasgupta, Dipankar. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-83790-6">https://doi.org/10.1007/978-3-031-83790-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Smart Cities 7th Ibero-American Congress, ICSC-CITIES 2024, San Carlos, Costa Rica, November 12-14, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6077812026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Nesmachnow, Sergio. editor. (orcid)0000-0002-8146-4012 Hernández Callejo, Luis. editor. (orcid)0000-0002-8822-2948 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85324-1">https://doi.org/10.1007/978-3-031-85324-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computers and Games 12th International Conference, CG 2024, Virtual Event, November 25-29, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6078972026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Hartisch, Michael. editor. (orcid)0000-0001-6304-4973 Hsueh, Chu-Hsuan. editor. (orcid)0000-0001-8888-3116 Schaeffer, Jonathan. editor. (orcid)0009-0007-3735-5947 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-86585-5">https://doi.org/10.1007/978-3-031-86585-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lecturesent://SD_ILS/0/SD_ILS:6079732026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-4656-2">https://doi.org/10.1007/978-981-96-4656-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model and Data Engineering 13th International Conference, MEDI 2024, Naples, Italy, November 18-20, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6079822026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Ordonez, Carlos. editor. (orcid)0009-0005-1135-9726 Sperlì, Giancarlo. editor. (orcid)0000-0003-4033-3777 Masciari, Elio. editor. (orcid)0000-0002-1778-5321 Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-87719-3">https://doi.org/10.1007/978-3-031-87719-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Innovations and Interdisciplinary Solutions for Underserved Areas 7th International Conference, InterSol 2024, Dakar, Senegal, July 3-4, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6016572026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Cheikh M. F. Kebe, Kebe. editor. Gueye, Assane. editor. (orcid)0000-0001-6469-4716 Ndiaye, Ababacar. editor. (orcid)0000-0002-4281-8973 Sene, Ndèye Awa. editor. Maiga, Amadou-Seidou. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-86493-3">https://doi.org/10.1007/978-3-031-86493-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Stabilization, Safety, and Security of Distributed Systems 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6057232026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Masuzawa, Toshimitsu. editor. (orcid)0000-0003-4628-6393 Katayama, Yoshiaki. editor. (orcid)0000-0003-1683-2154 Kakugawa, Hirotsugu. editor. (orcid)0000-0003-1087-410X Nakamura, Junya. editor. (orcid)0000-0002-1363-4358 Kim, Yonghwan. editor. (orcid)0000-0002-5437-7626<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-74498-3">https://doi.org/10.1007/978-3-031-74498-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Edge Computing - EDGE 2024 8th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6060072026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Zeng, Jing. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-77069-2">https://doi.org/10.1007/978-3-031-77069-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Product-Focused Software Process Improvement 25th International Conference, PROFES 2024, Tartu, Estonia, December 2-4, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6063352026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Pfahl, Dietmar. editor. (orcid)0000-0003-2400-501X Gonzalez Huerta, Javier. editor. (orcid)0000-0003-1350-7030 Klünder, Jil. editor. (orcid)0000-0001-7674-2930 Anwar, Hina. editor. (orcid)0000-0002-4725-4636 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78386-9">https://doi.org/10.1007/978-3-031-78386-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Parallel and Distributed Computing, Applications and Technologies Proceedings of PDCAT 2023ent://SD_ILS/0/SD_ILS:6020502026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Park, Ji Su. editor. (orcid)0000-0001-9003-1131 Takizawa, Hiroyuki. editor. (orcid)0000-0003-2858-3140 Shen, Hong. editor. Park, James J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6020782026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49266-2">https://doi.org/10.1007/978-3-031-49266-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6020792026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedingsent://SD_ILS/0/SD_ILS:6020802026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Barbosa, Haniel. editor. Zohar, Yoni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Search-Based Software Engineering 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedingsent://SD_ILS/0/SD_ILS:6020902026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Arcaini, Paolo. editor. (orcid)0000-0002-6253-4062 Yue, Tao. editor. Fredericks, Erik M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Research in Technologies, Information, Innovation and Sustainability Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6022472026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Diaz-Nafria, Jose Maria. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-48855-9">https://doi.org/10.1007/978-3-031-48855-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papersent://SD_ILS/0/SD_ILS:6022492026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Yavorskiy, Rostislav. editor. Cavalli, Ana Rosa. editor. Kalenkova, Anna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50423-5">https://doi.org/10.1007/978-3-031-50423-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part Vent://SD_ILS/0/SD_ILS:6038902026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61362-3">https://doi.org/10.1007/978-3-031-61362-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6038992026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Martins, Rolando. editor. (orcid)0000-0002-1838-1417 Selimi, Mennan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-62638-8">https://doi.org/10.1007/978-3-031-62638-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6039102026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61359-3">https://doi.org/10.1007/978-3-031-61359-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Distributed Objects, Components, and Systems 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6039122026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Castiglioni, Valentina. editor. (orcid)0000-0002-8112-6523 Francalanza, Adrian. editor. (orcid)0000-0003-3829-7391 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-62645-6">https://doi.org/10.1007/978-3-031-62645-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Application and Theory of Petri Nets and Concurrency 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6039182026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Kristensen, Lars Michael. editor. van der Werf, Jan Martijn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61433-0">https://doi.org/10.1007/978-3-031-61433-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6039312026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61353-1">https://doi.org/10.1007/978-3-031-61353-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science and Its Applications - ICCSA 2024 24th International Conference, Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6041512026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64605-8">https://doi.org/10.1007/978-3-031-64605-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science and Its Applications - ICCSA 2024 24th International Conference, Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6041522026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64608-9">https://doi.org/10.1007/978-3-031-64608-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT MICCAI Challenge, FLARE 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedingsent://SD_ILS/0/SD_ILS:6041642026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Ma, Jun. editor. (orcid)0000-0002-9739-0855 Wang, Bo. editor. (orcid)0000-0002-9620-3413 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-58776-4">https://doi.org/10.1007/978-3-031-58776-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Search-Based Software Engineering 16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6041732026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Jahangirova, Gunel. editor. Khomh, Foutse. editor. (orcid)0000-0002-5704-4173 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64573-0">https://doi.org/10.1007/978-3-031-64573-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Intelligent Computing Technology and Applications 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6045712026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Huang, De-Shuang. editor. Zhang, Xiankun. editor. Zhang, Qinhu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-5663-6">https://doi.org/10.1007/978-981-97-5663-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Intelligent Computing Technology and Applications 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part Vent://SD_ILS/0/SD_ILS:6045722026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Huang, De-Shuang. editor. Zhang, Xiankun. editor. Zhang, Chuanlei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-5675-9">https://doi.org/10.1007/978-981-97-5675-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cooperatively Interacting Vehicles Methods and Effects of Automated Cooperation in Trafficent://SD_ILS/0/SD_ILS:6045772026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Stiller, Christoph. editor. (orcid)0000-0003-4165-2075 Althoff, Matthias. editor. (orcid)0000-0003-3733-842X Burger, Christoph. editor. Deml, Barbara. editor. Eckstein, Lutz. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60494-2">https://doi.org/10.1007/978-3-031-60494-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Network Technologies and Intelligent Computing Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6046542026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Dhurandher, Sanjay Kumar. editor. Woungang, Isaac. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64067-4">https://doi.org/10.1007/978-3-031-64067-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Network Technologies and Intelligent Computing Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6046552026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Dhurandher, Sanjay Kumar. editor. Woungang, Isaac. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64070-4">https://doi.org/10.1007/978-3-031-64070-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Network Technologies and Intelligent Computing Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6046562026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Dhurandher, Sanjay Kumar. editor. Woungang, Isaac. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64076-6">https://doi.org/10.1007/978-3-031-64076-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Service Science CCF 17th International Conference, ICSS 2024, Hong Kong, China, May 11-12, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6047632026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Wang, Jianping. editor. (orcid)0000-0002-9318-1482 Xiao, Bin. editor. (orcid)0000-0003-4223-8220 Liu, Xuanzhe. editor. (orcid)0000-0002-6813-2435 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-5760-2">https://doi.org/10.1007/978-981-97-5760-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Performance Evaluation and Benchmarking 15th TPC Technology Conference, TPCTC 2023, Vancouver, BC, Canada, August 28 - September 1, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6052612026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68031-1">https://doi.org/10.1007/978-3-031-68031-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Simulation Tools and Techniques 15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedingsent://SD_ILS/0/SD_ILS:6065242026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Guisado-Lizar, José-Luis. editor. Riscos-Núñez, Agustín. editor. (orcid)0000-0002-5409-3578 Morón-Fernández, María-José. editor. Wainer, Gabriel. editor. (orcid)0000-0003-3366-9184 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57523-5">https://doi.org/10.1007/978-3-031-57523-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Computing 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:6066162026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Duque-Méndez, Néstor Darío. editor. (orcid)0000-0002-4608-281X Aristizábal-Quintero, Luz Ángela. editor. (orcid)0000-0003-4510-9029 Orozco-Alzate, Mauricio. editor. (orcid)0000-0002-5937-6382 Aguilar, Jose. editor. (orcid)0000-0003-4194-6882 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75236-0">https://doi.org/10.1007/978-3-031-75236-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Computing 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:6066242026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Duque-Méndez, Néstor Darío. editor. (orcid)0000-0002-4608-281X Aristizábal-Quintero, Luz Ángela. editor. (orcid)0000-0003-4510-9029 Orozco-Alzate, Mauricio. editor. (orcid)0000-0002-5937-6382 Aguilar, Jose. editor. (orcid)0000-0003-4194-6882 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75233-9">https://doi.org/10.1007/978-3-031-75233-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6039442026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61351-7">https://doi.org/10.1007/978-3-031-61351-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>HCI for Cybersecurity, Privacy and Trust 6th International Conference, HCI-CPT 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6037922026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Moallem, Abbas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61379-1">https://doi.org/10.1007/978-3-031-61379-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>HCI for Cybersecurity, Privacy and Trust 6th International Conference, HCI-CPT 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6037932026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Moallem, Abbas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61382-1">https://doi.org/10.1007/978-3-031-61382-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6038172026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61356-2">https://doi.org/10.1007/978-3-031-61356-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Optimization, Learning Algorithms and Applications 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6066872026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Coelho, João P. editor. (orcid)0000-0002-7616-1383 Teixeira, João P. editor. (orcid)0000-0002-6679-5702 Lima, José. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-77432-4">https://doi.org/10.1007/978-3-031-77432-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6023512026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Gierasimczuk, Nina. editor. Velázquez-Quesada, Fernando R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Edge Computing - EDGE 2023 7th International Conference, Held as Part of the Services Conference Federation, SCF 2023 Shenzhen, China, December 17-18, 2023, Proceedingsent://SD_ILS/0/SD_ILS:6023702026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Feng, Jun. editor. (orcid)0000-0001-9917-1819 Jiang, Frank. editor. Luo, Min. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-51826-3">https://doi.org/10.1007/978-3-031-51826-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Transport Systems 7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedingsent://SD_ILS/0/SD_ILS:6021292026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Martins, Ana Lucia. editor. (orcid)0000-0002-8533-6595 Ferreira, Joao C. editor. Kocian, Alexander. editor. Tokkozhina, Ulpan. editor. Helgheim, Berit Irene. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49379-9">https://doi.org/10.1007/978-3-031-49379-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Ledger Technology 7th International Symposium, SDLT 2023, Brisbane, QLD, Australia, November 30 - December 1, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6025462026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Dong, Naipeng. editor. Pillai, Babu. editor. (orcid)0000-0003-4675-154X Bai, Guangdong. editor. Utting, Mark. editor. (orcid)0000-0003-3134-6306 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-0006-6">https://doi.org/10.1007/978-981-97-0006-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Machine Learning and Data Mining for Sports Analytics 10th International Workshop, MLSA 2023, Turin, Italy, September 18, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6026782026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Brefeld, Ulf. editor. (orcid)0000-0001-9600-6463 Davis, Jesse. editor. Van Haaren, Jan. editor. Zimmermann, Albrecht. editor. (orcid)0000-0002-8319-7456 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-53833-9">https://doi.org/10.1007/978-3-031-53833-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digital Forensics and Cyber Crime 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6031352026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Goel, Sanjay. editor. (orcid)0000-0002-7164-8395 Nunes de Souza, Paulo Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56583-0">https://doi.org/10.1007/978-3-031-56583-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6031452026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57246-3">https://doi.org/10.1007/978-3-031-57246-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6031512026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57249-4">https://doi.org/10.1007/978-3-031-57249-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6031522026-03-31T02:30:56Z2026-03-31T02:30:56ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57256-2">https://doi.org/10.1007/978-3-031-57256-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>