Search Results for Systems software. - Narrowed by: 2023
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystems$002bsoftware.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092023$0025092023$0026ps$003d300?
2025-12-12T03:11:45Z
Fuzzy Logic-Based Software Systems
ent://SD_ILS/0/SD_ILS:528631
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Chrysafiadi, Konstantina. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44457-9">https://doi.org/10.1007/978-3-031-44457-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developing Sustainable and Energy-Efficient Software Systems
ent://SD_ILS/0/SD_ILS:520659
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Kruglov, Artem. author. Succi, Giancarlo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-11658-2">https://doi.org/10.1007/978-3-031-11658-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Directory of library automation software, systems, and services.
ent://SD_ILS/0/SD_ILS:79391
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Cibbarelli, Pamela R., ed. Information Today, Inc.<br/>Preferred Shelf Number Z678.9.A3 D6<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Complex, Intelligent and Software Intensive Systems Proceedings of the 17th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2023)
ent://SD_ILS/0/SD_ILS:528410
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Barolli, Leonard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35734-3">https://doi.org/10.1007/978-3-031-35734-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:520840
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30820-8">https://doi.org/10.1007/978-3-031-30820-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521157
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Bonfanti, Silvia. editor. Gargantini, Angelo. editor. Salvaneschi, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43240-8">https://doi.org/10.1007/978-3-031-43240-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Re-Engineering Software Intensive Systems into Software Product Lines
ent://SD_ILS/0/SD_ILS:520251
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Lopez-Herrejon, Roberto E. editor. Martinez, Jabier. editor. Guez Assunção, Wesley Klewerton. editor. Ziadi, Tewfik. editor. Acher, Mathieu. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-11686-5">https://doi.org/10.1007/978-3-031-11686-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:520342
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Yilmaz, Murat. editor. Clarke, Paul. editor. Riel, Andreas. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42307-9">https://doi.org/10.1007/978-3-031-42307-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:520547
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Yilmaz, Murat. editor. Clarke, Paul. editor. Riel, Andreas. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42310-9">https://doi.org/10.1007/978-3-031-42310-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Development of Safety-Critical Systems Architecture and Software
ent://SD_ILS/0/SD_ILS:520696
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Karmakar, Gopinath. author. Wakankar, Amol. author. Kabra, Ashutosh. author. Pandya, Paritosh. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-27901-0">https://doi.org/10.1007/978-3-031-27901-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:520843
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30823-9">https://doi.org/10.1007/978-3-031-30823-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Application in Systems Design Proceedings of 6th Computational Methods in Systems and Software 2022, Volume 1
ent://SD_ILS/0/SD_ILS:526912
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-21435-6">https://doi.org/10.1007/978-3-031-21435-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Science and Algorithms in Systems Proceedings of 6th Computational Methods in Systems and Software 2022, Vol. 2
ent://SD_ILS/0/SD_ILS:527138
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-21438-7">https://doi.org/10.1007/978-3-031-21438-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Computing for Software and Smart Systems Proceedings of ACSS 2022
ent://SD_ILS/0/SD_ILS:527308
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Chaki, Rituparna. editor. Cortesi, Agostino. editor. Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Chaki, Nabendu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-6791-7">https://doi.org/10.1007/978-981-19-6791-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
International Conference on Advanced Intelligent Systems for Sustainable Development Volume 1 - Advanced Intelligent Systems on Artificial Intelligence, Software, and Data Science
ent://SD_ILS/0/SD_ILS:528796
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Kacprzyk, Janusz. editor. Ezziyyani, Mostafa. editor. Balas, Valentina Emilia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-26384-2">https://doi.org/10.1007/978-3-031-26384-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Computing for Software and Smart Systems Proceedings of ACSS 2023
ent://SD_ILS/0/SD_ILS:529030
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Chaki, Rituparna. editor. Chaki, Nabendu. editor. Cortesi, Agostino. editor. Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7783-3">https://doi.org/10.1007/978-981-99-7783-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sensor Systems and Software 13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520457
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Karimi , Hamid Reza. editor. Wang, Ning. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34899-0">https://doi.org/10.1007/978-3-031-34899-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Designing Modern Embedded Systems: Software, Hardware, and Applications 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520586
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Henkler, Stefan. editor. Kreutz, Márcio. editor. Wehrmeister, Marco A. editor. Götz, Marcelo. editor. Rettberg, Achim. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34214-1">https://doi.org/10.1007/978-3-031-34214-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520944
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Wies, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30044-8">https://doi.org/10.1007/978-3-031-30044-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantic Knowledge Modelling via Open Linked Ontologies Ontologies in E-Governance
ent://SD_ILS/0/SD_ILS:528881
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Theocharis, Stamatios. author. Tsihrintzis, George A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-20585-9">https://doi.org/10.1007/978-3-031-20585-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Advances in Data and Algorithms for e-Government
ent://SD_ILS/0/SD_ILS:527329
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Gaie, Christophe. editor. Mehta, Mayuri. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-22408-9">https://doi.org/10.1007/978-3-031-22408-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information security management handbook
ent://SD_ILS/0/SD_ILS:542831
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Tipton, Harold F. Krause, Micki.<br/>Preferred Shelf Number QA76.9 .A25 I54165 2003<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420003406">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521180
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Milius, Birgit. editor. Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43366-5">https://doi.org/10.1007/978-3-031-43366-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18-22, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521130
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Tekinerdogan, Bedir. editor. Trubiani, Catia. editor. Tibermacine, Chouki. editor. Scandurra, Patrizia. editor. Cuesta, Carlos E. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42592-9">https://doi.org/10.1007/978-3-031-42592-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521134
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Guiochet, Jérémie. editor. Tonetta, Stefano. editor. Bitsch, Friedemann. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40923-3">https://doi.org/10.1007/978-3-031-40923-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Linking Theory and Practice of Digital Libraries 27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26-29, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521310
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Alonso, Omar. editor. Cousijn, Helena. editor. Silvello, Gianmaria. editor. Marrero, Mónica. editor. Teixeira Lopes, Carla. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43849-3">https://doi.org/10.1007/978-3-031-43849-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Predictive Analytics in System Reliability
ent://SD_ILS/0/SD_ILS:526781
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Kumar, Vijay. editor. Pham, Hoang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-05347-4">https://doi.org/10.1007/978-3-031-05347-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications in Electronics and Computing Systems Proceedings of the 4th International Conference on Applications in Electronics and Computing Systems AECS-2022
ent://SD_ILS/0/SD_ILS:528584
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Dantsevich, Igor. editor. Samoylenko, Irina. editor. (orcid)0000-0001-6907-1403 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-20631-3">https://doi.org/10.1007/978-3-031-20631-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sustainable Design and Manufacturing Proceedings of the 9th International Conference on Sustainable Design and Manufacturing (SDM 2022)
ent://SD_ILS/0/SD_ILS:528592
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Scholz, Steffen G. editor. Howlett, Robert J. editor. Setchi, Rossi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-9205-6">https://doi.org/10.1007/978-981-19-9205-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances and Applications of Artificial Intelligence & Machine Learning Proceedings of ICAAAIML 2022
ent://SD_ILS/0/SD_ILS:528914
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Unhelkar, Bhuvan. editor. Pandey, Hari Mohan. editor. Agrawal, Arun Prakash. editor. Choudhary, Ankur. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-5974-7">https://doi.org/10.1007/978-981-99-5974-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Explainable AI for Cybersecurity
ent://SD_ILS/0/SD_ILS:528936
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Pan, Zhixin. author. Mishra, Prabhat. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-46479-9">https://doi.org/10.1007/978-3-031-46479-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependable Computer Systems and Networks Proceedings of the Eighteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, July 3-7, 2023, Brunów, Poland
ent://SD_ILS/0/SD_ILS:529025
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor. (orcid)0000-0003-4187-5877<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-37720-4">https://doi.org/10.1007/978-3-031-37720-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence in Music, Sound, Art and Design 12th International Conference, EvoMUSART 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520836
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Johnson, Colin. editor. Rodríguez-Fernández, Nereida. editor. Rebelo, Sérgio M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-29956-8">https://doi.org/10.1007/978-3-031-29956-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520812
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Masci, Paolo. editor. Bernardeschi, Cinzia. editor. Graziani, Pierluigi. editor. Koddenbrock, Mario. editor. Palmieri, Maurizio. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-26236-4">https://doi.org/10.1007/978-3-031-26236-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:520846
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30445-3">https://doi.org/10.1007/978-3-031-30445-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:521011
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-37117-2">https://doi.org/10.1007/978-3-031-37117-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2023 23rd International Conference, Athens, Greece, July 3-6, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:521017
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Taniar, David. editor. Apduhan, Bernady O. editor. Braga, Ana Cristina. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36808-0">https://doi.org/10.1007/978-3-031-36808-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:521351
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Goh, Dion H. editor. Chen, Shu-Jiun. editor. Tuarob, Suppawong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8085-7">https://doi.org/10.1007/978-981-99-8085-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:521352
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Goh, Dion H. editor. Chen, Shu-Jiun. editor. Tuarob, Suppawong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8088-8">https://doi.org/10.1007/978-981-99-8088-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521275
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47115-5">https://doi.org/10.1007/978-3-031-47115-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Interface and the Management of Information Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:521033
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Mori, Hirohiko. editor. Asahi, Yumi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35129-7">https://doi.org/10.1007/978-3-031-35129-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Interface and the Management of Information Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:521034
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Mori, Hirohiko. editor. Asahi, Yumi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35132-7">https://doi.org/10.1007/978-3-031-35132-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Education, Research and Business Technologies Proceedings of 21st International Conference on Informatics in Economy (IE 2022)
ent://SD_ILS/0/SD_ILS:527287
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Ciurea, Cristian. editor. Pocatilu, Paul. editor. Filip, Florin Gheorghe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-6755-9">https://doi.org/10.1007/978-981-19-6755-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Hardware Accelerators
ent://SD_ILS/0/SD_ILS:527542
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Mishra, Ashutosh. editor. Cha, Jaekwang. editor. Park, Hyunbin. editor. Kim, Shiho. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-22170-5">https://doi.org/10.1007/978-3-031-22170-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Medical Devices and In Vitro Diagnostics Requirements in Europe
ent://SD_ILS/0/SD_ILS:527764
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Baumgartner, Christian. editor. Harer, Johann. editor. Schröttner, Jörg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-22091-3">https://doi.org/10.1007/978-3-031-22091-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Technology for Education, Science, and Technics Proceedings of ITEST 2022
ent://SD_ILS/0/SD_ILS:527905
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Faure, Emil. editor. Danchenko, Olena. editor. Bondarenko, Maksym. editor. Tryus, Yurii. editor. Bazilo, Constantine. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35467-0">https://doi.org/10.1007/978-3-031-35467-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of International Conference on Information Technology and Applications ICITA 2022
ent://SD_ILS/0/SD_ILS:528088
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Anwar, Sajid. editor. Ullah, Abrar. editor. Rocha, Álvaro. editor. Sousa, Maria José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-9331-2">https://doi.org/10.1007/978-981-19-9331-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Automation IV Proceedings of the International Russian Automation Conference, RusAutoCon2022, September 4-10, 2022, Sochi, Russia
ent://SD_ILS/0/SD_ILS:528595
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Radionov, Andrey A. editor. Gasiyarov, Vadim R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-22311-2">https://doi.org/10.1007/978-3-031-22311-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of ICACTCE'23 - The International Conference on Advances in Communication Technology and Computer Engineering New Artificial Intelligence and the Internet of Things Based Perspective and Solutions
ent://SD_ILS/0/SD_ILS:529126
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Iwendi, Celestine. editor. Boulouard, Zakaria. editor. (orcid)0000-0002-4891-3760 Kryvinska, Natalia. editor. (orcid)0000-0003-3678-9229 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-37164-6">https://doi.org/10.1007/978-3-031-37164-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Solving Fault Diagnosis Problems Linear Synthesis Techniques with Julia Code Examples
ent://SD_ILS/0/SD_ILS:529134
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Varga, Andreas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35767-1">https://doi.org/10.1007/978-3-031-35767-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Springer Handbook of Augmented Reality
ent://SD_ILS/0/SD_ILS:520176
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Nee, Andrew Yeh Ching. editor. Ong, Soh Khim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-67822-7">https://doi.org/10.1007/978-3-030-67822-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concise Guide to Numerical Algorithmics The Foundations and Spirit of Scientific Computing
ent://SD_ILS/0/SD_ILS:520189
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Nazareth, John Lawrence. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-21762-3">https://doi.org/10.1007/978-3-031-21762-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Methods 11th Brazilian Workshop, WBMA 2021, Virtual Event, October 8-10, 2021, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520195
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Rocha, Carla. editor. Santana Júnior, Celio. editor. De Sá, Fernando. editor. Silva da Silva, Tiago. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-25648-6">https://doi.org/10.1007/978-3-031-25648-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Processes in Software Engineering and Extreme Programming 24th International Conference on Agile Software Development, XP 2023, Amsterdam, The Netherlands, June 13-16, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520250
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Stettina, Christoph J. editor. Garbajosa, Juan. editor. Kruchten, Philippe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33976-9">https://doi.org/10.1007/978-3-031-33976-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
ent://SD_ILS/0/SD_ILS:520259
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Farmer, William M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-21112-6">https://doi.org/10.1007/978-3-031-21112-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Trends in Database and Information Systems ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Barcelona, Spain, September 4-7, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520343
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Abelló, Alberto. editor. Vassiliadis, Panos. editor. Romero, Oscar. editor. Wrembel, Robert. editor. Bugiotti, Francesca. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42941-5">https://doi.org/10.1007/978-3-031-42941-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reference Architectures for Critical Domains Industrial Uses and Impacts
ent://SD_ILS/0/SD_ILS:520357
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Nakagawa, Elisa Yumi. editor. Oliveira Antonino, Pablo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-16957-1">https://doi.org/10.1007/978-3-031-16957-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Engineering of Batteries
ent://SD_ILS/0/SD_ILS:520358
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Santhanagopalan, Shriram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-17607-4">https://doi.org/10.1007/978-3-031-17607-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Research and Innovation Forum 2022 Rupture, Resilience and Recovery in the Post-Covid World
ent://SD_ILS/0/SD_ILS:520359
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Visvizi, Anna. editor. Troisi, Orlando. editor. Grimaldi, Mara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-19560-0">https://doi.org/10.1007/978-3-031-19560-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Management in Organisations 17th International Conference, KMO 2023, Bangkok, Thailand, July 24-27, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520417
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Uden, Lorna. editor. Ting, I-Hsien. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34045-1">https://doi.org/10.1007/978-3-031-34045-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Understanding Analog Side Channels Using Cryptography Algorithms
ent://SD_ILS/0/SD_ILS:520646
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Zajić, Alenka. author. Prvulovic, Milos. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-38579-7">https://doi.org/10.1007/978-3-031-38579-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Software Architecture Innovative Design using Clean Architecture and Model-Driven Engineering
ent://SD_ILS/0/SD_ILS:520650
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Lano, Kevin. author. Yassipour Tehrani, Sobhan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44143-1">https://doi.org/10.1007/978-3-031-44143-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Technologies 4th International Conference, ICAT 2022, Quito, Ecuador, November 23-25, 2022, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:520654
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Botto-Tobar, Miguel. editor. (orcid) Zambrano Vizuete, Marcelo. editor. Montes León, Sergio. editor. Torres-Carrión, Pablo. editor. Durakovic, Benjamin. editor. (orcid)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-24985-3">https://doi.org/10.1007/978-3-031-24985-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sustainable Energy for Smart Cities 4th EAI International Conference, SESC 2022, Braga, Portugal, November 16-18, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520680
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Afonso, João L. editor. Monteiro, Vitor. editor. Pinto, José Gabriel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33979-0">https://doi.org/10.1007/978-3-031-33979-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520682
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Wang, Ning. editor. Rebolledo-Mendez, Genaro. editor. Dimitrova, Vania. editor. Matsuda, Noboru. editor. Santos, Olga C. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36336-8">https://doi.org/10.1007/978-3-031-36336-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Computer Sciences in Engineering 10th Workshop on Engineering Applications, WEA 2023, Cartagena, Colombia, November 1-3, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520720
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Figueroa-García, Juan Carlos. editor. Hernández, German. editor. Villa Ramirez, Jose Luis. editor. Gaona García, Elvis Eduardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-46739-4">https://doi.org/10.1007/978-3-031-46739-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520735
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Dang, Tran Khanh. editor. Küng, Josef. editor. Chung, Tai M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8296-7">https://doi.org/10.1007/978-981-99-8296-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Internet of Things, Smart Spaces, and Next Generation Networks and Systems 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520839
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Koucheryavy, Yevgeni. editor. (orcid) Aziz, Ahmed. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30258-9">https://doi.org/10.1007/978-3-031-30258-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520841
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Lambers, Leen. editor. Uchitel, Sebastián. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30826-0">https://doi.org/10.1007/978-3-031-30826-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:520851
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30442-2">https://doi.org/10.1007/978-3-031-30442-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Passive and Active Measurement 24th International Conference, PAM 2023, Virtual Event, March 21-23, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520896
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Brunstrom, Anna. editor. Flores, Marcel. editor. Fiore, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28486-1">https://doi.org/10.1007/978-3-031-28486-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Economics of Grids, Clouds, Systems, and Services 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520919
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Bañares, José Ángel. editor. Altmann, Jörn. editor. Agmon Ben-Yehuda, Orna. editor. Djemame, Karim. editor. Stankovski, Vlado. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-29315-3">https://doi.org/10.1007/978-3-031-29315-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations and Practice of Security 15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12-14, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520922
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Jourdan, Guy-Vincent. editor. Mounier, Laurent. editor. Adams, Carlisle. editor. Sèdes, Florence. editor. Garcia-Alfaro, Joaquin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30122-3">https://doi.org/10.1007/978-3-031-30122-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520927
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Ferrari, Alessio. editor. Penzenstadler, Birgit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-29786-1">https://doi.org/10.1007/978-3-031-29786-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:520973
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Abdelnour Nocera, José. editor. Kristín Lárusdóttir, Marta. editor. Petrie, Helen. editor. Piccinno, Antonio. editor. Winckler, Marco. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42293-5">https://doi.org/10.1007/978-3-031-42293-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Collaborative Robotics 8th International Conference, ICR 2023, Baku, Azerbaijan, October 25-29, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520980
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Ronzhin, Andrey. editor. Sadigov, Aminagha. editor. Meshcheryakov, Roman. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43111-1">https://doi.org/10.1007/978-3-031-43111-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence in Medicine 21st International Conference on Artificial Intelligence in Medicine, AIME 2023, Portorož, Slovenia, June 12-15, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520986
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Juarez, Jose M. editor. Marcos, Mar. editor. Stiglic, Gregor. editor. Tucker, Allan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34344-5">https://doi.org/10.1007/978-3-031-34344-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Critical Information Infrastructures Security 17th International Conference, CRITIS 2022, Munich, Germany, September 14-16, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520990
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Hämmerli, Bernhard. editor. (orcid) Helmbrecht, Udo. editor. Hommel, Wolfgang. editor. Kunczik, Leonhard. editor. Pickl, Stefan. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35190-7">https://doi.org/10.1007/978-3-031-35190-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521001
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Morusupalli, Raghava. editor. Dandibhotla, Teja Santosh. editor. Atluri, Vani Vathsala. editor. Windridge, David. editor. Lingras, Pawan. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36402-0">https://doi.org/10.1007/978-3-031-36402-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521004
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author David, Cristina. editor. Sun, Meng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35257-7">https://doi.org/10.1007/978-3-031-35257-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:521363
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Moniz, Nuno. editor. Vale, Zita. editor. Cascalho, José. editor. Silva, Catarina. editor. Sebastião, Raquel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49008-8">https://doi.org/10.1007/978-3-031-49008-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:521380
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Voevodin, Vladimir. editor. Sobolev, Sergey. editor. Yakobovskiy, Mikhail. editor. Shagaliev, Rashit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49432-1">https://doi.org/10.1007/978-3-031-49432-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Stabilization, Safety, and Security of Distributed Systems 25th International Symposium, SSS 2023, Jersey City, NJ, USA, October 2-4, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521210
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Dolev, Shlomi. editor. Schieber, Baruch. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44274-2">https://doi.org/10.1007/978-3-031-44274-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Networks and Inventive Communication Technologies Proceedings of Fifth ICCNCT 2022
ent://SD_ILS/0/SD_ILS:526905
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Smys, S. editor. Lafata, Pavel. editor. Palanisamy, Ram. editor. Kamel, Khaled A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-3035-5">https://doi.org/10.1007/978-981-19-3035-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ITNG 2023 20th International Conference on Information Technology-New Generations
ent://SD_ILS/0/SD_ILS:526966
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author 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/>
River Dynamics and Flood Hazards Studies on Risk and Mitigation
ent://SD_ILS/0/SD_ILS:527119
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Pandey, Manish. editor. Azamathulla, Hazi. editor. Pu, Jaan H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-7100-6">https://doi.org/10.1007/978-981-19-7100-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Society 5.0 Cyber-Solutions for Human-Centric Technologies
ent://SD_ILS/0/SD_ILS:527255
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Kravets, Alla G. editor. (orcid)0000-0003-1675-8652 Bolshakov, Alexander A. editor. Shcherbakov, Maxim V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35875-3">https://doi.org/10.1007/978-3-031-35875-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Developments in High-Speed Transport Selected Contributions from International Conference on High-Speed Transport Development 2022
ent://SD_ILS/0/SD_ILS:527706
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Strelets, Dmitry Yu. editor. Korsun, Oleg N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-9010-6">https://doi.org/10.1007/978-981-19-9010-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Intelligence for Clinical Diagnosis
ent://SD_ILS/0/SD_ILS:527819
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Joseph, Ferdin Joe John. editor. Balas, Valentina Emilia. editor. Rajest, S. Suman. editor. Regin, R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-23683-9">https://doi.org/10.1007/978-3-031-23683-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the 9th International Ergonomics Conference ERGONOMICS 2022
ent://SD_ILS/0/SD_ILS:528124
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Salopek Čubrić, Ivana. editor. Čubrić, Goran. editor. Jambrošić, Kristian. editor. Jurčević Lulić, Tanja. editor. Sumpor, Davor. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33986-8">https://doi.org/10.1007/978-3-031-33986-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Challenges of Software Verification
ent://SD_ILS/0/SD_ILS:528145
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author 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/>
Handbook of Neuroengineering
ent://SD_ILS/0/SD_ILS:528210
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Thakor, Nitish V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-16-5540-1">https://doi.org/10.1007/978-981-16-5540-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
System Dependability and Analytics Approaching System Dependability from Data, System and Analytics Perspectives
ent://SD_ILS/0/SD_ILS:528574
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Wang, Long. editor. Pattabiraman, Karthik. editor. Di Martino, Catello. editor. Athreya, Arjun. editor. Bagchi, Saurabh. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-02063-6">https://doi.org/10.1007/978-3-031-02063-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Microbiology, Infectious Diseases and Public Health Volume 17
ent://SD_ILS/0/SD_ILS:528698
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Donelli, Gianfranco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34178-6">https://doi.org/10.1007/978-3-031-34178-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of Third International Conference on Sustainable Expert Systems ICSES 2022
ent://SD_ILS/0/SD_ILS:528783
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Shakya, Subarna. editor. Balas, Valentina Emilia. editor. Haoxiang, Wang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-7874-6">https://doi.org/10.1007/978-981-19-7874-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Intelligent Systems, Computer Science and Digital Economics IV
ent://SD_ILS/0/SD_ILS:529094
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Hu, Zhengbing. editor. Wang, Yong. editor. He, Matthew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-24475-9">https://doi.org/10.1007/978-3-031-24475-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Production Processes and Product Evolution in the Age of Disruption Proceedings of the 9th Changeable, Agile, Reconfigurable and Virtual Production Conference (CARV2023) and the 11th World Mass Customization & Personalization Conference (MCPC2023), Bologna, Italy, June 2023
ent://SD_ILS/0/SD_ILS:529120
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Galizia, Francesco Gabriele. editor. Bortolini, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34821-1">https://doi.org/10.1007/978-3-031-34821-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Smart Technologies, Systems and Applications 3rd International Conference, SmartTech-IC 2022, Cuenca, Ecuador, November 16-18, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520321
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Narváez, Fabián R. editor. Urgilés, Fernando. editor. Bastos-Filho, Teodiano Freire. editor. Salgado-Guerrero, Juan Pablo. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-32213-6">https://doi.org/10.1007/978-3-031-32213-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Augmented Reality Where We Will All Live
ent://SD_ILS/0/SD_ILS:520335
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Peddie, Jon. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-32581-6">https://doi.org/10.1007/978-3-031-32581-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pervasive Computing Technologies for Healthcare 16th EAI International Conference, PervasiveHealth 2022, Thessaloniki, Greece, December 12-14, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520458
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Tsanas, Athanasios. editor. Triantafyllidis, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34586-9">https://doi.org/10.1007/978-3-031-34586-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520411
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Pesado, Patricia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34147-2">https://doi.org/10.1007/978-3-031-34147-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520493
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Kaindl, Hermann. editor. Mannion, Mike. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36597-3">https://doi.org/10.1007/978-3-031-36597-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Haptic Devices
ent://SD_ILS/0/SD_ILS:520551
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Kern, Thorsten A. editor. Hatzfeld, Christian. editor. Abbasimoshaei, Alireza. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-04536-3">https://doi.org/10.1007/978-3-031-04536-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Emerging Trends in Cybersecurity Applications
ent://SD_ILS/0/SD_ILS:520552
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Daimi, Kevin. editor. Alsadoon, Abeer. editor. Peoples, Cathryn. editor. El Madhoun, Nour. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-09640-2">https://doi.org/10.1007/978-3-031-09640-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product Lifecycle Management. PLM in Transition Times: The Place of Humans and Transformative Technologies 19th IFIP WG 5.1 International Conference, PLM 2022, Grenoble, France, July 10-13, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520558
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Noël, Frédéric. editor. Nyffenegger, Felix. editor. (orcid) Rivest, Louis. editor. Bouras, Abdelaziz. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-25182-5">https://doi.org/10.1007/978-3-031-25182-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ethical and Social Issues in the Information Age
ent://SD_ILS/0/SD_ILS:520570
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Kizza, Joseph Migga. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-24863-4">https://doi.org/10.1007/978-3-031-24863-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Research Challenges in Information Science: Information Science and the Connected World 17th International Conference, RCIS 2023, Corfu, Greece, May 23-26, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520580
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Nurcan, Selmin. editor. Opdahl, Andreas L. editor. Mouratidis, Haralambos. editor. Tsohou, Aggeliki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33080-3">https://doi.org/10.1007/978-3-031-33080-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise Information Systems 24th International Conference, ICEIS 2022, Virtual Event, April 25-27, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520599
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Filipe, Joaquim. editor. Śmiałek, Michał. editor. Brodsky, Alexander. editor. Hammoudi, Slimane. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-39386-0">https://doi.org/10.1007/978-3-031-39386-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Current Trends in Web Engineering ICWE 2022 International Workshops, BECS, SWEET and WALS, Bari, Italy, July 5-8, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520656
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Agapito, Giuseppe. editor. Bernasconi, Anna. editor. Cappiello, Cinzia. editor. Khattak, Hasan Ali. editor. Ko, InYoung. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-25380-5">https://doi.org/10.1007/978-3-031-25380-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences
ent://SD_ILS/0/SD_ILS:520632
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Cooper, Kendra M. L. editor. Bucchiarone, Antonio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33338-5">https://doi.org/10.1007/978-3-031-33338-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Trends in Information and Communications Technology Applications 6th International Conference, NTICT 2022, Baghdad, Iraq, November 16-17, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520772
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Al-Bakry, Abbas M. editor. (orcid) Al-Mamory, Safaa O. editor. Sahib, Mouayad A. editor. (orcid) George, Loay E. editor. Aldhaibani, Jaafar A. editor. (orcid)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35442-7">https://doi.org/10.1007/978-3-031-35442-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520857
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Bhatele, Abhinav. editor. Hammond, Jeff. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-32041-5">https://doi.org/10.1007/978-3-031-32041-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Benchmarking, Measuring, and Optimizing 14th BenchCouncil International Symposium, Bench 2022, Virtual Event, November 7-9, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520861
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Gainaru, Ana. editor. Zhang, Ce. editor. Luo, Chunjie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-31180-2">https://doi.org/10.1007/978-3-031-31180-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:521073
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Haxthausen, Anne E. editor. Huang, Wen-ling. editor. Roggenbach, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40132-9">https://doi.org/10.1007/978-3-031-40132-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:521095
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Batista, Thais. editor. Bureš, Tomáš. editor. Raibulet, Claudia. editor. Muccini, Henry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36889-9">https://doi.org/10.1007/978-3-031-36889-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Technologies for Smart Cities
ent://SD_ILS/0/SD_ILS:526670
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Vershinin, Yuri A. editor. Pashchenko, Fedor. editor. Olaverri-Monreal, Cristina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-05516-4">https://doi.org/10.1007/978-3-031-05516-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Uncertainty, Constraints, and Decision Making
ent://SD_ILS/0/SD_ILS:528363
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Ceberio, Martine. editor. Kreinovich, Vladik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36394-8">https://doi.org/10.1007/978-3-031-36394-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of 3rd International Conference on Artificial Intelligence: Advances and Applications ICAIAA 2022
ent://SD_ILS/0/SD_ILS:528611
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Mathur, Garima. editor. Bundele, Mahesh. editor. Tripathi, Ashish. editor. Paprzycki, Marcin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-7041-2">https://doi.org/10.1007/978-981-19-7041-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Communication Technologies and Sustainable Development Advanced Approaches and Innovations in Up-to-Date Networks and Systems
ent://SD_ILS/0/SD_ILS:528809
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Dovgyi, Stanislav. editor. Trofymchuk, Oleksandr. editor. Ustimenko, Vasyl. editor. Globa, Larysa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-46880-3">https://doi.org/10.1007/978-3-031-46880-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VIII
ent://SD_ILS/0/SD_ILS:521014
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-37126-4">https://doi.org/10.1007/978-3-031-37126-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Multi-Agent Systems 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:521346
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Ciortea, Andrei. editor. Dastani, Mehdi. editor. Luo, Jieting. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-48539-8">https://doi.org/10.1007/978-3-031-48539-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521295
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33163-3">https://doi.org/10.1007/978-3-031-33163-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mobile Web and Intelligent Information Systems 19th International Conference, MobiWIS 2023, Marrakech, Morocco, August 14-16, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521302
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Younas, Muhammad. editor. Awan, Irfan. editor. Grønli, Tor-Morten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-39764-6">https://doi.org/10.1007/978-3-031-39764-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:521306
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Abdelnour Nocera, José. editor. Kristín Lárusdóttir, Marta. editor. Petrie, Helen. editor. Piccinno, Antonio. editor. Winckler, Marco. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42283-6">https://doi.org/10.1007/978-3-031-42283-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learning Technologies and Systems 21st International Conference on Web-Based Learning, ICWL 2022, and 7th International Symposium on Emerging Technologies for Education, SETE 2022, Tenerife, Spain, November 21-23, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:521395
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author González-González, Carina S. editor. Fernández-Manjón, Baltasar. editor. Li, Frederick. editor. García-Peñalvo, Francisco José. editor. Sciarrone, Filippo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33023-0">https://doi.org/10.1007/978-3-031-33023-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Security Practice and Experience 18th International Conference, ISPEC 2023, Copenhagen, Denmark, August 24-25, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521323
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Meng, Weizhi. editor. Yan, Zheng. editor. Piuri, Vincenzo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7032-2">https://doi.org/10.1007/978-981-99-7032-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521324
2025-12-12T03:11:45Z
2025-12-12T03:11:45Z
Author Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7584-6">https://doi.org/10.1007/978-981-99-7584-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>