Search Results for Programming Language. - Narrowed by: Programming Language. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProgramming$002bLanguage.$0026qf$003dSUBJECT$002509Subject$002509Programming$002bLanguage.$002509Programming$002bLanguage.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list 2026-03-14T04:40:53Z Programming with Scala Language Exploration ent://SD_ILS/0/SD_ILS:613298 2026-03-14T04:40:53Z 2026-03-14T04:40: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/> 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-14T04:40:53Z 2026-03-14T04:40: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/> Object-based Programming with Go ent://SD_ILS/0/SD_ILS:609332 2026-03-14T04:40:53Z 2026-03-14T04:40: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/> The Python Workbook A Brief Introduction with Exercises and Solutions ent://SD_ILS/0/SD_ILS:609375 2026-03-14T04:40:53Z 2026-03-14T04:40:53Z Author&#160;Stephenson, Ben. 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-84560-4">https://doi.org/10.1007/978-3-031-84560-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CLOUD Computing - CLOUD 2024 17th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings ent://SD_ILS/0/SD_ILS:606047 2026-03-14T04:40:53Z 2026-03-14T04:40:53Z Author&#160;Wang, Yang. editor.&#160;Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-77153-8">https://doi.org/10.1007/978-3-031-77153-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:606890 2026-03-14T04:40:53Z 2026-03-14T04:40:53Z Author&#160;Hemann, Jason. editor. (orcid)0000-0002-5405-2936&#160;Chang, Stephen. editor. (orcid)0000-0002-4760-0658&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-74558-4">https://doi.org/10.1007/978-3-031-74558-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Economics of Grids, Clouds, Systems, and Services 20th International Conference, GECON 2024, Rome, Italy, September 26-27, 2024, Proceedings ent://SD_ILS/0/SD_ILS:607157 2026-03-14T04:40:53Z 2026-03-14T04:40:53Z Author&#160;Naldi, Maurizio. editor. (orcid)0000-0002-0903-398X&#160;Djemame, Karim. editor. (orcid)0000-0001-5811-5263&#160;Altmann, J&ouml;rn. editor. (orcid)0000-0002-8880-9546&#160;Ba&ntilde;ares, Jos&eacute; &Aacute;ngel. editor. (orcid)0000-0002-4198-8241&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-81226-2">https://doi.org/10.1007/978-3-031-81226-2</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-14T04:40:53Z 2026-03-14T04:40: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/> Attacks and Defenses for the Internet-of-Things 7th International Conference, ADIoT 2024, Hangzhou, China, December 13-14, 2024, Proceedings ent://SD_ILS/0/SD_ILS:607638 2026-03-14T04:40:53Z 2026-03-14T04:40:53Z Author&#160;Meng, Weizhi. editor. (orcid)0000-0003-4384-5786&#160;Yung, Moti. editor. (orcid)0000-0003-0848-0873&#160;Shao, Jun. editor. (orcid)0000-0001-8352-0973&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-85593-1">https://doi.org/10.1007/978-3-031-85593-1</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-14T04:40:53Z 2026-03-14T04:40: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/> Programming Languages and Systems 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II ent://SD_ILS/0/SD_ILS:608327 2026-03-14T04:40:53Z 2026-03-14T04:40:53Z Author&#160;Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-91121-7">https://doi.org/10.1007/978-3-031-91121-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-14T04:40:53Z 2026-03-14T04:40: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/> 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-14T04:40:53Z 2026-03-14T04:40: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/> Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings ent://SD_ILS/0/SD_ILS:607681 2026-03-14T04:40:53Z 2026-03-14T04:40:53Z Author&#160;Erdem, Esra. editor. (orcid)0000-0001-8384-7810&#160;Vidal, Germ&aacute;n. editor. (orcid)0000-0002-1857-6951&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-84924-4">https://doi.org/10.1007/978-3-031-84924-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming 28th European Conference, EuroGP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings ent://SD_ILS/0/SD_ILS:608172 2026-03-14T04:40:53Z 2026-03-14T04:40:53Z Author&#160;Xue, Bing. editor. (orcid)0000-0002-4865-8026&#160;Manzoni, Luca. editor. (orcid)0000-0001-6312-7728&#160;Bakurov, Illya. editor. (orcid)0000-0002-6458-942X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-89991-1">https://doi.org/10.1007/978-3-031-89991-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I ent://SD_ILS/0/SD_ILS:608300 2026-03-14T04:40:53Z 2026-03-14T04:40:53Z Author&#160;Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-91118-7">https://doi.org/10.1007/978-3-031-91118-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Composable Enterprise: Agile, Flexible, Innovative A Gamechanger for Organisations, Digitisation and Business Software ent://SD_ILS/0/SD_ILS:601947 2026-03-14T04:40:53Z 2026-03-14T04:40:53Z Author&#160;Scheer, August-Wilhelm. 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-43089-4">https://doi.org/10.1007/978-3-658-43089-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:603153 2026-03-14T04:40:53Z 2026-03-14T04:40:53Z Author&#160;Weirich, Stephanie. 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-57262-3">https://doi.org/10.1007/978-3-031-57262-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:603162 2026-03-14T04:40:53Z 2026-03-14T04:40:53Z Author&#160;Weirich, Stephanie. 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-57267-8">https://doi.org/10.1007/978-3-031-57267-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Heterogeneous Hardware via Managed Runtime Systems ent://SD_ILS/0/SD_ILS:603202 2026-03-14T04:40:53Z 2026-03-14T04:40:53Z Author&#160;Fumero, Juan. author.&#160;Stratikopoulos, Athanasios. author. (orcid)0000-0002-0154-4523&#160;Kotselidis, Christos. author. (orcid)0000-0002-8146-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-49559-5">https://doi.org/10.1007/978-3-031-49559-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-14T04:40:53Z 2026-03-14T04:40: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/> The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II ent://SD_ILS/0/SD_ILS:605022 2026-03-14T04:40:53Z 2026-03-14T04:40:53Z Author&#160;Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976&#160;Baxter, James. editor. (orcid)0000-0001-6083-9607&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-66673-5">https://doi.org/10.1007/978-3-031-66673-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I ent://SD_ILS/0/SD_ILS:605031 2026-03-14T04:40:53Z 2026-03-14T04:40:53Z Author&#160;Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976&#160;Baxter, James. editor. (orcid)0000-0001-6083-9607&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-66676-6">https://doi.org/10.1007/978-3-031-66676-6</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-14T04:40:53Z 2026-03-14T04:40: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/> R for Basic Biostatistics in Medical Research ent://SD_ILS/0/SD_ILS:606359 2026-03-14T04:40:53Z 2026-03-14T04:40:53Z Author&#160;Srinivasan, Anand. editor.&#160;Mishra, Archana. editor. (orcid)0000-0001-8837-299X&#160;Kumar-M, Praveen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-6980-3">https://doi.org/10.1007/978-981-97-6980-3</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-14T04:40:53Z 2026-03-14T04:40: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/> 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-14T04:40:53Z 2026-03-14T04:40: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/> Genetic Programming 27th European Conference, EuroGP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603052 2026-03-14T04:40:53Z 2026-03-14T04:40:53Z Author&#160;Giacobini, Mario. editor.&#160;Xue, Bing. editor. (orcid)0000-0002-4865-8026&#160;Manzoni, Luca. 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-56957-9">https://doi.org/10.1007/978-3-031-56957-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603073 2026-03-14T04:40:53Z 2026-03-14T04:40:53Z Author&#160;Meier, Arne. editor. (orcid)0000-0002-8061-5376&#160;Ortiz, Magdalena. 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-56940-1">https://doi.org/10.1007/978-3-031-56940-1</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-14T04:40:53Z 2026-03-14T04:40: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/> 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-14T04:40:53Z 2026-03-14T04:40: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/> Learning C# Through Small Projects ent://SD_ILS/0/SD_ILS:603879 2026-03-14T04:40:53Z 2026-03-14T04:40: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/> Parallel C++ Efficient and Scalable High-Performance Parallel Programming Using HPX ent://SD_ILS/0/SD_ILS:604159 2026-03-14T04:40:53Z 2026-03-14T04:40: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/> Challenging Programming in Python: A Problem Solving Perspective ent://SD_ILS/0/SD_ILS:601863 2026-03-14T04:40:53Z 2026-03-14T04:40: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/> R Programming Statistical Data Analysis in Research ent://SD_ILS/0/SD_ILS:604233 2026-03-14T04:40:53Z 2026-03-14T04:40:53Z Author&#160;Okoye, Kingsley. author.&#160;Hosseini, Samira. author. (orcid)0000-0001-9190-4782&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-3385-9">https://doi.org/10.1007/978-981-97-3385-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Software Verification with Frama-C Core Components, Usages, and Applications ent://SD_ILS/0/SD_ILS:604237 2026-03-14T04:40:53Z 2026-03-14T04:40:53Z Author&#160;Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813&#160;Prevosto, Virgile. editor.&#160;Signoles, Julien. 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-55608-1">https://doi.org/10.1007/978-3-031-55608-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Competitive Programming Learning and Improving Algorithms Through Contests ent://SD_ILS/0/SD_ILS:604641 2026-03-14T04:40:53Z 2026-03-14T04:40:53Z Author&#160;Laaksonen, Antti. 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-61794-2">https://doi.org/10.1007/978-3-031-61794-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Competitive Programming Learning and Improving Algorithms Through Contests ent://SD_ILS/0/SD_ILS:613452 2026-03-14T04:40:53Z 2026-03-14T04:40:53Z Author&#160;Laaksonen, Antti. 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-72547-5">https://doi.org/10.1007/978-3-319-72547-5</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-14T04:40:53Z 2026-03-14T04:40: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/> Data Visualisation with R 100 Examples ent://SD_ILS/0/SD_ILS:613191 2026-03-14T04:40:53Z 2026-03-14T04:40:53Z Author&#160;Rahlf, Thomas. 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-49751-8">https://doi.org/10.1007/978-3-319-49751-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Architecture, Algorithm and Programming 8th International Symposium, PAAP 2017, Haikou, China, June 17-18, 2017, Proceedings ent://SD_ILS/0/SD_ILS:617956 2026-03-14T04:40:53Z 2026-03-14T04:40:53Z Author&#160;Chen, Guoliang. editor.&#160;Shen, Hong. editor.&#160;Chen, Mingrui. 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-6442-5">https://doi.org/10.1007/978-981-10-6442-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>