Search Results for Programming Language. - Narrowed by: 1:SPRINGER
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProgramming$002bLanguage.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253ASPRINGER$0025091$00253ASPRINGER$0026ps$003d300?dt=list
2026-03-14T03:09:59Z
Programming Language Concepts
ent://SD_ILS/0/SD_ILS:617492
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Sestoft, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60789-4">https://doi.org/10.1007/978-3-319-60789-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming with Scala Language Exploration
ent://SD_ILS/0/SD_ILS:613298
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Upadhyaya, Bhim P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Python for Natural Language Processing Programming with NumPy, scikit-learn, Keras, and PyTorch
ent://SD_ILS/0/SD_ILS:604240
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Nugues, Pierre M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57549-5">https://doi.org/10.1007/978-3-031-57549-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scala: From a Functional Programming Perspective An Introduction to the Programming Language
ent://SD_ILS/0/SD_ILS:611120
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Torra, Vicenç. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46481-7">https://doi.org/10.1007/978-3-319-46481-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modern X86 Assembly Language Programming 32-bit, 64-bit, SSE, and AVX
ent://SD_ILS/0/SD_ILS:618669
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Kusswurm, Daniel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0064-3">https://doi.org/10.1007/978-1-4842-0064-3</a><br/>Format: Electronic Resources<br/>Availability 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-14T03:09:59Z
2026-03-14T03:09:59Z
Author Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
ICT Systems and Sustainability Proceedings of ICT4SD 2024, Volume 6
ent://SD_ILS/0/SD_ILS:607806
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Tuba, Milan. editor. Akashe, Shyam. editor. Joshi, Amit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-9523-9">https://doi.org/10.1007/978-981-97-9523-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ICT Analysis and Applications Proceedings of ICT4SD 2024, Volume 8
ent://SD_ILS/0/SD_ILS:607807
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Fong, Simon. editor. Dey, Nilanjan. editor. Joshi, Amit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-9529-1">https://doi.org/10.1007/978-981-97-9529-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Processing and Applied Mathematics 15th International Conference, PPAM 2024, Ostrava, Czech Republic, September 8-11, 2024, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:607893
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Wyrzykowski, Roman. editor. (orcid)0000-0003-0328-2034 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85697-6">https://doi.org/10.1007/978-3-031-85697-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Processing and Applied Mathematics 15th International Conference, PPAM 2024, Ostrava, Czech Republic, September 8-11, 2024, Revised Selected Papers, Part III
ent://SD_ILS/0/SD_ILS:607895
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Wyrzykowski, Roman. editor. (orcid)0000-0003-0328-2034 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85703-4">https://doi.org/10.1007/978-3-031-85703-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ICT Analysis and Applications Proceedings of ICT4SD 2024, Volume 4
ent://SD_ILS/0/SD_ILS:607914
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Fong, Simon. editor. Dey, Nilanjan. editor. Joshi, Amit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-8605-3">https://doi.org/10.1007/978-981-97-8605-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ICT Systems and Sustainability Proceedings of ICT4SD 2024, Volume 1
ent://SD_ILS/0/SD_ILS:608056
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Tuba, Milan. editor. Akashe, Shyam. editor. Joshi, Amit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-8526-1">https://doi.org/10.1007/978-981-97-8526-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Object-based Programming with Go
ent://SD_ILS/0/SD_ILS:609332
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Maurer, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
The Python Workbook A Brief Introduction with Exercises and Solutions
ent://SD_ILS/0/SD_ILS:609375
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Stephenson, Ben. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-14T03:09:59Z
2026-03-14T03:09:59Z
Author Wang, Yang. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Active Disturbance Rejection Control From Principles to Practice
ent://SD_ILS/0/SD_ILS:606164
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Herbst, Gernot. author. Madonski, Rafal. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72687-3">https://doi.org/10.1007/978-3-031-72687-3</a><br/>Format: Electronic Resources<br/>Availability 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-14T03:09:59Z
2026-03-14T03:09:59Z
Author Hemann, Jason. editor. (orcid)0000-0002-5405-2936 Chang, Stephen. editor. (orcid)0000-0002-4760-0658 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:607116
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78709-6">https://doi.org/10.1007/978-3-031-78709-6</a><br/>Format: Electronic Resources<br/>Availability 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-14T03:09:59Z
2026-03-14T03:09:59Z
Author Naldi, Maurizio. editor. (orcid)0000-0002-0903-398X Djemame, Karim. editor. (orcid)0000-0001-5811-5263 Altmann, Jörn. editor. (orcid)0000-0002-8880-9546 Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of International Conference on Theoretical and Applied Computing ICTAC 2024
ent://SD_ILS/0/SD_ILS:607254
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Mathew, Lisa. editor. Subramanian, K. G. editor. (orcid)0000-0001-8726-5850 Nagar, Atulya K. editor. (orcid)0000-0001-5549-6435 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-6957-5">https://doi.org/10.1007/978-981-97-6957-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Managing Software Supply Chains Theory and Practice
ent://SD_ILS/0/SD_ILS:607427
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Wang, Ying. author. Cheung, Shing-Chi. author. (orcid)0000-0002-3508-7172 Yu, Hai. author. (orcid)0000-0002-8024-1781 Zhu, Zhiliang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
ICT Analysis and Applications Proceedings of ICT4SD 2024, Volume 3
ent://SD_ILS/0/SD_ILS:607620
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Fong, Simon. editor. Dey, Nilanjan. editor. Joshi, Amit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-8602-2">https://doi.org/10.1007/978-981-97-8602-2</a><br/>Format: Electronic Resources<br/>Availability 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-14T03:09:59Z
2026-03-14T03:09:59Z
Author Meng, Weizhi. editor. (orcid)0000-0003-4384-5786 Yung, Moti. editor. (orcid)0000-0003-0848-0873 Shao, Jun. editor. (orcid)0000-0001-8352-0973 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Compiler Construction Fundamentals and Applications
ent://SD_ILS/0/SD_ILS:608277
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Mössenböck, Hanspeter. author. (orcid)0000-0001-7706-7308 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-14T03:09:59Z
2026-03-14T03:09:59Z
Author Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
ICT Systems and Sustainability Proceedings of ICT4SD 2024, Volume 2
ent://SD_ILS/0/SD_ILS:608366
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Tuba, Milan. editor. Akashe, Shyam. editor. Joshi, Amit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-8591-9">https://doi.org/10.1007/978-981-97-8591-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Information Systems and Technologies 19th International Conference, WEBIST 2023, Rome, Italy, November 15-17, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:608533
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Marchiori, Massimo. editor. García Peñalvo, Francisco. editor. (orcid)0000-0001-9987-5584 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-89621-7">https://doi.org/10.1007/978-3-031-89621-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
BUiD Doctoral Research Conference 2024 Multidisciplinary Studies
ent://SD_ILS/0/SD_ILS:608504
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Al Marri, Khalid. editor. Mir, Farzana Asad. editor. (orcid)0000-0001-9378-1800 Awad, Ahmed. editor. Abubakar, Ahmed. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-84371-6">https://doi.org/10.1007/978-3-031-84371-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ICT Analysis and Applications Proceedings of ICT4SD 2024, Volume 7
ent://SD_ILS/0/SD_ILS:609010
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Fong, Simon. editor. Dey, Nilanjan. editor. Joshi, Amit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-9526-0">https://doi.org/10.1007/978-981-97-9526-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Information Systems with Large Language Models
ent://SD_ILS/0/SD_ILS:609559
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author De Luzi, Francesca. editor. (orcid)0000-0002-9896-2528 Monti, Flavia. editor. (orcid)0000-0003-3349-7861 Mecella, Massimo. editor. (orcid)0000-0002-9730-8882 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-92285-5">https://doi.org/10.1007/978-3-031-92285-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Python for Agriculturists
ent://SD_ILS/0/SD_ILS:610421
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Iqbal, Muhammad Azhar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-032-01442-9">https://doi.org/10.1007/978-3-032-01442-9</a><br/>Format: Electronic Resources<br/>Availability 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-14T03:09:59Z
2026-03-14T03:09:59Z
Author Kardas, Geylani. editor. (orcid)0000-0001-6975-305X Luković, Ivan. editor. (orcid)0000-0003-1319-488X Milašinović, Boris. editor. (orcid)0000-0002-7889-3131 Popović, Aleksandar. editor. (orcid)0000-0002-6361-7089 Radliński, Łukasz. editor. (orcid)0000-0003-1007-6597<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-14T03:09:59Z
2026-03-14T03:09:59Z
Author Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Understanding Modelling and Programming
ent://SD_ILS/0/SD_ILS:606763
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Prinz, Andreas. author. (orcid)0000-0002-0646-2877 Møller-Pedersen, Birger. author. (orcid)0000-0003-2123-3260 Fischer, Joachim. author. (orcid)0000-0003-2476-3996 Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:607214
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78750-8">https://doi.org/10.1007/978-3-031-78750-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Biology A Practical Introduction to Bio Data Juggling with Worked Examples
ent://SD_ILS/0/SD_ILS:607298
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Wünschiers, Röbbe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-70314-0">https://doi.org/10.1007/978-3-031-70314-0</a><br/>Format: Electronic Resources<br/>Availability 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-14T03:09:59Z
2026-03-14T03:09:59Z
Author Erdem, Esra. editor. (orcid)0000-0001-8384-7810 Vidal, Germán. editor. (orcid)0000-0002-1857-6951 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Processing and Applied Mathematics 15th International Conference, PPAM 2024, Ostrava, Czech Republic, September 8-11, 2024, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:607894
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Wyrzykowski, Roman. editor. (orcid)0000-0003-0328-2034 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85700-3">https://doi.org/10.1007/978-3-031-85700-3</a><br/>Format: Electronic Resources<br/>Availability 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-14T03:09:59Z
2026-03-14T03:09:59Z
Author Xue, Bing. editor. (orcid)0000-0002-4865-8026 Manzoni, Luca. editor. (orcid)0000-0001-6312-7728 Bakurov, Illya. editor. (orcid)0000-0002-6458-942X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-14T03:09:59Z
2026-03-14T03:09:59Z
Author Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Multivariate Analysis and Machine Learning Techniques Feature Analysis in Data Science Using Python
ent://SD_ILS/0/SD_ILS:608723
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Sundararajan, Srikrishnan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-0353-5">https://doi.org/10.1007/978-981-99-0353-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday
ent://SD_ILS/0/SD_ILS:609119
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97492-2">https://doi.org/10.1007/978-3-031-97492-2</a><br/>Format: Electronic Resources<br/>Availability 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-14T03:09:59Z
2026-03-14T03:09:59Z
Author Scheer, August-Wilhelm. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Compiler Design
ent://SD_ILS/0/SD_ILS:602230
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Mogensen, Torben Ægidius. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-46460-7">https://doi.org/10.1007/978-3-031-46460-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Structures of Computing A Guide to Practice-Oriented Theory
ent://SD_ILS/0/SD_ILS:602773
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Börger, Egon. author. Gervasi, Vincenzo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-14T03:09:59Z
2026-03-14T03:09:59Z
Author Weirich, Stephanie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-14T03:09:59Z
2026-03-14T03:09:59Z
Author Weirich, Stephanie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Heterogeneous Hardware via Managed Runtime Systems
ent://SD_ILS/0/SD_ILS:603202
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Fumero, Juan. author. Stratikopoulos, Athanasios. author. (orcid)0000-0002-0154-4523 Kotselidis, Christos. author. (orcid)0000-0002-8146-3503 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
The French School of Programming
ent://SD_ILS/0/SD_ILS:603390
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Meyer, Bertrand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Programming with Python for Engineers
ent://SD_ILS/0/SD_ILS:604748
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Kalkan, Sinan. author. (orcid)0000-0003-0915-5917 Şehitoğlu, Onur T. author. (orcid)0000-0001-5146-5017 Üçoluk, Göktürk. author. (orcid)0000-0002-1479-6113 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57148-0">https://doi.org/10.1007/978-3-031-57148-0</a><br/>Format: Electronic Resources<br/>Availability 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-14T03:09:59Z
2026-03-14T03:09:59Z
Author Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 Baxter, James. editor. (orcid)0000-0001-6083-9607 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-14T03:09:59Z
2026-03-14T03:09:59Z
Author Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 Baxter, James. editor. (orcid)0000-0001-6083-9607 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-14T03:09:59Z
2026-03-14T03:09:59Z
Author Foster, Simon. editor. (orcid)0000-0002-9889-9514 Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
R for Basic Biostatistics in Medical Research
ent://SD_ILS/0/SD_ILS:606359
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Srinivasan, Anand. editor. Mishra, Archana. editor. (orcid)0000-0001-8837-299X Kumar-M, Praveen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
MATLAB Lessons, Examples, and Exercises A Tutorial for Beginners and Experts
ent://SD_ILS/0/SD_ILS:606408
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Rahmani-Andebili, Mehdi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-76177-5">https://doi.org/10.1007/978-3-031-76177-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ICT Systems and Sustainability Proceedings of ICT4SD 2024, Volume 5
ent://SD_ILS/0/SD_ILS:606893
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Tuba, Milan. editor. Akashe, Shyam. editor. Joshi, Amit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-8537-7">https://doi.org/10.1007/978-981-97-8537-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modern C Programming Including Standards C99, C11, C17, C23
ent://SD_ILS/0/SD_ILS:601999
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Gazi, Orhan. author. (orcid)0000-0001-5328-7955 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45361-8">https://doi.org/10.1007/978-3-031-45361-8</a><br/>Format: Electronic Resources<br/>Availability 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-14T03:09:59Z
2026-03-14T03:09:59Z
Author Morazán, Marco T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-14T03:09:59Z
2026-03-14T03:09:59Z
Author Yavorskiy, Rostislav. editor. Cavalli, Ana Rosa. editor. Kalenkova, Anna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Data Structures and Algorithms with Python With an Introduction to Multiprocessing
ent://SD_ILS/0/SD_ILS:602407
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Lee, Kent D. author. Hubbard, Steve. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42209-6">https://doi.org/10.1007/978-3-031-42209-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Signal Processing Illustration Using Python
ent://SD_ILS/0/SD_ILS:602419
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Esakkirajan, S. author. Veerakumar, T. author. (orcid)0000-0001-9084-1847 N Subudhi, Badri. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-6752-0">https://doi.org/10.1007/978-981-99-6752-0</a><br/>Format: Electronic Resources<br/>Availability 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-14T03:09:59Z
2026-03-14T03:09:59Z
Author Jarzębowicz, Aleksander. editor. Luković, Ivan. editor. (orcid)0000-0003-1319-488X Przybyłek, Adam. editor. Staroń, Mirosław. editor. (orcid)0000-0002-9052-0864 Ahmad, Muhammad Ovais. editor. (orcid)0000-0002-7885-0369<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:602942
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104 Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-55630-2">https://doi.org/10.1007/978-3-031-55630-2</a><br/>Format: Electronic Resources<br/>Availability 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-14T03:09:59Z
2026-03-14T03:09:59Z
Author Giacobini, Mario. editor. Xue, Bing. editor. (orcid)0000-0002-4865-8026 Manzoni, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
BUiD Doctoral Research Conference 2023 Multidisciplinary Studies
ent://SD_ILS/0/SD_ILS:603070
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Al Marri, Khalid. editor. Mir, Farzana Asad. editor. (orcid)0000-0001-9378-1800 David, Solomon Arulraj. editor. Al-Emran, Mostafa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56121-4">https://doi.org/10.1007/978-3-031-56121-4</a><br/>Format: Electronic Resources<br/>Availability 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-14T03:09:59Z
2026-03-14T03:09:59Z
Author Meier, Arne. editor. (orcid)0000-0002-8061-5376 Ortiz, Magdalena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Infrared Small Target Detection Theory, Methods, and Algorithms.
ent://SD_ILS/0/SD_ILS:603099
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Zhu, Hu. author. Pan, Yushan. author. (orcid)0000-0002-6877-3937 Deng, Lizhen. author. Xu, Guoxia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
MATLAB and Simulink in Action Programming, Scientific Computing and Simulation
ent://SD_ILS/0/SD_ILS:603494
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Xue, Dingyü. author. Pan, Feng. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-1176-9">https://doi.org/10.1007/978-981-99-1176-9</a><br/>Format: Electronic Resources<br/>Availability 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-14T03:09:59Z
2026-03-14T03:09:59Z
Author Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Learning C# Through Small Projects
ent://SD_ILS/0/SD_ILS:603879
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Panjuta, Denis. author. (orcid)0009-0001-4855-9300 Jabbarzadeh, Jafar. author. (orcid)0009-0004-3534-795X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Learning Analytics Methods and Tutorials A Practical Guide Using R
ent://SD_ILS/0/SD_ILS:604034
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Saqr, Mohammed. editor. (orcid)0000-0001-5881-3109 López-Pernas, Sonsoles. editor. (orcid)0000-0002-9621-1392 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-54464-4">https://doi.org/10.1007/978-3-031-54464-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel C++ Efficient and Scalable High-Performance Parallel Programming Using HPX
ent://SD_ILS/0/SD_ILS:604159
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Diehl, Patrick. author. Brandt, Steven R. author. Kaiser, Hartmut. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Internet Modeling with Julia Models, Algorithms and Programs
ent://SD_ILS/0/SD_ILS:604174
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Hofmann, Ulrich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-44692-5">https://doi.org/10.1007/978-3-658-44692-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Deep Generative Modeling
ent://SD_ILS/0/SD_ILS:605103
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Tomczak, Jakub M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64087-2">https://doi.org/10.1007/978-3-031-64087-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Health Analytics with R Learning Data Science Using Examples from Healthcare and Direct-to-Consumer Genetics
ent://SD_ILS/0/SD_ILS:606783
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Boland, Mary Regina. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-74383-2">https://doi.org/10.1007/978-3-031-74383-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Challenging Programming in Python: A Problem Solving Perspective
ent://SD_ILS/0/SD_ILS:601863
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Izadkhah, Habib. author. (orcid)0000-0001-7595-8350 Behzadidoost, Rashid. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Circuit Design Selected Topics and Methods
ent://SD_ILS/0/SD_ILS:602032
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Vingron, Shimon P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40673-7">https://doi.org/10.1007/978-3-031-40673-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learn coding with Python and JavaScript A practical introduction for beginners
ent://SD_ILS/0/SD_ILS:604231
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Zuckarelli, Joachim L. author. (orcid)0000-0002-9280-3016 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
R Programming Statistical Data Analysis in Research
ent://SD_ILS/0/SD_ILS:604233
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Okoye, Kingsley. author. Hosseini, Samira. author. (orcid)0000-0001-9190-4782 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-14T03:09:59Z
2026-03-14T03:09:59Z
Author Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Prevosto, Virgile. editor. Signoles, Julien. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Competitive Programming Learning and Improving Algorithms Through Contests
ent://SD_ILS/0/SD_ILS:604641
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Laaksonen, Antti. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Programming in HTML and PHP Coding for Scientists and Engineers
ent://SD_ILS/0/SD_ILS:611023
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Brooks, David R. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Compiler Design
ent://SD_ILS/0/SD_ILS:611051
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Mogensen, Torben Ægidius. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66966-3">https://doi.org/10.1007/978-3-319-66966-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics
ent://SD_ILS/0/SD_ILS:611240
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Draheim, Dirk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55198-7">https://doi.org/10.1007/978-3-642-55198-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Finite Element Simulation with MSC Marc Application of User Subroutines
ent://SD_ILS/0/SD_ILS:612933
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Javanbakht, Zia. author. Öchsner, Andreas. author. (orcid)0000-0002-8844-3206 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47668-1">https://doi.org/10.1007/978-3-319-47668-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Competitive Programming Learning and Improving Algorithms Through Contests
ent://SD_ILS/0/SD_ILS:613452
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Laaksonen, Antti. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
The Mathematical-Function Computation Handbook Programming Using the MathCW Portable Software Library
ent://SD_ILS/0/SD_ILS:615722
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Beebe, Nelson H.F. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64110-2">https://doi.org/10.1007/978-3-319-64110-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616234
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63139-4">https://doi.org/10.1007/978-3-319-63139-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Present and Ulterior Software Engineering
ent://SD_ILS/0/SD_ILS:610759
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Mazzara, Manuel. editor. Meyer, Bertrand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67425-4">https://doi.org/10.1007/978-3-319-67425-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unraveling Software Maintenance and Evolution Thinking Outside the Box
ent://SD_ILS/0/SD_ILS:613157
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Varga, Ervin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Data Visualisation with R 100 Examples
ent://SD_ILS/0/SD_ILS:613191
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Rahlf, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Grammatical Inference Algorithms, Routines and Applications
ent://SD_ILS/0/SD_ILS:615336
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Wieczorek, Wojciech. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46801-3">https://doi.org/10.1007/978-3-319-46801-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
E-Learning Systems Intelligent Techniques for Personalization
ent://SD_ILS/0/SD_ILS:615383
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Klašnja-Milićević, Aleksandra. author. (orcid)0000-0002-8023-4776 Vesin, Boban. author. Ivanović, Mirjana. author. Budimac, Zoran. author. Jain, Lakhmi C. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41163-7">https://doi.org/10.1007/978-3-319-41163-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models of Computation
ent://SD_ILS/0/SD_ILS:616061
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Bruni, Roberto. author. Montanari, Ugo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:616372
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Cunha, Jácome. editor. Fernandes, João P. editor. Lämmel, Ralf. editor. Saraiva, João. editor. Zaytsev, Vadim. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60074-1">https://doi.org/10.1007/978-3-319-60074-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
ent://SD_ILS/0/SD_ILS:617461
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Ölveczky, Peter Csaba. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6687-0">https://doi.org/10.1007/978-1-4471-6687-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Scientific Computing in C++
ent://SD_ILS/0/SD_ILS:617561
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73132-2">https://doi.org/10.1007/978-3-319-73132-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Unconventional Computing for Music
ent://SD_ILS/0/SD_ILS:617742
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Miranda, Eduardo Reck. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49881-2">https://doi.org/10.1007/978-3-319-49881-2</a><br/>Format: Electronic Resources<br/>Availability 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-14T03:09:59Z
2026-03-14T03:09:59Z
Author Chen, Guoliang. editor. Shen, Hong. editor. Chen, Mingrui. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Python for Graph and Network Analysis
ent://SD_ILS/0/SD_ILS:611738
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Al-Taie, Mohammed Zuhair. author. Kadry, Seifedine. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53004-8">https://doi.org/10.1007/978-3-319-53004-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Distributed Simulation with HLA
ent://SD_ILS/0/SD_ILS:611689
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Topçu, Okan. author. Oğuztüzün, Halit. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
ent://SD_ILS/0/SD_ILS:617536
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
A Practical Approach to Compiler Construction
ent://SD_ILS/0/SD_ILS:617486
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Watson, Des. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52789-5">https://doi.org/10.1007/978-3-319-52789-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Data Science Design Manual
ent://SD_ILS/0/SD_ILS:617501
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Skiena, Steven S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55444-0">https://doi.org/10.1007/978-3-319-55444-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Programming Languages
ent://SD_ILS/0/SD_ILS:617555
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Lee, Kent D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70790-7">https://doi.org/10.1007/978-3-319-70790-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Data Structures A Concise Introduction Using Java
ent://SD_ILS/0/SD_ILS:617557
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70085-4">https://doi.org/10.1007/978-3-319-70085-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612288
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Thiemann, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49498-1">https://doi.org/10.1007/978-3-662-49498-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
From Curve Fitting to Machine Learning An Illustrative Guide to Scientific Data Analysis and Computational Intelligence
ent://SD_ILS/0/SD_ILS:612913
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Zielesny, Achim. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-32545-3">https://doi.org/10.1007/978-3-319-32545-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613374
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Kranakis, Evangelos. editor. (orcid)0000-0002-8959-4428 Navarro, Gonzalo. editor. Chávez, Edgar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49529-2">https://doi.org/10.1007/978-3-662-49529-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Real Time Control Engineering Systems And Automation
ent://SD_ILS/0/SD_ILS:613697
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Ng, Tian Seng. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-1509-0">https://doi.org/10.1007/978-981-10-1509-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming with Python
ent://SD_ILS/0/SD_ILS:612535
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Padmanabhan, T R. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3277-6">https://doi.org/10.1007/978-981-10-3277-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
System Dynamics Modeling with R
ent://SD_ILS/0/SD_ILS:614600
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Duggan, Jim. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-34043-2">https://doi.org/10.1007/978-3-319-34043-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Android Application Security A Semantics and Context-Aware Approach
ent://SD_ILS/0/SD_ILS:615865
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Zhang, Mu. author. Yin, Heng. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47812-8">https://doi.org/10.1007/978-3-319-47812-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dance Notations and Robot Motion
ent://SD_ILS/0/SD_ILS:617115
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Laumond, Jean-Paul. editor. Abe, Naoko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25739-6">https://doi.org/10.1007/978-3-319-25739-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Practical Introduction to Fuzzy Logic using LISP
ent://SD_ILS/0/SD_ILS:617171
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Argüelles Mendez, Luis. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23186-0">https://doi.org/10.1007/978-3-319-23186-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numeric Computation and Statistical Data Analysis on the Java Platform
ent://SD_ILS/0/SD_ILS:618082
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Chekanov, Sergei V. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28531-3">https://doi.org/10.1007/978-3-319-28531-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Csound A Sound and Music Computing System
ent://SD_ILS/0/SD_ILS:616477
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Lazzarini, Victor. author. Yi, Steven. author. ffitch, John. author. Heintz, Joachim. author. Brandtsegg, Øyvind. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45370-5">https://doi.org/10.1007/978-3-319-45370-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Power Amplifiers for the S-, C-, X- and Ku-bands An EDA Perspective
ent://SD_ILS/0/SD_ILS:616478
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Božanić, Mladen. author. (orcid)0000-0001-9174-0781 Sinha, Saurabh. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28376-0">https://doi.org/10.1007/978-3-319-28376-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Limits of Computation From a Programming Perspective
ent://SD_ILS/0/SD_ILS:617415
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Reus, Bernhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27889-6">https://doi.org/10.1007/978-3-319-27889-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Design for Resilient Computer Systems
ent://SD_ILS/0/SD_ILS:617729
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Schagaev, Igor. author. Thomas, Kaegi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29465-0">https://doi.org/10.1007/978-3-319-29465-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learning Analytics in R with SNA, LSA, and MPIA
ent://SD_ILS/0/SD_ILS:613407
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Wild, Fridolin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28791-1">https://doi.org/10.1007/978-3-319-28791-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:616246
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Väänänen, Jouko. editor. Hirvonen, Åsa. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-52921-8">https://doi.org/10.1007/978-3-662-52921-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
MATLAB Matrix Algebra
ent://SD_ILS/0/SD_ILS:618522
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Lopez, Cesar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0307-1">https://doi.org/10.1007/978-1-4842-0307-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
MATLAB Differential Equations
ent://SD_ILS/0/SD_ILS:618534
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Lopez, Cesar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0310-1">https://doi.org/10.1007/978-1-4842-0310-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning iPhone Development with Swift Exploring the iOS SDK
ent://SD_ILS/0/SD_ILS:618546
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Topley, Kim. author. Olsson, Fredrik. author. Nutting, Jack. author. Mark, David. author. LaMarche, Jeff. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0409-2">https://doi.org/10.1007/978-1-4842-0409-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Java 8 Recipes
ent://SD_ILS/0/SD_ILS:618572
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Dea, Carl. author. Beaty, Mark. author. Guime, Freddy. author. OConner, John. author. Juneau, Josh. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6826-0">https://doi.org/10.1007/978-1-4302-6826-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Python Quick Syntax Reference
ent://SD_ILS/0/SD_ILS:618576
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Walters, Gregory. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6479-8">https://doi.org/10.1007/978-1-4302-6479-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
MATLAB Optimization Techniques
ent://SD_ILS/0/SD_ILS:618577
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Lopez, Cesar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0292-0">https://doi.org/10.1007/978-1-4842-0292-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Topics in Java Core Concepts in Data Structures
ent://SD_ILS/0/SD_ILS:618578
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Kalicharan, Noel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6620-4">https://doi.org/10.1007/978-1-4302-6620-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Building JavaScript Games for Phones, Tablets, and Desktop
ent://SD_ILS/0/SD_ILS:618579
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Egges, Arjan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6539-9">https://doi.org/10.1007/978-1-4302-6539-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Java 8 Games Development
ent://SD_ILS/0/SD_ILS:618583
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Jackson, Wallace. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0415-3">https://doi.org/10.1007/978-1-4842-0415-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundation ActionScript 3
ent://SD_ILS/0/SD_ILS:618630
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Milbourne, Paul. author. Richardson, Darren. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0583-9">https://doi.org/10.1007/978-1-4842-0583-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Windows PowerShell Desired State Configuration Revealed
ent://SD_ILS/0/SD_ILS:618637
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Chaganti, Ravikanth. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0016-2">https://doi.org/10.1007/978-1-4842-0016-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Manager's Guide to Web Application Security A Concise Guide to the Weaker Side of the Web
ent://SD_ILS/0/SD_ILS:618640
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Lepofsky, Ron. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0148-0">https://doi.org/10.1007/978-1-4842-0148-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning C++
ent://SD_ILS/0/SD_ILS:618641
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Horton, Ivor. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0007-0">https://doi.org/10.1007/978-1-4842-0007-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Java 8 APIs, Extensions and Libraries Swing, JavaFX, JavaScript, JDBC and Network Programming APIs
ent://SD_ILS/0/SD_ILS:618643
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Sharan, Kishori. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6662-4">https://doi.org/10.1007/978-1-4302-6662-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
MATLAB Symbolic Algebra and Calculus Tools
ent://SD_ILS/0/SD_ILS:618644
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Lopez, Cesar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0343-9">https://doi.org/10.1007/978-1-4842-0343-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transitioning to Swift
ent://SD_ILS/0/SD_ILS:618658
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Gardner, Scott. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0406-1">https://doi.org/10.1007/978-1-4842-0406-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Android Recipes A Problem-Solution Approach
ent://SD_ILS/0/SD_ILS:618663
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Smith, Dave. author. Friesen, Jeff. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6323-4">https://doi.org/10.1007/978-1-4302-6323-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Xcode: Swift Edition
ent://SD_ILS/0/SD_ILS:618664
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Knott, Matthew. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0538-9">https://doi.org/10.1007/978-1-4842-0538-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Java 8 Fundamentals Language Syntax, Arrays, Data Types, Objects, and Regular Expressions
ent://SD_ILS/0/SD_ILS:618678
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Sharan, Kishori. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6653-2">https://doi.org/10.1007/978-1-4302-6653-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Unity Game Development with C#
ent://SD_ILS/0/SD_ILS:618681
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Thorn, Alan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6745-4">https://doi.org/10.1007/978-1-4302-6745-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
MATLAB Differential and Integral Calculus
ent://SD_ILS/0/SD_ILS:618686
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Lopez, Cesar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0304-0">https://doi.org/10.1007/978-1-4842-0304-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dart for Absolute Beginners
ent://SD_ILS/0/SD_ILS:618687
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Kopec, David. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6482-8">https://doi.org/10.1007/978-1-4302-6482-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Migrating to Swift from Android
ent://SD_ILS/0/SD_ILS:618689
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Liao, Sean. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0436-8">https://doi.org/10.1007/978-1-4842-0436-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learn C++ for Game Development
ent://SD_ILS/0/SD_ILS:618691
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Sutherland, Bruce. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6458-3">https://doi.org/10.1007/978-1-4302-6458-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
R Recipes A Problem-Solution Approach
ent://SD_ILS/0/SD_ILS:618693
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Pace, Larry. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0130-5">https://doi.org/10.1007/978-1-4842-0130-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Haskell A Project-Based Approach
ent://SD_ILS/0/SD_ILS:618694
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Serrano Mena, Alejandro. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6251-0">https://doi.org/10.1007/978-1-4302-6251-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Python Algorithms Mastering Basic Algorithms in the Python Language
ent://SD_ILS/0/SD_ILS:618698
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Hetland, Magnus Lie. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0055-1">https://doi.org/10.1007/978-1-4842-0055-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Java 8 Language Features Lambda Expressions, Inner Classes, Threads, I/O, Collections, and Streams
ent://SD_ILS/0/SD_ILS:618705
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Sharan, Kishori. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6659-4">https://doi.org/10.1007/978-1-4302-6659-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SAP ABAP Hands-On Test Projects with Business Scenarios
ent://SD_ILS/0/SD_ILS:618511
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Markandeya, Sushil. author. Roy, Kaushik. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-4804-0">https://doi.org/10.1007/978-1-4302-4804-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learn Java for Web Development Modern Java Web Development
ent://SD_ILS/0/SD_ILS:618517
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Layka, Vishal. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-5984-8">https://doi.org/10.1007/978-1-4302-5984-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
MATLAB Numerical Calculations
ent://SD_ILS/0/SD_ILS:618545
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Lopez, Cesar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0346-0">https://doi.org/10.1007/978-1-4842-0346-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
MATLAB Control Systems Engineering
ent://SD_ILS/0/SD_ILS:618554
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Lopez, Cesar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0289-0">https://doi.org/10.1007/978-1-4842-0289-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
MATLAB Linear Algebra
ent://SD_ILS/0/SD_ILS:618560
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Lopez, Cesar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0322-4">https://doi.org/10.1007/978-1-4842-0322-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning COBOL for Programmers
ent://SD_ILS/0/SD_ILS:618562
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Coughlan, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6254-1">https://doi.org/10.1007/978-1-4302-6254-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
MATLAB Programming for Numerical Analysis
ent://SD_ILS/0/SD_ILS:618607
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Lopez, Cesar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0295-1">https://doi.org/10.1007/978-1-4842-0295-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Swift Quick Syntax Reference
ent://SD_ILS/0/SD_ILS:618608
2026-03-14T03:09:59Z
2026-03-14T03:09:59Z
Author Campbell, Matthew. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0439-9">https://doi.org/10.1007/978-1-4842-0439-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>