Search Results for Students. - Narrowed by: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dStudents.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list 2026-03-15T21:04:19Z Managing Software Supply Chains Theory and Practice ent://SD_ILS/0/SD_ILS:607427 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Wang, Ying. author.&#160;Cheung, Shing-Chi. author. (orcid)0000-0002-3508-7172&#160;Yu, Hai. author. (orcid)0000-0002-8024-1781&#160;Zhu, Zhiliang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-1797-5">https://doi.org/10.1007/978-981-96-1797-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems Benchmarking For Scientists and Engineers ent://SD_ILS/0/SD_ILS:607716 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Kounev, Samuel. author.&#160;Lange, Klaus-Dieter. author.&#160;von Kistowski, J&oacute;akim. author. (orcid)0000-0002-3046-5373&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-85634-1">https://doi.org/10.1007/978-3-031-85634-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 3 ent://SD_ILS/0/SD_ILS:609917 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Silhavy, Radek. editor.&#160;Silhavy, Petr. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-96380-3">https://doi.org/10.1007/978-3-031-96380-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and System Engineering Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 2 ent://SD_ILS/0/SD_ILS:609873 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Silhavy, Radek. editor.&#160;Silhavy, Petr. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-96759-7">https://doi.org/10.1007/978-3-031-96759-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence for System Oriented Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 1 ent://SD_ILS/0/SD_ILS:609874 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Silhavy, Radek. editor.&#160;Silhavy, Petr. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-96798-6">https://doi.org/10.1007/978-3-031-96798-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 3 ent://SD_ILS/0/SD_ILS:610307 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Silhavy, Radek. editor.&#160;Silhavy, Petr. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-032-00239-6">https://doi.org/10.1007/978-3-032-00239-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering: Emerging Trends and Practices in System Development Proceedings of the 14th Computer Science On-line Conference 2025, Volume 6 ent://SD_ILS/0/SD_ILS:610462 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Silhavy, Radek. editor.&#160;Silhavy, Petr. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-032-00715-5">https://doi.org/10.1007/978-3-032-00715-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science Online Conference 2025, Volume 2 ent://SD_ILS/0/SD_ILS:610629 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Silhavy, Radek. editor.&#160;Silhavy, Petr. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-032-00712-4">https://doi.org/10.1007/978-3-032-00712-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:601811 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Ernst, Gidon. editor. (orcid)0000-0002-3289-5764&#160;G&uuml;demann, Matthias. editor. (orcid)0000-0002-1002-6023&#160;Knapp, Alexander. editor. (orcid)0000-0002-4050-3249&#160;Nafz, Florian. editor. (orcid)0000-0001-5725-4827&#160;Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-92196-4">https://doi.org/10.1007/978-3-031-92196-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Blockchain Transaction Data Analytics Complex Network Approaches ent://SD_ILS/0/SD_ILS:605820 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Wu, Jiajing. editor. (orcid)0000-0001-5155-8547&#160;Lin, Dan. editor. (orcid)0000-0001-7067-2396&#160;Zheng, Zibin. editor. (orcid)0000-0002-7878-4330&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-4430-5">https://doi.org/10.1007/978-981-97-4430-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Understanding Modelling and Programming ent://SD_ILS/0/SD_ILS:606763 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Prinz, Andreas. author. (orcid)0000-0002-0646-2877&#160;M&oslash;ller-Pedersen, Birger. author. (orcid)0000-0003-2123-3260&#160;Fischer, Joachim. author. (orcid)0000-0003-2476-3996&#160;Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-71280-7">https://doi.org/10.1007/978-3-031-71280-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 5 ent://SD_ILS/0/SD_ILS:609705 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Silhavy, Radek. editor.&#160;Silhavy, Petr. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-96775-7">https://doi.org/10.1007/978-3-031-96775-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III ent://SD_ILS/0/SD_ILS:609023 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Jansen, Nils. editor. (orcid)0000-0003-1318-8973&#160;Junges, Sebastian. editor. (orcid)0000-0003-0978-8466&#160;Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324&#160;Matheja, Christoph. editor. (orcid)0000-0001-9151-0441&#160;Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-75778-5">https://doi.org/10.1007/978-3-031-75778-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Object-based Programming with Go ent://SD_ILS/0/SD_ILS:609332 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Maurer, Christian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-44704-5">https://doi.org/10.1007/978-3-658-44704-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 4 ent://SD_ILS/0/SD_ILS:609706 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Silhavy, Radek. editor.&#160;Silhavy, Petr. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-032-03406-9">https://doi.org/10.1007/978-3-032-03406-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II ent://SD_ILS/0/SD_ILS:605987 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Jansen, Nils. editor. (orcid)0000-0003-1318-8973&#160;Junges, Sebastian. editor. (orcid)0000-0003-0978-8466&#160;Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324&#160;Matheja, Christoph. editor. (orcid)0000-0001-9151-0441&#160;Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-75775-4">https://doi.org/10.1007/978-3-031-75775-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I ent://SD_ILS/0/SD_ILS:605988 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Jansen, Nils. editor. (orcid)0000-0003-1318-8973&#160;Junges, Sebastian. editor. (orcid)0000-0003-0978-8466&#160;Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324&#160;Matheja, Christoph. editor. (orcid)0000-0001-9151-0441&#160;Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-75783-9">https://doi.org/10.1007/978-3-031-75783-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook on Natural Language Processing for Requirements Engineering ent://SD_ILS/0/SD_ILS:607547 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Ferrari, Alessio. editor. (orcid)0000-0002-0636-5663&#160;Ginde, Gouri. editor. (orcid)0000-0001-7519-3503&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-73143-3">https://doi.org/10.1007/978-3-031-73143-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday ent://SD_ILS/0/SD_ILS:607700 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Lee, Edward A. editor. (orcid)0000-0002-5663-0584&#160;Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794&#160;Talcott, Carolyn. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-85134-6">https://doi.org/10.1007/978-3-031-85134-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Software Project Management ent://SD_ILS/0/SD_ILS:608256 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;O'Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-80578-3">https://doi.org/10.1007/978-3-031-80578-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Compiler Construction Fundamentals and Applications ent://SD_ILS/0/SD_ILS:608277 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;M&ouml;ssenb&ouml;ck, Hanspeter. author. (orcid)0000-0001-7706-7308&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-84813-1">https://doi.org/10.1007/978-3-031-84813-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Performance Engineering Learning Through Applications Using JMT ent://SD_ILS/0/SD_ILS:601766 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Serazzi, Giuseppe. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-36763-2">https://doi.org/10.1007/978-3-031-36763-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Perspectives in Software Engineering ent://SD_ILS/0/SD_ILS:602627 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Mej&iacute;a, Jezreel. editor. (orcid)0000-0003-0292-9318&#160;Mu&ntilde;oz, Mirna. editor.&#160;Rocha, Alvaro. editor. (orcid)0000-0002-0750-8187&#160;Hern&aacute;ndez P&eacute;rez, Yasmin. editor. (orcid)0000-0002-8842-0899&#160;Avila-George, Himer. editor. (orcid)0000-0001-8578-0170<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-50590-4">https://doi.org/10.1007/978-3-031-50590-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structures of Computing A Guide to Practice-Oriented Theory ent://SD_ILS/0/SD_ILS:602773 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;B&ouml;rger, Egon. author.&#160;Gervasi, Vincenzo. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-54358-6">https://doi.org/10.1007/978-3-031-54358-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Infrared Small Target Detection Theory, Methods, and Algorithms. ent://SD_ILS/0/SD_ILS:603099 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Zhu, Hu. author.&#160;Pan, Yushan. author. (orcid)0000-0002-6877-3937&#160;Deng, Lizhen. author.&#160;Xu, Guoxia. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-9799-2">https://doi.org/10.1007/978-981-99-9799-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolution of STEM-Driven Computer Science Education The Perspective of Big Concepts ent://SD_ILS/0/SD_ILS:602236 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;&Scaron;tuikys, Vytautas. author.&#160;Burbait&#279;, Renata. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-48235-9">https://doi.org/10.1007/978-3-031-48235-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ethical and Legal Aspects of Computing A Professional Perspective from Software Engineering ent://SD_ILS/0/SD_ILS:603014 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;O'Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-52664-0">https://doi.org/10.1007/978-3-031-52664-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Information Systems Interoperability Data, Services, and Processes ent://SD_ILS/0/SD_ILS:603270 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Rinderle-Ma, Stefanie. author. (orcid)0000-0001-5656-6108&#160;Mangler, J&uuml;rgen. author.&#160;Ritter, Daniel. author. (orcid)0000-0001-6146-3365&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-48322-6">https://doi.org/10.1007/978-3-031-48322-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove ent://SD_ILS/0/SD_ILS:602163 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Moraz&aacute;n, Marco T. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-43973-5">https://doi.org/10.1007/978-3-031-43973-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Disruptive Information Technologies for a Smart Society Proceedings of the 13th International Conference on Information Society and Technology (ICIST) ent://SD_ILS/0/SD_ILS:602467 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Trajanovic, Miroslav. editor.&#160;Filipovic, Nenad. editor. (orcid)0000-0001-9964-5615&#160;Zdravkovic, Milan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-50755-7">https://doi.org/10.1007/978-3-031-50755-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Exception Handling Fundamentals and Programming ent://SD_ILS/0/SD_ILS:602488 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Mejia Alvarez, Pedro. author.&#160;Gonzalez Torres, Raul E. author.&#160;Ortega Cisneros, Susana. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-50681-9">https://doi.org/10.1007/978-3-031-50681-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learn coding with Python and JavaScript A practical introduction for beginners ent://SD_ILS/0/SD_ILS:604231 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Zuckarelli, Joachim L. author. (orcid)0000-0002-9280-3016&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-42912-6">https://doi.org/10.1007/978-3-658-42912-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Understanding the Digital World Modeling with HERAKLIT ent://SD_ILS/0/SD_ILS:604947 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Fettke, Peter. author.&#160;Reisig, Wolfgang. author. (orcid)0000-0002-7026-2810&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-61898-7">https://doi.org/10.1007/978-3-031-61898-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement ent://SD_ILS/0/SD_ILS:604956 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Foster, Simon. editor. (orcid)0000-0002-9889-9514&#160;Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-67114-2">https://doi.org/10.1007/978-3-031-67114-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Disruptive Information Technologies for a Smart Society Proceedings of the 14th International Conference on Information Society and Technology (ICIST) ent://SD_ILS/0/SD_ILS:605380 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Trajanovi&#263;, Miroslav. editor.&#160;Filipovi&#263;, Nenad. editor. (orcid)0000-0001-9964-5615&#160;Zdravkovi&#263;, Milan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-71419-1">https://doi.org/10.1007/978-3-031-71419-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architectures Topics Usually Missed in Textbooks ent://SD_ILS/0/SD_ILS:603356 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Nagl, Manfred. author.&#160;Westfechtel, Bernhard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-51335-0">https://doi.org/10.1007/978-3-031-51335-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel C++ Efficient and Scalable High-Performance Parallel Programming Using HPX ent://SD_ILS/0/SD_ILS:604159 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Diehl, Patrick. author.&#160;Brandt, Steven R. author.&#160;Kaiser, Hartmut. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-54369-2">https://doi.org/10.1007/978-3-031-54369-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Engineering of Digital Twins ent://SD_ILS/0/SD_ILS:604841 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Fitzgerald, John. editor. (orcid)0000-0001-7041-1807&#160;Gomes, Cl&aacute;udio. editor. (orcid)0000-0003-2692-9742&#160;Larsen, Peter Gorm. editor. (orcid)0000-0002-4589-1500&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-66719-0">https://doi.org/10.1007/978-3-031-66719-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet Computing Principles of Distributed Systems and Emerging Internet-Based Technologies ent://SD_ILS/0/SD_ILS:604850 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Sunyaev, Ali. author. (orcid)0000-0002-4353-8519&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-61014-1">https://doi.org/10.1007/978-3-031-61014-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Experimentation in Software Engineering ent://SD_ILS/0/SD_ILS:605033 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Wohlin, Claes. author.&#160;Runeson, Per. author.&#160;H&ouml;st, Martin. author.&#160;Ohlsson, Magnus C. author.&#160;Regnell, Bj&ouml;rn. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-69306-3">https://doi.org/10.1007/978-3-662-69306-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Thinking First Algorithms, Then Code ent://SD_ILS/0/SD_ILS:605493 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Ferragina, Paolo. author.&#160;Luccio, Fabrizio. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-59922-4">https://doi.org/10.1007/978-3-031-59922-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolving software processes : trends and future directions ent://SD_ILS/0/SD_ILS:597323 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Khan, Arif Ali, editor.&#160;Le, Dac-Nhuong, 1983- editor.<br/>Preferred Shelf Number&#160;QA76.76 .D47<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821779">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821779</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems engineering of software-enabled systems ent://SD_ILS/0/SD_ILS:595142 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Fairley, R. E. (Richard E.), 1937- author.<br/>Preferred Shelf Number&#160;QA76.758<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119535041">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119535041</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> String Analysis for Software Verification and Security ent://SD_ILS/0/SD_ILS:611157 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Bultan, Tevfik. author.&#160;Yu, Fang. author.&#160;Alkhalaf, Muath. author.&#160;Aydin, Abdulbaki. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-68670-7">https://doi.org/10.1007/978-3-319-68670-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Self-Aware Computing Systems ent://SD_ILS/0/SD_ILS:611535 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Kounev, Samuel. editor.&#160;Kephart, Jeffrey O. editor.&#160;Milenkoski, Aleksandar. editor.&#160;Zhu, Xiaoyun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-47474-8">https://doi.org/10.1007/978-3-319-47474-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Distributed Simulation with HLA ent://SD_ILS/0/SD_ILS:611689 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Top&ccedil;u, Okan. author.&#160;O&#287;uzt&uuml;z&uuml;n, Halit. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-61267-6">https://doi.org/10.1007/978-3-319-61267-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Hardware/Software Codesign ent://SD_ILS/0/SD_ILS:612453 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Ha, Soonhoi. editor.&#160;Teich, J&uuml;rgen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-94-017-7267-9">https://doi.org/10.1007/978-94-017-7267-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Cities The Internet of Things, People and Systems ent://SD_ILS/0/SD_ILS:612502 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Dustdar, Schahram. author.&#160;Nasti&#263;, Stefan. author.&#160;&Scaron;&#263;eki&#263;, Ognjen. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-60030-7">https://doi.org/10.1007/978-3-319-60030-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools ent://SD_ILS/0/SD_ILS:612946 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Mahmood, Zaigham. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-54325-3">https://doi.org/10.1007/978-3-319-54325-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mastering Software Variability with FeatureIDE ent://SD_ILS/0/SD_ILS:613525 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Meinicke, Jens. author.&#160;Th&uuml;m, Thomas. author.&#160;Schr&ouml;ter, Reimar. author.&#160;Benduhn, Fabian. author.&#160;Leich, Thomas. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-61443-4">https://doi.org/10.1007/978-3-319-61443-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cloud Service Benchmarking Measuring Quality of Cloud Services from a Client Perspective ent://SD_ILS/0/SD_ILS:614363 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Bermbach, David. author.&#160;Wittern, Erik. author.&#160;Tai, Stefan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-55483-9">https://doi.org/10.1007/978-3-319-55483-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automotive Software Architectures An Introduction ent://SD_ILS/0/SD_ILS:615838 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Staron, Miroslaw. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-58610-6">https://doi.org/10.1007/978-3-319-58610-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Modeling with UML Code Generation, Testing, Refactoring ent://SD_ILS/0/SD_ILS:617166 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Rumpe, Bernhard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-58862-9">https://doi.org/10.1007/978-3-319-58862-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications ent://SD_ILS/0/SD_ILS:617536 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;O'Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-64021-1">https://doi.org/10.1007/978-3-319-64021-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering ent://SD_ILS/0/SD_ILS:617792 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Dick, Jeremy. author.&#160;Hull, Elizabeth. author.&#160;Jackson, Ken. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-61073-3">https://doi.org/10.1007/978-3-319-61073-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Service Implementation and Composition Techniques ent://SD_ILS/0/SD_ILS:617819 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Paik, Hye-young. author.&#160;Lemos, Angel Lagares. author.&#160;Barukh, Moshe Chai. author.&#160;Benatallah, Boualem. author.&#160;Natarajan, Aarthi. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-55542-3">https://doi.org/10.1007/978-3-319-55542-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Secure System Modelling ent://SD_ILS/0/SD_ILS:617827 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Matulevi&#269;ius, Raimundas. author. (orcid)0000-0002-1829-4794&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-61717-6">https://doi.org/10.1007/978-3-319-61717-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Essence of Systems Analysis and Design A Workbook Approach ent://SD_ILS/0/SD_ILS:617835 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Sajja, Priti Srinivas. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-5128-9">https://doi.org/10.1007/978-981-10-5128-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concise Guide to Software Engineering From Fundamentals to Application Methods ent://SD_ILS/0/SD_ILS:617836 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;O'Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-57750-0">https://doi.org/10.1007/978-3-319-57750-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures ent://SD_ILS/0/SD_ILS:617841 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140&#160;Liu, Zhiming. editor. (orcid)0000-0001-9771-3071&#160;Zhang, Zili. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-56841-6">https://doi.org/10.1007/978-3-319-56841-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Load Modelling and Generation in IP-based Networks A Unified Approach and Tool Support ent://SD_ILS/0/SD_ILS:617851 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Kolesnikov, Andrey. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-19102-3">https://doi.org/10.1007/978-3-658-19102-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:617856 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926&#160;Langerak, Rom. editor.&#160;Rensink, Arend. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-68270-9">https://doi.org/10.1007/978-3-319-68270-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2016: Parallel Processing Workshops Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613725 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Desprez, Fr&eacute;d&eacute;ric. editor.&#160;Dutot, Pierre-Fran&ccedil;ois. editor.&#160;Kaklamanis, Christos. editor.&#160;Marchal, Loris. editor.&#160;Molitorisz, Korbinian. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-58943-5">https://doi.org/10.1007/978-3-319-58943-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2015 ent://SD_ILS/0/SD_ILS:614156 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Ao, Sio-Iong. editor.&#160;Kim, Haeng Kon. editor.&#160;Amouzegar, Mahyar A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-2717-8">https://doi.org/10.1007/978-981-10-2717-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2016 ent://SD_ILS/0/SD_ILS:615301 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Ao, Sio-Iong. editor.&#160;Kim, Haeng Kon. editor.&#160;Huang, Xu. editor.&#160;Castillo, Oscar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-3950-8">https://doi.org/10.1007/978-981-10-3950-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Process Algebras for Petri Nets The Alphabetization of Distributed Systems ent://SD_ILS/0/SD_ILS:615659 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Gorrieri, Roberto. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-55559-1">https://doi.org/10.1007/978-3-319-55559-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming in HTML and PHP Coding for Scientists and Engineers ent://SD_ILS/0/SD_ILS:611023 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Brooks, David R. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-56973-4">https://doi.org/10.1007/978-3-319-56973-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611615 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Menzies, Tim. editor.&#160;Petke, Justyna. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66299-2">https://doi.org/10.1007/978-3-319-66299-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Source Code Modularization Theory and Techniques ent://SD_ILS/0/SD_ILS:613135 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Isazadeh, Ayaz. author.&#160;Izadkhah, Habib. author. (orcid)0000-0001-7595-8350&#160;Elgedawy, Islam. author. (orcid)0000-0002-9884-1590&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-63346-6">https://doi.org/10.1007/978-3-319-63346-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ICT Education 46th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2017, Magaliesburg, South Africa, July 3-5, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613148 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Liebenberg, Janet. editor.&#160;Gruner, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-69670-6">https://doi.org/10.1007/978-3-319-69670-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unraveling Software Maintenance and Evolution Thinking Outside the Box ent://SD_ILS/0/SD_ILS:613157 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Varga, Ervin. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-71303-8">https://doi.org/10.1007/978-3-319-71303-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering for Service and Cloud Computing ent://SD_ILS/0/SD_ILS:613919 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Ramachandran, Muthu. editor.&#160;Mahmood, Zaigham. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-51310-2">https://doi.org/10.1007/978-3-319-51310-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models of Computation ent://SD_ILS/0/SD_ILS:616061 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Bruni, Roberto. author.&#160;Montanari, Ugo. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-42900-7">https://doi.org/10.1007/978-3-319-42900-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> QoS Prediction in Cloud and Service Computing Approaches and Applications ent://SD_ILS/0/SD_ILS:616781 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Zhang, Yilei. author.&#160;Lyu, Michael R. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-5278-1">https://doi.org/10.1007/978-981-10-5278-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Quality Assurance Consistency in the Face of Complexity and Change ent://SD_ILS/0/SD_ILS:617489 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Walkinshaw, Neil. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-64822-4">https://doi.org/10.1007/978-3-319-64822-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bridging the Gap between Requirements Engineering and Software Architecture A Problem-Oriented and Quality-Driven Method ent://SD_ILS/0/SD_ILS:617804 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Alebrahim, Azadeh. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-17694-5">https://doi.org/10.1007/978-3-658-17694-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Software Testing ent://SD_ILS/0/SD_ILS:614531 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Mohanty, Hrushikesha. editor.&#160;Mohanty, J. R. editor.&#160;Balakrishnan, Arunkumar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-1415-4">https://doi.org/10.1007/978-981-10-1415-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise Architecture at Work Modelling, Communication and Analysis ent://SD_ILS/0/SD_ILS:614629 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Lankhorst, Marc. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-53933-0">https://doi.org/10.1007/978-3-662-53933-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pervasive Computing Engineering Smart Systems ent://SD_ILS/0/SD_ILS:617371 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Silvis-Cividjian, Natalia. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-51655-4">https://doi.org/10.1007/978-3-319-51655-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analyzing Time Interval Data Introducing an Information System for Time Interval Data Analysis ent://SD_ILS/0/SD_ILS:610680 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Meisen, Philipp. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-15728-9">https://doi.org/10.1007/978-3-658-15728-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Modeling and Simulation in Business System Design ent://SD_ILS/0/SD_ILS:611168 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Roubtsova, Ella. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15102-1">https://doi.org/10.1007/978-3-319-15102-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence and Quantitative Software Engineering ent://SD_ILS/0/SD_ILS:611266 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Pedrycz, Witold. editor.&#160;Succi, Giancarlo. editor.&#160;Sillitti, Alberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-25964-2">https://doi.org/10.1007/978-3-319-25964-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Web Data Management: Software Architectures and Emerging Technologies ent://SD_ILS/0/SD_ILS:611281 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Ma, Kun. author.&#160;Abraham, Ajith. author. (orcid)0000-0002-0169-6738&#160;Yang, Bo. author.&#160;Sun, Runyuan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-30192-1">https://doi.org/10.1007/978-3-319-30192-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination of Complex Sociotechnical Systems Self-organisation of Knowledge in MoK ent://SD_ILS/0/SD_ILS:611371 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Mariani, Stefano. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-47109-9">https://doi.org/10.1007/978-3-319-47109-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Critical Infrastructures: Risk and Vulnerability Assessment in Transportation of Dangerous Goods Transportation by Road and Rail ent://SD_ILS/0/SD_ILS:612068 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Vamanu, Bogdan I. author.&#160;Gheorghe, Adrian V. author.&#160;Katina, Polinpapilinho F. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-30931-6">https://doi.org/10.1007/978-3-319-30931-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Understanding Control Flow Concurrent Programming Using &mu;C++ ent://SD_ILS/0/SD_ILS:612212 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Buhr, Peter A. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-25703-7">https://doi.org/10.1007/978-3-319-25703-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> OSS Reliability Measurement and Assessment ent://SD_ILS/0/SD_ILS:612396 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Yamada, Shigeru. author.&#160;Tamura, Yoshinobu. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-31818-9">https://doi.org/10.1007/978-3-319-31818-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Variation Based Dense 3D Reconstruction Application on Monocular Mini-Laparoscopic Sequences ent://SD_ILS/0/SD_ILS:612584 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Painer, Sven. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-12698-8">https://doi.org/10.1007/978-3-658-12698-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2015 ent://SD_ILS/0/SD_ILS:613610 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Yang, Gi-Chul. editor.&#160;Ao, Sio-Iong. editor.&#160;Huang, Xu. editor.&#160;Castillo, Oscar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-0551-0">https://doi.org/10.1007/978-981-10-0551-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Autonomic Road Transport Support Systems ent://SD_ILS/0/SD_ILS:615542 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;McCluskey, Thomas Leo. editor.&#160;Kotsialos, Apostolos. editor.&#160;M&uuml;ller, J&ouml;rg P. editor.&#160;Kl&uuml;gl, Franziska. editor.&#160;Rana, Omer. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-25808-9">https://doi.org/10.1007/978-3-319-25808-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture in Action Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard ent://SD_ILS/0/SD_ILS:617519 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Oquendo, Flavio. author.&#160;Leite, Jair. author.&#160;Batista, Tha&iacute;s. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-44339-3">https://doi.org/10.1007/978-3-319-44339-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Instruction Selection Principles, Methods, and Applications ent://SD_ILS/0/SD_ILS:617666 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Hjort Blindell, Gabriel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-34019-7">https://doi.org/10.1007/978-3-319-34019-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Process Mining Data Science in Action ent://SD_ILS/0/SD_ILS:617779 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;van der Aalst, Wil M. P. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-49851-4">https://doi.org/10.1007/978-3-662-49851-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs ent://SD_ILS/0/SD_ILS:617799 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Herdt, Vladimir. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-12680-3">https://doi.org/10.1007/978-3-658-12680-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Description and Selection of Communication Services for Service Oriented Network Architectures ent://SD_ILS/0/SD_ILS:617834 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Khondoker, Rahamatullah. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-12742-8">https://doi.org/10.1007/978-3-658-12742-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Domain-Specific Conceptual Modeling Concepts, Methods and Tools ent://SD_ILS/0/SD_ILS:613986 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Karagiannis, Dimitris. editor.&#160;Mayr, Heinrich C. editor.&#160;Mylopoulos, John. editor. (orcid)0000-0002-8698-3292&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-39417-6">https://doi.org/10.1007/978-3-319-39417-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quality in Business Process Modeling ent://SD_ILS/0/SD_ILS:614181 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Krogstie, John. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-42512-2">https://doi.org/10.1007/978-3-319-42512-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Behavioural Models From Modelling Finite Automata to Analysing Business Processes ent://SD_ILS/0/SD_ILS:614579 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Kunze, Matthias. author.&#160;Weske, Mathias. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-44960-9">https://doi.org/10.1007/978-3-319-44960-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontier Computing Theory, Technologies and Applications ent://SD_ILS/0/SD_ILS:614931 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Hung, Jason C. editor.&#160;Yen, Neil Y. editor.&#160;Li, Kuan-Ching. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-0539-8">https://doi.org/10.1007/978-981-10-0539-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Control Modes on Mobile Software Platforms Empirical Studies on the Importance of Informal Control ent://SD_ILS/0/SD_ILS:612130 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Goldbach, Tobias. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-14893-5">https://doi.org/10.1007/978-3-658-14893-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deductive Software Verification - The KeY Book From Theory to Practice ent://SD_ILS/0/SD_ILS:616009 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Ahrendt, Wolfgang. editor.&#160;Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291&#160;Bubel, Richard. editor.&#160;H&auml;hnle, Reiner. editor.&#160;Schmitt, Peter H. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-49812-6">https://doi.org/10.1007/978-3-319-49812-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Managing Software Process Evolution Traditional, Agile and Beyond - How to Handle Process Change ent://SD_ILS/0/SD_ILS:611322 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Kuhrmann, Marco. editor.&#160;M&uuml;nch, J&uuml;rgen. editor.&#160;Richardson, Ita. editor.&#160;Rausch, Andreas. editor.&#160;Zhang, He. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-31545-4">https://doi.org/10.1007/978-3-319-31545-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling with UML Language, Concepts, Methods ent://SD_ILS/0/SD_ILS:612868 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Rumpe, Bernhard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-33933-7">https://doi.org/10.1007/978-3-319-33933-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Architecture An Ordinary Engineering Discipline ent://SD_ILS/0/SD_ILS:612989 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Paul, Wolfgang J. author.&#160;Baumann, Christoph. author.&#160;Lutsyk, Petro. author.&#160;Schmaltz, Sabine. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-43065-2">https://doi.org/10.1007/978-3-319-43065-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Developers as Users Semiotic Investigations in Human-Centered Software Development ent://SD_ILS/0/SD_ILS:614418 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Sieckenius de Souza, Clarisse. author.&#160;Fontoura de Gusm&atilde;o Cerqueira, Renato. author.&#160;Marques Afonso, Luiz. author.&#160;Rossi de Mello Brand&atilde;o, Rafael. author.&#160;Soares Jansen Ferreira, Juliana. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-42831-4">https://doi.org/10.1007/978-3-319-42831-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Research, Management and Applications ent://SD_ILS/0/SD_ILS:614083 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Lee, Roger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-33903-0">https://doi.org/10.1007/978-3-319-33903-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architectural Design Conception and Specification of Interactive Systems ent://SD_ILS/0/SD_ILS:617028 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Vissers, Chris A. author.&#160;Pires, Lu&iacute;s Ferreira. author.&#160;Quartel, Dick A.C. author.&#160;van Sinderen, Marten. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-43298-4">https://doi.org/10.1007/978-3-319-43298-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Big Data Technologies and Applications ent://SD_ILS/0/SD_ILS:614642 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Furht, Borko. author.&#160;Villanustre, Flavio. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-44550-2">https://doi.org/10.1007/978-3-319-44550-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Engineering Technologies ent://SD_ILS/0/SD_ILS:616697 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Ao, Sio-Iong. editor.&#160;Yang, Gi-Chul. editor.&#160;Gelman, Len. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-1088-0">https://doi.org/10.1007/978-981-10-1088-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Signal processing with free software practical experiments ent://SD_ILS/0/SD_ILS:341600 2026-03-15T21:04:19Z 2026-03-15T21:04:19Z Author&#160;Auger, Fran&ccedil;ois.<br/>Preferred Shelf Number&#160;ONLINE(341600.1)<br/>Electronic Access&#160;Ebook Library <a href="http://public.eblib.com/choice/publicfullrecord.aspx?p=1637657">http://public.eblib.com/choice/publicfullrecord.aspx?p=1637657</a> John Wiley <a href="http://onlinelibrary.wiley.com/book/10.1002/9781118579619">http://onlinelibrary.wiley.com/book/10.1002/9781118579619</a> John Wiley <a href="http://dx.doi.org/10.1002/9781118579619">http://dx.doi.org/10.1002/9781118579619</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>