Search Results for Software engineering. - Narrowed by: Programming Language. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$002bengineering.$0026qf$003dSUBJECT$002509Subject$002509Programming$002bLanguage.$002509Programming$002bLanguage.$0026ps$003d300?dt=list 2026-03-14T21:54:53Z Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:601538 2026-03-14T21:54:53Z 2026-03-14T21:54:53Z Author&#160;Kardas, Geylani. editor. (orcid)0000-0001-6975-305X&#160;Lukovi&#263;, Ivan. editor. (orcid)0000-0003-1319-488X&#160;Mila&scaron;inovi&#263;, Boris. editor. (orcid)0000-0002-7889-3131&#160;Popovi&#263;, Aleksandar. editor. (orcid)0000-0002-6361-7089&#160;Radli&#324;ski, &#321;ukasz. editor. (orcid)0000-0003-1007-6597<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-84913-8">https://doi.org/10.1007/978-3-031-84913-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software, System, and Service Engineering S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17-20 September 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602925 2026-03-14T21:54:53Z 2026-03-14T21:54:53Z Author&#160;Jarz&#281;bowicz, Aleksander. editor.&#160;Lukovi&#263;, Ivan. editor. (orcid)0000-0003-1319-488X&#160;Przyby&#322;ek, Adam. editor.&#160;Staro&#324;, Miros&#322;aw. editor. (orcid)0000-0002-9052-0864&#160;Ahmad, Muhammad Ovais. editor. (orcid)0000-0002-7885-0369<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-51075-5">https://doi.org/10.1007/978-3-031-51075-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:605121 2026-03-14T21:54:53Z 2026-03-14T21:54:53Z Author&#160;Platzer, Andre. editor. (orcid)0000-0001-7238-5710&#160;Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828&#160;Pradella, Matteo. editor. (orcid)0000-0003-3039-1084&#160;Rossi, Matteo. editor. (orcid)0000-0002-9193-9560&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-71177-0">https://doi.org/10.1007/978-3-031-71177-0</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-14T21:54:53Z 2026-03-14T21:54:53Z 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/> Object-based Programming with Go ent://SD_ILS/0/SD_ILS:609332 2026-03-14T21:54:53Z 2026-03-14T21:54:53Z 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/> Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:605095 2026-03-14T21:54:53Z 2026-03-14T21:54:53Z Author&#160;Platzer, Andr&eacute;. editor. (orcid)0000-0001-7238-5710&#160;Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828&#160;Pradella, Matteo. editor. (orcid)0000-0003-3039-1084&#160;Rossi, Matteo. editor. (orcid)0000-0002-9193-9560&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-71162-6">https://doi.org/10.1007/978-3-031-71162-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Managing Software Supply Chains Theory and Practice ent://SD_ILS/0/SD_ILS:607427 2026-03-14T21:54:53Z 2026-03-14T21:54:53Z 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/> Parallel C++ Efficient and Scalable High-Performance Parallel Programming Using HPX ent://SD_ILS/0/SD_ILS:604159 2026-03-14T21:54:53Z 2026-03-14T21:54:53Z 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/> Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603567 2026-03-14T21:54:53Z 2026-03-14T21:54:53Z Author&#160;Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917&#160;Miller, Dale. editor. (orcid)0000-0003-0274-4954&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-2300-3">https://doi.org/10.1007/978-981-97-2300-3</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-14T21:54:53Z 2026-03-14T21:54:53Z 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/> 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-14T21:54:53Z 2026-03-14T21:54:53Z 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/> Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602249 2026-03-14T21:54:53Z 2026-03-14T21:54:53Z Author&#160;Yavorskiy, Rostislav. editor.&#160;Cavalli, Ana Rosa. editor.&#160;Kalenkova, Anna. 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-50423-5">https://doi.org/10.1007/978-3-031-50423-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The French School of Programming ent://SD_ILS/0/SD_ILS:603390 2026-03-14T21:54:53Z 2026-03-14T21:54:53Z Author&#160;Meyer, Bertrand. 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-34518-0">https://doi.org/10.1007/978-3-031-34518-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Challenging Programming in Python: A Problem Solving Perspective ent://SD_ILS/0/SD_ILS:601863 2026-03-14T21:54:53Z 2026-03-14T21:54:53Z Author&#160;Izadkhah, Habib. author. (orcid)0000-0001-7595-8350&#160;Behzadidoost, Rashid. 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-39999-2">https://doi.org/10.1007/978-3-031-39999-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learning C# Through Small Projects ent://SD_ILS/0/SD_ILS:603879 2026-03-14T21:54:53Z 2026-03-14T21:54:53Z Author&#160;Panjuta, Denis. author. (orcid)0009-0001-4855-9300&#160;Jabbarzadeh, Jafar. author. (orcid)0009-0004-3534-795X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-51914-7">https://doi.org/10.1007/978-3-031-51914-7</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-14T21:54:53Z 2026-03-14T21:54:53Z 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/> Programming with Scala Language Exploration ent://SD_ILS/0/SD_ILS:613298 2026-03-14T21:54:53Z 2026-03-14T21:54:53Z Author&#160;Upadhyaya, Bhim 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-319-69368-2">https://doi.org/10.1007/978-3-319-69368-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>