Search Results for Computer programming - Narrowed by: Programming Language. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bprogramming$0026qf$003dSUBJECT$002509Subject$002509Programming$002bLanguage.$002509Programming$002bLanguage.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list 2026-03-15T22:21:29Z 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-15T22:21:29Z 2026-03-15T22:21:29Z 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/> 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-15T22:21:29Z 2026-03-15T22:21:29Z 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-15T22:21:29Z 2026-03-15T22:21:29Z 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/> 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-15T22:21:29Z 2026-03-15T22:21:29Z 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-15T22:21:29Z 2026-03-15T22:21:29Z 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-15T22:21:29Z 2026-03-15T22:21:29Z 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/> 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-15T22:21:29Z 2026-03-15T22:21:29Z 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/> 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-15T22:21:29Z 2026-03-15T22:21:29Z 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/> Guide to Competitive Programming Learning and Improving Algorithms Through Contests ent://SD_ILS/0/SD_ILS:604641 2026-03-15T22:21:29Z 2026-03-15T22:21:29Z 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/> Challenging Programming in Python: A Problem Solving Perspective ent://SD_ILS/0/SD_ILS:601863 2026-03-15T22:21:29Z 2026-03-15T22:21:29Z 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-15T22:21:29Z 2026-03-15T22:21:29Z 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/> 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-15T22:21:29Z 2026-03-15T22:21:29Z 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/> Parallel C++ Efficient and Scalable High-Performance Parallel Programming Using HPX ent://SD_ILS/0/SD_ILS:604159 2026-03-15T22:21:29Z 2026-03-15T22:21:29Z 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-15T22:21:29Z 2026-03-15T22:21:29Z 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/> The French School of Programming ent://SD_ILS/0/SD_ILS:603390 2026-03-15T22:21:29Z 2026-03-15T22:21:29Z 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/> Guide to Competitive Programming Learning and Improving Algorithms Through Contests ent://SD_ILS/0/SD_ILS:613452 2026-03-15T22:21:29Z 2026-03-15T22:21:29Z 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/>