Search Results for Systems software. - Narrowed by: Electronic LibrarySirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystems$002bsoftware.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026ps$003d300$0026isd$003dtrue?2025-12-11T00:07:51ZEvolving Software Systemsent://SD_ILS/0/SD_ILS:4871212025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Mens, Tom. editor. Serebrenik, Alexander. editor. Cleve, Anthony. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-45398-4">https://doi.org/10.1007/978-3-642-45398-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software and Systems Traceabilityent://SD_ILS/0/SD_ILS:1733972025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Cleland-Huang, Jane. editor. Gotel, Orlena. editor. Zisman, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2239-5">http://dx.doi.org/10.1007/978-1-4471-2239-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Specification of Software Systemsent://SD_ILS/0/SD_ILS:1684762025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Alagar, V.S. author. Periyasamy, K. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-277-3">http://dx.doi.org/10.1007/978-0-85729-277-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fuzzy Logic-Based Software Systemsent://SD_ILS/0/SD_ILS:5286312025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Recommendation Systems in Software Engineeringent://SD_ILS/0/SD_ILS:4882562025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Robillard, Martin P. editor. Maalej, Walid. editor. Walker, Robert J. editor. Zimmermann, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-45135-5">https://doi.org/10.1007/978-3-642-45135-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Gröbner Bases Statistics and Software Systemsent://SD_ILS/0/SD_ILS:3354392025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Hibi, Takayuki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335439.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-4-431-54574-3">http://dx.doi.org/10.1007/978-4-431-54574-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Embedded systems hardware for software engineersent://SD_ILS/0/SD_ILS:2934872025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Lipiansky, Ed.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/embedded-systems-hardware-for-software-engineers">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering for Self-Adaptive Systemsent://SD_ILS/0/SD_ILS:1902352025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Cheng, Betty H. C. editor. Lemos, Rogério. editor. Giese, Holger. editor. Inverardi, Paola. editor. Magee, Jeff. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02161-9">http://dx.doi.org/10.1007/978-3-642-02161-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems and software engineering with applicationsent://SD_ILS/0/SD_ILS:2498132025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Schneidewind, Norman.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5769539">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5769539</a>
IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=5769539">http://ieeexplore.ieee.org/servlet/opac?bknumber=5769539</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Networked RFID Systems, Software and Servicesent://SD_ILS/0/SD_ILS:1757352025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Roussos, George. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-153-4">http://dx.doi.org/10.1007/978-1-84800-153-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Trustworthy systems through quantitative software engineeringent://SD_ILS/0/SD_ILS:2494372025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Bernstein, Lawrence, 1940- Yuhas, C. M. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=5988898">http://ieeexplore.ieee.org/servlet/opac?bknumber=5988898</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Developing Sustainable and Energy-Efficient Software Systemsent://SD_ILS/0/SD_ILS:5206592025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Model-Driven Dependability Assessment of Software Systemsent://SD_ILS/0/SD_ILS:3348122025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Bernardi, Simona. author. Merseguer, José. author. Petriu, Dorina Corina. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334812.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39512-3">http://dx.doi.org/10.1007/978-3-642-39512-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Tools and Algorithms for Biological Systemsent://SD_ILS/0/SD_ILS:1727572025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Arabnia, Hamid R. editor. Tran, Quoc-Nam. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-7046-6">http://dx.doi.org/10.1007/978-1-4419-7046-6</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 Ient://SD_ILS/0/SD_ILS:5203422025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>International Conference on Advanced Intelligent Systems for Sustainable Development Volume 1 - Advanced Intelligent Systems on Artificial Intelligence, Software, and Data Scienceent://SD_ILS/0/SD_ILS:5287962025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Handbook of Re-Engineering Software Intensive Systems into Software Product Linesent://SD_ILS/0/SD_ILS:5202512025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Sensor Systems and Software 13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022, Proceedingsent://SD_ILS/0/SD_ILS:5204572025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5205472025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Designing Modern Embedded Systems: Software, Hardware, and Applications 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedingsent://SD_ILS/0/SD_ILS:5205862025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Development of Safety-Critical Systems Architecture and Softwareent://SD_ILS/0/SD_ILS:5206962025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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 IIent://SD_ILS/0/SD_ILS:5208402025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>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 Ient://SD_ILS/0/SD_ILS:5208432025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>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, Proceedingsent://SD_ILS/0/SD_ILS:5209442025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211572025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>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:5284102025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Applied Computing for Software and Smart Systems Proceedings of ACSS 2023ent://SD_ILS/0/SD_ILS:5290302025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Software Engineering Application in Systems Design Proceedings of 6th Computational Methods in Systems and Software 2022, Volume 1ent://SD_ILS/0/SD_ILS:5269122025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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. 2ent://SD_ILS/0/SD_ILS:5271382025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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 2022ent://SD_ILS/0/SD_ILS:5273082025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Security and Safety Interplay of Intelligent Software Systems ESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4830242025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Hamid, Brahim. editor. Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Shabtai, Asaf. editor. (orcid)0000-0003-0630-4059 Elovici, Yuval. editor. Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-16874-2">https://doi.org/10.1007/978-3-030-16874-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Adaptive Software Systems Communications of NII Shonan Meetingsent://SD_ILS/0/SD_ILS:4833442025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Yu, Yijun. editor. Bandara, Arosha. editor. Honiden, Shinichi. editor. Hu, Zhenjiang. editor. Tamai, Tetsuo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-2185-6">https://doi.org/10.1007/978-981-13-2185-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4840332025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17465-1">https://doi.org/10.1007/978-3-030-17465-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4827462025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17184-1">https://doi.org/10.1007/978-3-030-17184-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4861302025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Gaston, Christophe. editor. (orcid)0000-0001-6865-5108 Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Le Gall, Pascale. editor. (orcid)0000-0002-8955-6835 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31280-0">https://doi.org/10.1007/978-3-030-31280-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4866152025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Peng, Xin. editor. Ampatzoglou, Apostolos. editor. Bhowmik, Tanmay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22888-0">https://doi.org/10.1007/978-3-030-22888-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4870292025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Walker, Alastair. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-28005-5">https://doi.org/10.1007/978-3-030-28005-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Interdisciplinary approaches to information systems and software engineeringent://SD_ILS/0/SD_ILS:4820732025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Mukherjee, Alok Bhushan, 1985- editor. Krishna, Akhouri Pramod, 1962- 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-7784-3">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7784-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lecturesent://SD_ILS/0/SD_ILS:4846162025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17601-3">https://doi.org/10.1007/978-3-030-17601-3</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:4863782025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Software Engineering for Resilient Systems 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4839082025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Calinescu, Radu. editor. (orcid)0000-0002-2678-9260 Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30856-8">https://doi.org/10.1007/978-3-030-30856-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4863042025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17462-0">https://doi.org/10.1007/978-3-030-17462-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applied Computational Intelligence and Mathematical Methods Computational Methods in Systems and Software 2017, vol. 2ent://SD_ILS/0/SD_ILS:3991682025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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-319-67621-0">https://doi.org/10.1007/978-3-319-67621-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4006412025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89963-3">https://doi.org/10.1007/978-3-319-89963-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4006442025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89884-1">https://doi.org/10.1007/978-3-319-89884-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cybernetics Approaches in Intelligent Systems Computational Methods in Systems and Software 2017, vol. 1ent://SD_ILS/0/SD_ILS:4025982025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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-319-67618-0">https://doi.org/10.1007/978-3-319-67618-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems, Software and Services Process Improvement 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3994942025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Larrucea, Xabier. editor. Santamaria, Izaskun. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-97925-0">https://doi.org/10.1007/978-3-319-97925-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Open Source Systems: Enterprise Software and Solutions 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3995712025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Stamelos, Ioannis. editor. Gonzalez-Barahoña, Jesus M. editor. (orcid)0000-0001-9682-460X Varlamis, Iraklis. editor. (orcid)0000-0002-0876-8167 Anagnostopoulos, Dimosthenis. editor. (orcid)0000-0003-0747-4252 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92375-8">https://doi.org/10.1007/978-3-319-92375-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4006052025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89960-2">https://doi.org/10.1007/978-3-319-89960-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Quality: Methods and Tools for Better Software and Systems 10th International Conference, SWQD 2018, Vienna, Austria, January 16–19, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4012112025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71440-0">https://doi.org/10.1007/978-3-319-71440-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Complex, Intelligent, and Software Intensive Systems Proceedings of the 11th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS-2017)ent://SD_ILS/0/SD_ILS:4013792025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Barolli, Leonard. editor. Terzo, Olivier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61566-0">https://doi.org/10.1007/978-3-319-61566-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Secure Software and Systems 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4016542025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Payer, Mathias. editor. Rashid, Awais. editor. Such, Jose M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94496-8">https://doi.org/10.1007/978-3-319-94496-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Human Factors, Software, and Systems Engineering Proceedings of the AHFE 2017 International Conference on Human Factors, Software, and Systems Engineering, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USAent://SD_ILS/0/SD_ILS:4023412025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Ahram, Tareq. editor. Karwowski, Waldemar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60011-6">https://doi.org/10.1007/978-3-319-60011-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approachent://SD_ILS/0/SD_ILS:4025802025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Khan, Muhammad Usman Karim. author. Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61455-7">https://doi.org/10.1007/978-3-319-61455-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lecturesent://SD_ILS/0/SD_ILS:4002632025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02928-9">https://doi.org/10.1007/978-3-030-02928-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3994222025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99927-2">https://doi.org/10.1007/978-3-319-99927-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of system safety and security : cyber risk and risk management, cyber security, threat analysis, functional safety, software systems, and cyber physical systemsent://SD_ILS/0/SD_ILS:4591452025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Griffor, Edward R., editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128037737">http://www.sciencedirect.com/science/book/9780128037737</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Environment modeling-based requirements engineering for software intensive systems.ent://SD_ILS/0/SD_ILS:4599132025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Jin, Zhi, 1962- author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780128019542">https://www.sciencedirect.com/science/book/9780128019542</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Building Intelligent Information Systems Software : Introducing the Unit Modeler Development Technologyent://SD_ILS/0/SD_ILS:4586952025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Feigenbaum, Thomas D., author<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780128051016">https://www.sciencedirect.com/science/book/9780128051016</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Environmental Software Systems. Infrastructures, Services and Applications 11th IFIP WG 5.11 International Symposium, ISESS 2015, Melbourne, VIC, Australia, March 25-27, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5184052025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Denzer, Ralf. editor. Argent, Robert M. editor. Schimak, Gerald. editor. Hřebíček, Jiří. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15994-2">https://doi.org/10.1007/978-3-319-15994-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems, Software and Services Process Improvement 22nd European Conference, EuroSPI 2015, Ankara, Turkey, September 30 -- October 2, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5183452025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor O'Connor, Rory V. editor. Umay Akkaya, Mariye. editor. Kemaneci, Kerem. editor. Yilmaz, Murat. editor. Poth, Alexander. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-24647-5">https://doi.org/10.1007/978-3-319-24647-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Quality. Software and Systems Quality in Distributed and Mobile Environments 7th International Conference, SWQD 2015, Vienna, Austria, January 20-23, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5185612025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Winkler, Dietmar. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13251-8">https://doi.org/10.1007/978-3-319-13251-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model-Integrating Software Components Engineering Flexible Software Systemsent://SD_ILS/0/SD_ILS:5185722025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Derakhshanmanesh, Mahdi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-09646-5">https://doi.org/10.1007/978-3-658-09646-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sensor Systems and Software 5th International Conference, S-CUBE 2014, Coventry, UK, October 6-7, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:5186202025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Kanjo, Eiman. editor. Trossen, Dirk. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-17136-4">https://doi.org/10.1007/978-3-319-17136-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering for Collective Autonomic Systems The ASCENS Approachent://SD_ILS/0/SD_ILS:5187842025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Wirsing, Martin. editor. Hölzl, Matthias. editor. Koch, Nora. editor. Mayer, Philip. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-16310-9">https://doi.org/10.1007/978-3-319-16310-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Secure Software and Systems 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5189242025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Piessens, Frank. editor. Caballero, Juan. editor. Bielova, Nataliia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15618-7">https://doi.org/10.1007/978-3-319-15618-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5190902025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46681-0">https://doi.org/10.1007/978-3-662-46681-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5192372025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Vitek, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46669-8">https://doi.org/10.1007/978-3-662-46669-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineeringent://SD_ILS/0/SD_ILS:5192482025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor De Nicola, Rocco. editor. Hennicker, Rolf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15545-6">https://doi.org/10.1007/978-3-319-15545-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5193112025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Fantechi, Alessandro. editor. Pelliccione, Patrizio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23129-7">https://doi.org/10.1007/978-3-319-23129-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systemsent://SD_ILS/0/SD_ILS:5305652025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-18473-9">https://doi.org/10.1007/978-3-319-18473-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lecturesent://SD_ILS/0/SD_ILS:5190082025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Bernardo, Marco. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-18941-3">https://doi.org/10.1007/978-3-319-18941-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing Software and Systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191272025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor El-Fakih, Khaled. editor. Barlas, Gerassimos. editor. Yevtushenko, Nina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25945-1">https://doi.org/10.1007/978-3-319-25945-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4831002025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54862-8">https://doi.org/10.1007/978-3-642-54862-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedingsent://SD_ILS/0/SD_ILS:4875452025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Schaefer, Ina. editor. Stamelos, Ioannis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14130-5">https://doi.org/10.1007/978-3-319-14130-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design Science Methodology for Information Systems and Software Engineeringent://SD_ILS/0/SD_ILS:4878902025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Wieringa, Roel J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43839-8">https://doi.org/10.1007/978-3-662-43839-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rapid prototyping of software for avionics systems : model-oriented approaches for complex systems certificationent://SD_ILS/0/SD_ILS:3421712025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Larrieu, Nicolas, author. Varet, Antoine, author.<br/>Preferred Shelf Number ONLINE(342171.1)<br/>Electronic Access ebrary <a href="http://alltitles.ebrary.com/Doc?id=10954089">An electronic book accessible through the World Wide Web; click to view</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781119050643">http://dx.doi.org/10.1002/9781119050643</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems, Software and Services Process Improvement 21st European Conference, EuroSPI 2014, Luxembourg, June 25-27, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4827112025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Barafort, Béatrix. editor. O'Connor, Rory V. editor. Poth, Alexander. editor. (orcid)0000-0002-2868-5633 Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43896-1">https://doi.org/10.1007/978-3-662-43896-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4854732025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Jürjens, Jan. editor. Piessens, Frank. editor. Bielova, Nataliia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04897-0">https://doi.org/10.1007/978-3-319-04897-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering for Resilient Systems 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4869152025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Majzik, István. editor. Vieira, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12241-0">https://doi.org/10.1007/978-3-319-12241-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systemsent://SD_ILS/0/SD_ILS:4883312025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Wagner, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-05270-6">https://doi.org/10.1007/978-3-658-05270-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Art of Software Thermal Management for Embedded Systemsent://SD_ILS/0/SD_ILS:4892362025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Benson, Mark. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4939-0298-9">https://doi.org/10.1007/978-1-4939-0298-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering 6th International Conference, SWQD 2014, Vienna, Austria, January 14-16, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4891672025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Bergsmann, Johannes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-03602-1">https://doi.org/10.1007/978-3-319-03602-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lecturesent://SD_ILS/0/SD_ILS:4890352025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07317-0">https://doi.org/10.1007/978-3-319-07317-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4894022025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44857-1">https://doi.org/10.1007/978-3-662-44857-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4894342025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Shao, Zhong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54833-8">https://doi.org/10.1007/978-3-642-54833-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems and Software Quality The next step for industrialisationent://SD_ILS/0/SD_ILS:4894792025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Wieczorek, Martin. author. Vos, Diederik. author. Bons, Heinz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-39971-8">https://doi.org/10.1007/978-3-642-39971-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Open Source Software: Mobile Open Source Technologies 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San José, Costa Rica, May 6-9, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4888812025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Corral, Luis. editor. Sillitti, Alberto. editor. Succi, Giancarlo. editor. Vlasenko, Jelena. editor. Wasserman, Anthony I. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55128-4">https://doi.org/10.1007/978-3-642-55128-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Quality. Increasing Value in Software and Systems Development 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3340332025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Winkler, Dietmar. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334033.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35702-2">http://dx.doi.org/10.1007/978-3-642-35702-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:3340552025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334055.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35813-5">http://dx.doi.org/10.1007/978-3-642-35813-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3342362025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334236.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36563-8">http://dx.doi.org/10.1007/978-3-642-36563-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems and Software Variability Management Concepts, Tools and Experiencesent://SD_ILS/0/SD_ILS:3342402025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Capilla, Rafael. editor. Bosch, Jan. editor. Kang, Kyo-Chul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334240.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36583-6">http://dx.doi.org/10.1007/978-3-642-36583-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3342782025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334278.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36742-7">http://dx.doi.org/10.1007/978-3-642-36742-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3343482025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334348.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37036-6">http://dx.doi.org/10.1007/978-3-642-37036-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lecturesent://SD_ILS/0/SD_ILS:3346882025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334688.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38874-3">http://dx.doi.org/10.1007/978-3-642-38874-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350242025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335024.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40894-6">http://dx.doi.org/10.1007/978-3-642-40894-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Environmental Software Systems. Fostering Information Sharing 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350642025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Hřebíček, Jiří. editor. Schimak, Gerald. editor. Kubásek, Miroslav. editor. Rizzoli, Andrea E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335064.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41151-9">http://dx.doi.org/10.1007/978-3-642-41151-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Planets, Stars and Stellar Systems Volume 2: Astronomical Techniques, Software, and Dataent://SD_ILS/0/SD_ILS:3360202025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Oswalt, Terry D. editor. Bond, Howard E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336020.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-5618-2">http://dx.doi.org/10.1007/978-94-007-5618-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems, Software and Services Process Improvement 20th European Conference, EuroSPI 2013, Dundalk, Ireland, June 25-27, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347442025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor McCaffery, Fergal. editor. O’Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334744.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39179-8">http://dx.doi.org/10.1007/978-3-642-39179-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3351412025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335141.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41707-8">http://dx.doi.org/10.1007/978-3-642-41707-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Lean Enterprise Software and Systems 4th International Conference, LESS 2013, Galway, Ireland, December 1-4, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3351702025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Fitzgerald, Brian. editor. Conboy, Kieran. editor. Power, Ken. editor. Valerdi, Ricardo. editor. Morgan, Lorraine. editor.<br/>Preferred Shelf Number ONLINE(335170.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-44930-7">http://dx.doi.org/10.1007/978-3-642-44930-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Trustworthy Eternal Systems via Evolving Software, Data and Knowledge Second International Workshop, EternalS 2012, Montpellier, France, August 28, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3351982025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Moschitti, Alessandro. editor. Plank, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335198.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45260-4">http://dx.doi.org/10.1007/978-3-642-45260-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multicore Systems On-Chip: Practical Software/Hardware Design 2nd Editionent://SD_ILS/0/SD_ILS:3364952025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Ben Abdallah, Abderazek. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336495.1)<br/>Electronic Access <a href="http://dx.doi.org/10.2991/978-94-91216-92-3">http://dx.doi.org/10.2991/978-94-91216-92-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Using Event-B for Critical Device Software Systemsent://SD_ILS/0/SD_ILS:3311812025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Singh, Neeraj Kumar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331181.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5260-6">http://dx.doi.org/10.1007/978-1-4471-5260-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sensor Systems and Software 4th International ICST Conference, S-Cube 2013, Lucca, Italy, June 11-12, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:3330152025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Zuniga, Marco. editor. Dini, Gianluca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333015.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-04166-7">http://dx.doi.org/10.1007/978-3-319-04166-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sensor Systems and Software Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:1972742025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Martins, Francisco. editor. Lopes, Luís. editor. Paulino, Hervé. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32778-0">http://dx.doi.org/10.1007/978-3-642-32778-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lecturesent://SD_ILS/0/SD_ILS:1970002025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30982-3">http://dx.doi.org/10.1007/978-3-642-30982-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems, Software and Services Process Improvement 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1970382025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Winkler, Dietmar. editor. O’Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31199-4">http://dx.doi.org/10.1007/978-3-642-31199-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973302025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Avgeriou, Paris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33176-3">http://dx.doi.org/10.1007/978-3-642-33176-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1963702025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Barthe, Gilles. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28166-2">http://dx.doi.org/10.1007/978-3-642-28166-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1965262025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28756-5">http://dx.doi.org/10.1007/978-3-642-28756-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents International Workshop AICOL-III, Held as Part of the 25th IVR Congress, Frankfurt am Main, Germany, August 15-16, 2011. Revised Selected Papersent://SD_ILS/0/SD_ILS:1976302025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Palmirani, Monica. editor. Pagallo, Ugo. editor. Casanovas, Pompeu. editor. Sartor, Giovanni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35731-2">http://dx.doi.org/10.1007/978-3-642-35731-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975402025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Nielsen, Brian. editor. Weise, Carsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34691-0">http://dx.doi.org/10.1007/978-3-642-34691-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1965532025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Seidl, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28869-2">http://dx.doi.org/10.1007/978-3-642-28869-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Global Trends in Information Systems and Software Applications 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part IIent://SD_ILS/0/SD_ILS:1966462025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Krishna, P. Venkata. editor. Babu, M. Rajasekhara. editor. Ariwa, Ezendu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29216-3">http://dx.doi.org/10.1007/978-3-642-29216-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Embedded systems security practical methods for safe and secure software and systems developmentent://SD_ILS/0/SD_ILS:1464512025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Kleidermacher, David. Kleidermacher, Mike.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123868862">http://www.sciencedirect.com/science/book/9780123868862</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Technologies for Embedded and Ubiquitous Systems 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1932372025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Min, Sang Lyul. editor. Pettit, Robert. editor. Puschner, Peter. editor. Ungerer, Theo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16256-5">http://dx.doi.org/10.1007/978-3-642-16256-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Secure Software and Systems Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1939432025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Erlingsson, Úlfar. editor. Wieringa, Roel. editor. Zannone, Nicola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19125-1">http://dx.doi.org/10.1007/978-3-642-19125-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computingent://SD_ILS/0/SD_ILS:1943582025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Wirsing, Martin. editor. Hölzl, Matthias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20401-2">http://dx.doi.org/10.1007/978-3-642-20401-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lecturesent://SD_ILS/0/SD_ILS:1947062025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Bernardo, Marco. editor. Issarny, Valérie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21455-4">http://dx.doi.org/10.1007/978-3-642-21455-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Bond Graph Modelling of Engineering Systems Theory, Applications and Software Supportent://SD_ILS/0/SD_ILS:1731902025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Borutzky, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-9368-7">http://dx.doi.org/10.1007/978-1-4419-9368-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systemsent://SD_ILS/0/SD_ILS:1732932025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Verhulst, Eric. author. Boute, Raymond T. author. Faria, José Miguel Sampaio. author. Sputh, Bernhard H.C. author. Mezhuyev, Vitaliy. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-9736-4">http://dx.doi.org/10.1007/978-1-4419-9736-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hardware/Software Architectures for Low-Power Embedded Multimedia Systemsent://SD_ILS/0/SD_ILS:1732802025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-9692-3">http://dx.doi.org/10.1007/978-1-4419-9692-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1949362025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Mohamad Zain, Jasni. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22170-5">http://dx.doi.org/10.1007/978-3-642-22170-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1949432025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22191-0">http://dx.doi.org/10.1007/978-3-642-22191-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:1949472025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22203-0">http://dx.doi.org/10.1007/978-3-642-22203-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems, Software and Service Process Improvement 18th European Conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1949482025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor O‘Connor, Rory V. editor. Pries-Heje, Jan. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22206-1">http://dx.doi.org/10.1007/978-3-642-22206-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Environmental Software Systems. Frameworks of eEnvironment 9th IFIP WG 5.11 International Symposium, ISESS 2011, Brno, Czech Republic, June 27-29, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1949752025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Hřebíček, Jiří. editor. Schimak, Gerald. editor. Denzer, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22285-6">http://dx.doi.org/10.1007/978-3-642-22285-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sensor Systems and Software Second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1953852025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Par, Gerard. editor. Morrow, Philip. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23583-2">http://dx.doi.org/10.1007/978-3-642-23583-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Metadata-driven Software Systems in Biomedicine Designing Systems that can adapt to Changing Knowledgeent://SD_ILS/0/SD_ILS:1685222025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Nadkarni, Prakash M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-510-1">http://dx.doi.org/10.1007/978-0-85729-510-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1941332025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Barthe, Gilles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19718-5">http://dx.doi.org/10.1007/978-3-642-19718-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1941722025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19835-9">http://dx.doi.org/10.1007/978-3-642-19835-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering for Resilient Systems Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1955522025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Troubitsyna, Elena A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24124-6">http://dx.doi.org/10.1007/978-3-642-24124-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1956812025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Wolff, Burkhart. editor. Zaïdi, Fatiha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24580-0">http://dx.doi.org/10.1007/978-3-642-24580-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1946542025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Calinescu, Radu. editor. Jackson, Ethan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21292-5">http://dx.doi.org/10.1007/978-3-642-21292-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design patterns for embedded systems in C an embedded software engineering toolkitent://SD_ILS/0/SD_ILS:1475462025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Douglass, Bruce Powel.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781856177078">http://www.sciencedirect.com/science/book/9781856177078</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1918472025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Gordon, Andrew D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11957-6">http://dx.doi.org/10.1007/978-3-642-11957-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1918572025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12002-2">http://dx.doi.org/10.1007/978-3-642-12002-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Open Source Software: New Horizons 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 – June 2, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1922722025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Ågerfalk, Pär. editor. Boldyreff, Cornelia. editor. González-Barahona, Jesús M. editor. Madey, Gregory R. editor. Noll, John. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13244-5">http://dx.doi.org/10.1007/978-3-642-13244-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems, Software and Services Process Improvement 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1930452025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Riel, Andreas. editor. O’Connor, Rory. editor. Tichkiewitch, Serge. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15666-3">http://dx.doi.org/10.1007/978-3-642-15666-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Lean Enterprise Software and Systems First International Conference, LESS 2010, Helsinki, Finland, October 17-20, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1932872025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Abrahamsson, Pekka. editor. Oza, Nilay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16416-3">http://dx.doi.org/10.1007/978-3-642-16416-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science 4th International Workshop, ONTOSE 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1933142025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Sicilia, Miguel-Angel. editor. Kop, Christian. editor. Sartori, Fabio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16496-5">http://dx.doi.org/10.1007/978-3-642-16496-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1933402025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Petrenko, Alexandre. editor. Simão, Adenilso. editor. Maldonado, José Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16573-3">http://dx.doi.org/10.1007/978-3-642-16573-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Developing Business Application Systems On the Specification and Selection of Software Components and Servicesent://SD_ILS/0/SD_ILS:2019282025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Skroch, Oliver. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8349-8858-4">http://dx.doi.org/10.1007/978-3-8349-8858-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sensor Systems and Software First International ICST Conference, S-CUBE 2009, Pisa, Italy, September 7-9, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1917132025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Hailes, Stephen. editor. Sicari, Sabrina. editor. Roussos, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11528-8">http://dx.doi.org/10.1007/978-3-642-11528-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Secure Software and Systems Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1917902025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Massacci, Fabio. editor. Wallach, Dan. editor. Zannone, Nicola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11747-3">http://dx.doi.org/10.1007/978-3-642-11747-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lecturesent://SD_ILS/0/SD_ILS:1924132025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13678-8">http://dx.doi.org/10.1007/978-3-642-13678-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cyber-Physical Systems Innovation Durch Software-Intensive Eingebettete Systemeent://SD_ILS/0/SD_ILS:1928072025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Broy, Manfred. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14901-6">http://dx.doi.org/10.1007/978-3-642-14901-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multicore Systems On-Chip: Practical Software/Hardware Designent://SD_ILS/0/SD_ILS:2070332025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Abdallah, Abderazek Ben. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.2991/978-94-91216-33-6">http://dx.doi.org/10.2991/978-94-91216-33-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897942025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00768-2">http://dx.doi.org/10.1007/978-3-642-00768-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1896102025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Massacci, Fabio. editor. Redwine, Samuel T. editor. Zannone, Nicola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00199-4">http://dx.doi.org/10.1007/978-3-642-00199-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1913162025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Lee, Sunggu. editor. Narasimhan, Priya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10265-3">http://dx.doi.org/10.1007/978-3-642-10265-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897392025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Castagna, Giuseppe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00590-9">http://dx.doi.org/10.1007/978-3-642-00590-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lecturesent://SD_ILS/0/SD_ILS:1901632025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01918-0">http://dx.doi.org/10.1007/978-3-642-01918-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1902972025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Mirandola, Raffaela. editor. Gorton, Ian. editor. Hofmeister, Christine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02351-4">http://dx.doi.org/10.1007/978-3-642-02351-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1911342025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05031-2">http://dx.doi.org/10.1007/978-3-642-05031-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modelling systems : practical tools and techniques in software developmentent://SD_ILS/0/SD_ILS:5063482025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Fitzgerald, John, 1965- author. Larsen, P. G. (Peter Gorm), 1964- author.<br/>Preferred Shelf Number QA76.76 .D47 F59 2009<br/>Electronic Access <a href="https://doi.org/10.1017/CBO9780511626975">https://doi.org/10.1017/CBO9780511626975</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lecturesent://SD_ILS/0/SD_ILS:1856372025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68894-5">http://dx.doi.org/10.1007/978-3-540-68894-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineeringent://SD_ILS/0/SD_ILS:1703012025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Elleithy, Khaled. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-8735-6">http://dx.doi.org/10.1007/978-1-4020-8735-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1853412025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Mei, Hong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68073-4">http://dx.doi.org/10.1007/978-3-540-68073-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1855002025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Suzuki, Kenji. editor. Higashino, Teruo. editor. Ulrich, Andreas. editor. Hasegawa, Toru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68524-1">http://dx.doi.org/10.1007/978-3-540-68524-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Technologies for Embedded and Ubiquitous Systems 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1889132025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Brinkschulte, Uwe. editor. Givargis, Tony. editor. Russo, Stefano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87785-1">http://dx.doi.org/10.1007/978-3-540-87785-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1882262025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Drossopoulou, Sophia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78739-6">http://dx.doi.org/10.1007/978-3-540-78739-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1882462025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78800-3">http://dx.doi.org/10.1007/978-3-540-78800-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Making of Information Systems Software Engineering and Management in a Globalized Worldent://SD_ILS/0/SD_ILS:1883772025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Kurbel, Karl E. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79261-1">http://dx.doi.org/10.1007/978-3-540-79261-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Interactive Systems Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1888272025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Forbrig, Peter. editor. Paternò, Fabio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85992-5">http://dx.doi.org/10.1007/978-3-540-85992-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software-Intensive Systems and New Computing Paradigms Challenges and Visionsent://SD_ILS/0/SD_ILS:1892672025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Wirsing, Martin. editor. Banâtre, Jean-Pierre. editor. Hölzl, Matthias. editor. Rauschmayer, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89437-7">http://dx.doi.org/10.1007/978-3-540-89437-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software development for embedded multi-core systems a practical guide using embedded Intel architectureent://SD_ILS/0/SD_ILS:1486322025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Domeika, Max.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750685399">http://www.sciencedirect.com/science/book/9780750685399</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modeling and verification of real-time systems formalisms and software toolsent://SD_ILS/0/SD_ILS:2975452025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Merz, Stephan. Navet, Nicolas.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=477643">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=477643</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470611012">http://dx.doi.org/10.1002/9780470611012</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0806/2007045063-b.html">http://catdir.loc.gov/catdir/enhancements/fy0806/2007045063-b.html</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cognitive Radio, Software Defined Radio, and Adaptive Wireless Systemsent://SD_ILS/0/SD_ILS:1695142025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Arslan, Hüseyin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5542-3">http://dx.doi.org/10.1007/978-1-4020-5542-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances and Innovations in Systems, Computing Sciences and Software Engineeringent://SD_ILS/0/SD_ILS:1697362025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Elleithy, Khaled. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6264-3">http://dx.doi.org/10.1007/978-1-4020-6264-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lecturesent://SD_ILS/0/SD_ILS:1865662025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Bernardo, Marco. editor. Hillston, Jane. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72522-0">http://dx.doi.org/10.1007/978-3-540-72522-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering for Multi-Agent Systems V Research Issues and Practical Applicationsent://SD_ILS/0/SD_ILS:1867532025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Choren, Ricardo. editor. Garcia, Alessandro. editor. Giese, Holger. editor. Leung, Ho-fung. editor. Lucena, Carlos. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73131-3">http://dx.doi.org/10.1007/978-3-540-73131-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papersent://SD_ILS/0/SD_ILS:1874702025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Obermaisser, Roman. editor. Nah, Yunmook. editor. Puschner, Peter. editor. Rammig, Franz J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75664-4">http://dx.doi.org/10.1007/978-3-540-75664-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1862132025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71209-1">http://dx.doi.org/10.1007/978-3-540-71209-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1862442025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Nicola, Rocco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71316-6">http://dx.doi.org/10.1007/978-3-540-71316-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1866192025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Lee, Yann-Hang. editor. Kim, Heung-Nam. editor. Kim, Jong. editor. Park, Yongwan. editor. Yang, Laurence T. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72685-2">http://dx.doi.org/10.1007/978-3-540-72685-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1867332025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Petrenko, Alexandre. editor. Veanes, Margus. editor. Tretmans, Jan. editor. Grieskamp, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73066-8">http://dx.doi.org/10.1007/978-3-540-73066-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering 2 Specification of Systems and Languagesent://SD_ILS/0/SD_ILS:1836562025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Bjørner, Dines. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-33193-3">http://dx.doi.org/10.1007/978-3-540-33193-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering for Multi-Agent Systems IV Research Issues and Practical Applicationsent://SD_ILS/0/SD_ILS:1837772025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Garcia, Alessandro. editor. Choren, Ricardo. editor. Lucena, Carlos. editor. Giorgini, Paolo. editor. Holvoet, Tom. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11738817">http://dx.doi.org/10.1007/11738817</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dependable Systems: Software, Computing, Networks Research Results of the DICS Programent://SD_ILS/0/SD_ILS:1844432025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Kohlas, Jürg. editor. Meyer, Bertrand. editor. Schiper, André. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11808107">http://dx.doi.org/10.1007/11808107</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systemsent://SD_ILS/0/SD_ILS:1847352025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Lanza, Michele. author. Marinescu, Radu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-39538-5">http://dx.doi.org/10.1007/3-540-39538-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836172025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Sestoft, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11693024">http://dx.doi.org/10.1007/11693024</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lecturesent://SD_ILS/0/SD_ILS:1840022025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11757283">http://dx.doi.org/10.1007/11757283</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Systems, Computing Sciences and Software Engineering Proceedings of SCSS05ent://SD_ILS/0/SD_ILS:1694142025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Sobh, Tarek. editor. Elleithy, Khaled. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-5263-4">http://dx.doi.org/10.1007/1-4020-5263-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836042025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11691372">http://dx.doi.org/10.1007/11691372</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering Techniques Applied to Agricultural Systems An Object-Oriented and UML Approachent://SD_ILS/0/SD_ILS:1654822025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Papajorgji, Petraq J. author. Pardalos, Panos M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28171-1">http://dx.doi.org/10.1007/0-387-28171-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Open Source Systems IFIP Working Group 2.13 Foundation on Open Source Software, June 8–10, 2006, Como, Italyent://SD_ILS/0/SD_ILS:1660142025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Damiani, Ernesto. editor. Fitzgerald, Brian. editor. Scacchi, Walt. editor. Scotto, Marco. editor. Succi, Giancarlo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-34226-5">http://dx.doi.org/10.1007/0-387-34226-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>DSP software development techniques for embedded and real-time systemsent://SD_ILS/0/SD_ILS:2547252025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Oshana, Robert.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750677592">http://www.sciencedirect.com/science/book/9780750677592</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>COTS-Based Software Systems 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1823842025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Franch, Xavier. editor. Port, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105900">http://dx.doi.org/10.1007/b105900</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering for Multi-Agent Systems III Research Issues and Practical Applicationsent://SD_ILS/0/SD_ILS:1829322025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Choren, Ricardo. editor. Garcia, Alessandro. editor. Lucena, Carlos. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106347">http://dx.doi.org/10.1007/b106347</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1829332025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Kreowski, Hans-Jörg. editor. Montanari, Ugo. editor. Orejas, Fernando. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106390">http://dx.doi.org/10.1007/b106390</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830512025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107194">http://dx.doi.org/10.1007/b107194</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830582025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Sagiv, Mooly. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107380">http://dx.doi.org/10.1007/b107380</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lecturesent://SD_ILS/0/SD_ILS:1830882025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135888">http://dx.doi.org/10.1007/b135888</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>System-level Test and Validation of Hardware/Software Systemsent://SD_ILS/0/SD_ILS:1752722025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Sonza Reorda, Matteo. editor. Peng, Zebo. editor. Violante, Massimo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-145-8">http://dx.doi.org/10.1007/1-84628-145-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Component-Based Software Development for Embedded Systems An Overview of Current Research Trendsent://SD_ILS/0/SD_ILS:1827812025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Atkinson, Colin. editor. Bunse, Christian. editor. Gross, Hans-Gerhard. editor. Peper, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11591962">http://dx.doi.org/10.1007/11591962</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1829092025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Wu, Zhaohui. editor. Chen, Chun. editor. Guo, Minyi. editor. Bu, Jiajun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11535409">http://dx.doi.org/10.1007/11535409</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Embedded Software and Systems Second International Conference, ICESS 2005, Xi’an, China, December 16-18, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1832822025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Yang, Laurence T. editor. Zhou, Xingshe. editor. Zhao, Wei. editor. Wu, Zhaohui. editor. Zhu, Yian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11599555">http://dx.doi.org/10.1007/11599555</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Robust communications software extreme availability, reliability and scalability for carrier-grade systemsent://SD_ILS/0/SD_ILS:2956482025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Utas, Greg. John Wiley & Sons.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/0470011793">http://dx.doi.org/10.1002/0470011793</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Process-aware information systems bridging people and software through process technologyent://SD_ILS/0/SD_ILS:3017902025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Dumas, Marlon. Aalst, Wil van der. Ter Hofstede, Arthur, 1966- John Wiley & Sons.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0621/2005001369-b.html">http://catdir.loc.gov/catdir/enhancements/fy0621/2005001369-b.html</a>
John Wiley <a href="http://dx.doi.org/10.1002/0471741442">http://dx.doi.org/10.1002/0471741442</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Competitive engineering a handbook for systems engineering, requirements engineering, and software engineering using Planguageent://SD_ILS/0/SD_ILS:2544022025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Gilb, Tom. Brodie, Lindsey.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750665070">http://www.sciencedirect.com/science/book/9780750665070</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004ent://SD_ILS/0/SD_ILS:1689202025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Broy, Manfred. editor. Grünbauer, Johannes. editor. Harel, David. editor. Hoare, Tony. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3532-2">http://dx.doi.org/10.1007/1-4020-3532-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software-enabled control information technology for dynamical systemsent://SD_ILS/0/SD_ILS:2494172025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Samad, Tariq. Balas, Gary J.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5237410">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5237410</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software radio architecture object-oriented approaches to wireless systems engineeringent://SD_ILS/0/SD_ILS:3001382025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Mitola, Joseph.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Books24x7 <a href="http://www.books24x7.com/marc.asp?isbn=0471384925">http://www.books24x7.com/marc.asp?isbn=0471384925</a>
Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=2561">http://www.books24x7.com/marc.asp?bookid=2561</a>
Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=152062">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=152062</a>
MyiLibrary, Table of contents <a href="http://www.myilibrary.com?id=36742&ref=toc">http://www.myilibrary.com?id=36742&ref=toc</a>
John Wiley <a href="http://dx.doi.org/10.1002/047121664X">http://dx.doi.org/10.1002/047121664X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Investigating biological systems using modeling strategies and softwareent://SD_ILS/0/SD_ILS:2513932025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Wastney, Meryl E.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780080926452">http://www.sciencedirect.com/science/book/9780080926452</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Semantic Knowledge Modelling via Open Linked Ontologies Ontologies in E-Governanceent://SD_ILS/0/SD_ILS:5288812025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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-Governmentent://SD_ILS/0/SD_ILS:5273292025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Autonomy Requirements Engineering for Space Missionsent://SD_ILS/0/SD_ILS:4856412025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Vassev, Emil. author. Hinchey, Mike. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09816-6">https://doi.org/10.1007/978-3-319-09816-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems With Applications to NASA Intelligent Spacecraft Operations and Exploration Systemsent://SD_ILS/0/SD_ILS:1753312025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Truszkowski, Walt. author. Hallock, Harold. author. Rouff, Christopher. author. Karlin, Jay. author. Rash, James. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105417">http://dx.doi.org/10.1007/b105417</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Semantic Web: Concepts, Technologies and Applicationsent://SD_ILS/0/SD_ILS:1755212025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Breitman, Karin Koogan. author. Casanova, Marco Antonio. author. Truszkowski, Walter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-710-7">http://dx.doi.org/10.1007/978-1-84628-710-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent Technology from a Formal Perspectiveent://SD_ILS/0/SD_ILS:1753552025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Rouff, Christopher A. editor. Hinchey, Michael. editor. Rash, James. editor. Truszkowski, Walter. editor. Gordon-Spears, Diana. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-271-3">http://dx.doi.org/10.1007/1-84628-271-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Aligning Organizations Through Measurement The GQM+Strategies Approachent://SD_ILS/0/SD_ILS:4854712025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Basili, Victor. author. Trendowicz, Adam. author. Kowalczyk, Martin. author. Heidrich, Jens. author. Seaman, Carolyn. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05047-8">https://doi.org/10.1007/978-3-319-05047-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Developmentent://SD_ILS/0/SD_ILS:3333582025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Trendowicz, Adam. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333358.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30764-5">http://dx.doi.org/10.1007/978-3-642-30764-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Process Definition and Managementent://SD_ILS/0/SD_ILS:1955922025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor Münch, Jürgen. author. Armbrust, Ove. author. Kowalczyk, Martin. author. Soto, Martín. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24291-5">http://dx.doi.org/10.1007/978-3-642-24291-5</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, Proceedingsent://SD_ILS/0/SD_ILS:5203432025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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 Impactsent://SD_ILS/0/SD_ILS:5203572025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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 Batteriesent://SD_ILS/0/SD_ILS:5203582025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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 Worldent://SD_ILS/0/SD_ILS:5203592025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5204112025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Knowledge Management in Organisations 17th International Conference, KMO 2023, Bangkok, Thailand, July 24-27, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5204172025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Economics of Grids, Clouds, Systems, and Services 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedingsent://SD_ILS/0/SD_ILS:5209192025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IVent://SD_ILS/0/SD_ILS:5209732025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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, Proceedingsent://SD_ILS/0/SD_ILS:5209802025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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, Proceedingsent://SD_ILS/0/SD_ILS:5209862025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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 Papersent://SD_ILS/0/SD_ILS:5209902025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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, Proceedingsent://SD_ILS/0/SD_ILS:5210012025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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, Proceedingsent://SD_ILS/0/SD_ILS:5210042025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part Vent://SD_ILS/0/SD_ILS:5210112025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VIIIent://SD_ILS/0/SD_ILS:5210142025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Computational Science and Its Applications - ICCSA 2023 23rd International Conference, Athens, Greece, July 3-6, 2023, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5210172025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:5210732025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Proceedings of 3rd International Conference on Artificial Intelligence: Advances and Applications ICAIAA 2022ent://SD_ILS/0/SD_ILS:5286112025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Advances in Microbiology, Infectious Diseases and Public Health Volume 17ent://SD_ILS/0/SD_ILS:5286982025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>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 2023ent://SD_ILS/0/SD_ILS:5291202025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>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 Solutionsent://SD_ILS/0/SD_ILS:5291262025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Advances in Intelligent Systems, Computer Science and Digital Economics IVent://SD_ILS/0/SD_ILS:5290942025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Springer Handbook of Augmented Realityent://SD_ILS/0/SD_ILS:5201762025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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 Computingent://SD_ILS/0/SD_ILS:5201892025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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 Papersent://SD_ILS/0/SD_ILS:5201952025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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, Proceedingsent://SD_ILS/0/SD_ILS:5202502025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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 Ideasent://SD_ILS/0/SD_ILS:5202592025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Smart Technologies, Systems and Applications 3rd International Conference, SmartTech-IC 2022, Cuenca, Ecuador, November 16-18, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5203212025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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 Liveent://SD_ILS/0/SD_ILS:5203352025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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, Proceedingsent://SD_ILS/0/SD_ILS:5204582025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5204932025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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 Devicesent://SD_ILS/0/SD_ILS:5205512025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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 Applicationsent://SD_ILS/0/SD_ILS:5205522025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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 Papersent://SD_ILS/0/SD_ILS:5205582025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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 Ageent://SD_ILS/0/SD_ILS:5205702025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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, Proceedingsent://SD_ILS/0/SD_ILS:5205802025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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 Papersent://SD_ILS/0/SD_ILS:5205992025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiencesent://SD_ILS/0/SD_ILS:5206322025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Understanding Analog Side Channels Using Cryptography Algorithmsent://SD_ILS/0/SD_ILS:5206462025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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 Engineeringent://SD_ILS/0/SD_ILS:5206502025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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 Ient://SD_ILS/0/SD_ILS:5206542025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Current Trends in Web Engineering ICWE 2022 International Workshops, BECS, SWEET and WALS, Bari, Italy, July 5-8, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5206562025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Sustainable Energy for Smart Cities 4th EAI International Conference, SESC 2022, Braga, Portugal, November 16-18, 2022, Proceedingsent://SD_ILS/0/SD_ILS:5206802025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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, Proceedingsent://SD_ILS/0/SD_ILS:5206822025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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, Proceedingsent://SD_ILS/0/SD_ILS:5207202025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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, Proceedingsent://SD_ILS/0/SD_ILS:5207352025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>New Trends in Information and Communications Technology Applications 6th International Conference, NTICT 2022, Baghdad, Iraq, November 16-17, 2022, Proceedingsent://SD_ILS/0/SD_ILS:5207722025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5208122025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>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, Proceedingsent://SD_ILS/0/SD_ILS:5208362025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Internet of Things, Smart Spaces, and Next Generation Networks and Systems 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedingsent://SD_ILS/0/SD_ILS:5208392025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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, Proceedingsent://SD_ILS/0/SD_ILS:5208412025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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 IIent://SD_ILS/0/SD_ILS:5208462025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:5208512025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208572025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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 Papersent://SD_ILS/0/SD_ILS:5208612025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Passive and Active Measurement 24th International Conference, PAM 2023, Virtual Event, March 21-23, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208962025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Foundations and Practice of Security 15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12-14, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5209222025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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, Proceedingsent://SD_ILS/0/SD_ILS:5209272025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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 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 IIent://SD_ILS/0/SD_ILS:5210332025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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 Ient://SD_ILS/0/SD_ILS:5210342025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5210952025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Software Architecture 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18-22, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211302025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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, Proceedingsent://SD_ILS/0/SD_ILS:5211342025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211802025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Stabilization, Safety, and Security of Distributed Systems 25th International Symposium, SSS 2023, Jersey City, NJ, USA, October 2-4, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212102025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212752025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212952025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5213062025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>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, Proceedingsent://SD_ILS/0/SD_ILS:5213102025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Information Security Practice and Experience 18th International Conference, ISPEC 2023, Copenhagen, Denmark, August 24-25, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5213232025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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, Proceedingsent://SD_ILS/0/SD_ILS:5213242025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>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 Ient://SD_ILS/0/SD_ILS:5213512025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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 IIent://SD_ILS/0/SD_ILS:5213522025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5213632025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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 Ient://SD_ILS/0/SD_ILS:5213802025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>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 Papersent://SD_ILS/0/SD_ILS:5213952025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Computer Networks and Inventive Communication Technologies Proceedings of Fifth ICCNCT 2022ent://SD_ILS/0/SD_ILS:5269052025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Information and Communication Technologies and Sustainable Development Advanced Approaches and Innovations in Up-to-Date Networks and Systemsent://SD_ILS/0/SD_ILS:5288092025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Proceedings of Third International Conference on Sustainable Expert Systems ICSES 2022ent://SD_ILS/0/SD_ILS:5287832025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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 and Applications of Artificial Intelligence & Machine Learning Proceedings of ICAAAIML 2022ent://SD_ILS/0/SD_ILS:5289142025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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 Cybersecurityent://SD_ILS/0/SD_ILS:5289362025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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, Polandent://SD_ILS/0/SD_ILS:5290252025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>Solving Fault Diagnosis Problems Linear Synthesis Techniques with Julia Code Examplesent://SD_ILS/0/SD_ILS:5291342025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>ITNG 2023 20th International Conference on Information Technology-New Generationsent://SD_ILS/0/SD_ILS:5269662025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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 Mitigationent://SD_ILS/0/SD_ILS:5271192025-12-11T00:07:51Z2025-12-11T00:07:51ZAuthor 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/>