Search Results for Internet of things. - Narrowed by: Software engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dInternet$002bof$002bthings.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026ps$003d300?2026-04-26T03:06:49ZMiddleware Solutions for the Internet of Thingsent://SD_ILS/0/SD_ILS:3312062026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Delicato, Flávia C. author. Pires, Paulo F. author. Batista, Thais. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331206.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5481-5">http://dx.doi.org/10.1007/978-1-4471-5481-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Internet of Things - ICIOT 2024 9th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6060672026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Zhang, Shunli. 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-77003-6">https://doi.org/10.1007/978-3-031-77003-6</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-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor 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-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor 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/>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-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor 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-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor 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/>Internet of Things - ICIOT 2023 8th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedingsent://SD_ILS/0/SD_ILS:6023792026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Ye, Kejiang. 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-51734-1">https://doi.org/10.1007/978-3-031-51734-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Smart Grid and Internet of Things 7th EAI International Conference, SGIoT 2023, TaiChung, Taiwan, November 18-19, 2023, Proceedingsent://SD_ILS/0/SD_ILS:6028832026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Deng, Der-Jiunn. editor. (orcid)0000-0001-8410-164X Chen, Jyh-Cheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-55976-1">https://doi.org/10.1007/978-3-031-55976-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Internet of Things – ICIOT 2019 4th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4862272026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Issarny, Valerie. editor. Palanisamy, Balaji. 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-030-23357-0">https://doi.org/10.1007/978-3-030-23357-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integrating the internet of things into software engineering practicesent://SD_ILS/0/SD_ILS:4820752026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Mala, D. Jeya, 1974- editor. IGI Global, publisher.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Chapter PDFs via platform: <a href="http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7790-4">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7790-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Internet of Things (IoT) Technologies for HealthCare 4th International Conference, HealthyIoT 2017, Angers, France, October 24-25, 2017, Proceedingsent://SD_ILS/0/SD_ILS:3995482026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Ahmed, Mobyen Uddin. editor. Begum, Shahina. editor. (orcid)0000-0002-1212-7637 Fasquel, Jean-Baptiste. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76213-5">https://doi.org/10.1007/978-3-319-76213-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Green Energy Systems and Smart Grid First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4001022026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Li, Kang. editor. Zhang, Jianhua. editor. Chen, Minyou. editor. Yang, Zhile. editor. Niu, Qun. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-2381-2">https://doi.org/10.1007/978-981-13-2381-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Internet of Things – ICIOT 2018 Third International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4015932026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Georgakopoulos, Dimitrios. 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-319-94370-1">https://doi.org/10.1007/978-3-319-94370-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recent Advances in Intelligent Manufacturing First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3996542026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Wang, Shilong. editor. Price, Mark. editor. Lim, Ming K. editor. Jin, Yan. editor. Luo, Yuanxin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-2396-6">https://doi.org/10.1007/978-981-13-2396-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Requirements Engineering for Internet of Things 4th Asia-Pacific Symposium, APRES 2017, Melaka, Malaysia, November 9–10, 2017, Proceedingsent://SD_ILS/0/SD_ILS:4023302026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Kamalrudin, Massila. editor. Ahmad, Sabrina. editor. (orcid)0000-0002-4277-2063 Ikram, Naveed. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-7796-8">https://doi.org/10.1007/978-981-10-7796-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Computing and Internet of Things First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4003142026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Li, Kang. editor. Fei, Minrui. editor. Du, Dajun. editor. Yang, Zhile. editor. Yang, Dongsheng. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-2384-3">https://doi.org/10.1007/978-981-13-2384-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Performance Evaluation and Benchmarking. Traditional - Big Data - Internet of Things 8th TPC Technology Conference, TPCTC 2016, New Delhi, India, September 5-9, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6161472026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor 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-319-54334-5">https://doi.org/10.1007/978-3-319-54334-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Smart Cities The Internet of Things, People and Systemsent://SD_ILS/0/SD_ILS:6125022026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Dustdar, Schahram. author. Nastić, Stefan. author. Šćekić, Ognjen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60030-7">https://doi.org/10.1007/978-3-319-60030-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Interoperability and Open-Source Solutions for the Internet of Things Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papersent://SD_ILS/0/SD_ILS:6115192026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Podnar Žarko, Ivana. editor. Broering, Arne. editor. Soursos, Sergios. editor. Serrano, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56877-5">https://doi.org/10.1007/978-3-319-56877-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Internet of Things. IoT Infrastructures Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015. Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:6183702026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Mandler, Benny. editor. Marquez-Barja, Johann. editor. Mitre Campista, Miguel Elias. editor. Cagáňová, Dagmar. editor. (orcid)0000-0002-6834-6126 Chaouchi, Hakima. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47063-4">https://doi.org/10.1007/978-3-319-47063-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Internet of Things. IoT Infrastructures Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:6184442026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Mandler, Benny. editor. Marquez-Barja, Johann. editor. Mitre Campista, Miguel Elias. editor. Cagáňová, Dagmar. editor. (orcid)0000-0002-6834-6126 Chaouchi, Hakima. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47075-7">https://doi.org/10.1007/978-3-319-47075-7</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-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor 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/>Internet Computing and IoT and Embedded Systems, Cyber-physical Systems, and Applications 25th International Conference, ICOMP 2024, and 22nd International Conference, ESCS 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:6080152026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85923-6">https://doi.org/10.1007/978-3-031-85923-6</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-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor 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/>Human-Computer Interaction 9th Iberoamerican Workshop, HCI-COLLAB 2023, Buenos Aires, Argentina, September 13-15, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6033022026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Ruiz, Pablo H. editor. (orcid)0000-0003-2098-2614 Agredo-Delgado, Vanessa. editor. (orcid)0000-0003-0870-6895 Mon, Alicia. editor. (orcid)0000-0001-6365-9943 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57982-0">https://doi.org/10.1007/978-3-031-57982-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>ITNG 2024: 21st International Conference on Information Technology-New Generationsent://SD_ILS/0/SD_ILS:6042262026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Latifi, Shahram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56599-1">https://doi.org/10.1007/978-3-031-56599-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enterprise Interoperability X Enterprise Interoperability Through Connected Digital Twinsent://SD_ILS/0/SD_ILS:6070232026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Rodríguez-Rodríguez, Raúl. editor. Ducq, Yves. editor. (orcid)0000-0001-5144-5876 Leon, Ramona-Diana. editor. Romero, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-24771-2">https://doi.org/10.1007/978-3-031-24771-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6023522026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Cámara, Javier. editor. Jongmans, Sung-Shik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-52183-6">https://doi.org/10.1007/978-3-031-52183-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:6025042026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Mendes, Armando. editor. Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Pacheco, Maria F. editor. (orcid)0000-0001-7915-0391 Coelho, João P. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-53036-4">https://doi.org/10.1007/978-3-031-53036-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Internet Computing Principles of Distributed Systems and Emerging Internet-Based Technologiesent://SD_ILS/0/SD_ILS:6048502026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Sunyaev, Ali. author. (orcid)0000-0002-4353-8519 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61014-1">https://doi.org/10.1007/978-3-031-61014-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Smart Cities 6th Ibero-American Congress, ICSC-Cities 2023, Mexico City and Cuernavaca, Mexico, November 13-17, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6024712026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor 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-52517-9">https://doi.org/10.1007/978-3-031-52517-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:6024762026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Mendes, Armando. editor. Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Pacheco, Maria F. editor. (orcid)0000-0001-7915-0391 Coelho, João P. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-53025-8">https://doi.org/10.1007/978-3-031-53025-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>ITNG 2023 20th International Conference on Information Technology-New Generationsent://SD_ILS/0/SD_ILS:5269662026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Latifi, Shahram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28332-1">https://doi.org/10.1007/978-3-031-28332-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Challenges of Software Verificationent://SD_ILS/0/SD_ILS:5281452026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Arceri, Vincenzo. editor. Cortesi, Agostino. editor. Ferrara, Pietro. editor. Olliaro, Martina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-9601-6">https://doi.org/10.1007/978-981-19-9601-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evolving software processes : trends and future directionsent://SD_ILS/0/SD_ILS:5973232026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Khan, Arif Ali, editor. Le, Dac-Nhuong, 1983- editor.<br/>Preferred Shelf Number QA76.76 .D47<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821779">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821779</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Security and Quality in Cyber-Physical Systems Engineering With Forewords by Robert M. Lee and Tom Gilbent://SD_ILS/0/SD_ILS:4853802026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Eckhart, Matthias. editor. Lüder, Arndt. editor. Weippl, Edgar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-25312-7">https://doi.org/10.1007/978-3-030-25312-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automotive Systems and Software Engineering State of the Art and Future Trendsent://SD_ILS/0/SD_ILS:4863782026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Dajsuren, Yanja. editor. van den Brand, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-12157-0">https://doi.org/10.1007/978-3-030-12157-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6137382026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Csöndes, Tibor. editor. Kovács, Gábor. editor. Réthy, György. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68015-6">https://doi.org/10.1007/978-3-319-68015-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Service-Oriented Computing 15th International Conference, ICSOC 2017, Malaga, Spain, November 13-16, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6137432026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Maximilien, Michael. editor. Vallecillo, Antonio. editor. Wang, Jianmin. editor. Oriol, Marc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69035-3">https://doi.org/10.1007/978-3-319-69035-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Security - ESORICS 2017 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6162882026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Foley, Simon N. editor. Gollmann, Dieter. editor. Snekkenes, Einar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66399-9">https://doi.org/10.1007/978-3-319-66399-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cloud Broker and Cloudlet for Workflow Schedulingent://SD_ILS/0/SD_ILS:6172652026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Youn, Chan-Hyun. author. Chen, Min. author. Dazzi, Patrizio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-5071-8">https://doi.org/10.1007/978-981-10-5071-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pervasive Computing Engineering Smart Systemsent://SD_ILS/0/SD_ILS:6173712026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Silvis-Cividjian, Natalia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51655-4">https://doi.org/10.1007/978-3-319-51655-4</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-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor 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/>Future Data and Security Engineering 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6121512026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Dang, Tran Khanh. editor. Wagner, Roland. editor. Küng, Josef. editor. Thoai, Nam. editor. Takizawa, Makoto. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70004-5">https://doi.org/10.1007/978-3-319-70004-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Interoperability, Safety and Security in IoT Second International Conference, InterIoT 2016 and Third International Conference, SaSeIoT 2016, Paris, France, October 26-27, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6119302026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Mitton, Nathalie. editor. Chaouchi, Hakima. editor. Noel, Thomas. editor. Watteyne, Thomas. editor. Gabillon, Alban. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52727-7">https://doi.org/10.1007/978-3-319-52727-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applied Computer Sciences in Engineering 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6178882026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 López-Santana, Eduyn Ramiro. editor. Villa-Ramírez, José Luis. editor. Ferro-Escobar, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66963-2">https://doi.org/10.1007/978-3-319-66963-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Service-Oriented and Cloud Computing 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6181162026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor De Paoli, Flavio. editor. Schulte, Stefan. editor. (orcid)0000-0003-3617-8807 Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67262-5">https://doi.org/10.1007/978-3-319-67262-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Frontier Computing Theory, Technologies and Applicationsent://SD_ILS/0/SD_ILS:6149312026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Hung, Jason C. editor. Yen, Neil Y. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-0539-8">https://doi.org/10.1007/978-981-10-0539-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Service-Oriented Computing 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6130232026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Sheng, Quan Z. editor. Stroulia, Eleni. editor. (orcid)0000-0002-8784-8236 Tata, Samir. editor. Bhiri, Sami. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46295-0">https://doi.org/10.1007/978-3-319-46295-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedingsent://SD_ILS/0/SD_ILS:6114332026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Grabowski, Jens. editor. Herbold, Steffen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46613-2">https://doi.org/10.1007/978-3-319-46613-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6135922026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47169-3">https://doi.org/10.1007/978-3-319-47169-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6167392026-04-26T03:06:49Z2026-04-26T03:06:49ZAuthor Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47166-2">https://doi.org/10.1007/978-3-319-47166-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>