Search Results for Programming Language. - Narrowed by: 2024
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProgramming$002bLanguage.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092024$0025092024$0026ic$003dtrue$0026ps$003d300?dt=list
2026-03-30T22:02:26Z
Programming language explorations
ent://SD_ILS/0/SD_ILS:552946
2026-03-30T22:02:26Z
2026-03-30T22:02:26Z
Author Toal, Ray, author. Strieker, Sage Angelica, author. Berardini, Marco, author.<br/>Preferred Shelf Number QA76.7<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003222354">https://www.taylorfrancis.com/books/9781003222354</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</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-30T22:02:26Z
2026-03-30T22:02:26Z
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/>
Algoritma ve programlama mantığı
ent://SD_ILS/0/SD_ILS:524134
2026-03-30T22:02:26Z
2026-03-30T22:02:26Z
Author Tungut, H. Burak<br/>Preferred Shelf Number QA76.9.A43 T86 2024<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
R programming for actuarial science
ent://SD_ILS/0/SD_ILS:598694
2026-03-30T22:02:26Z
2026-03-30T22:02:26Z
Author McQuire, Peter, author. Kume, Alfred, author.<br/>Preferred Shelf Number QA276.45 .R3 M38 2024 EB<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119755005">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119755005</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming with GitHub Copilot : Write Better Code--Faster!
ent://SD_ILS/0/SD_ILS:599260
2026-03-30T22:02:26Z
2026-03-30T22:02:26Z
Author Dowswell, Kurt, author.<br/>Preferred Shelf Number QA76.76 .D47<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319787">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319787</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-30T22:02:26Z
2026-03-30T22:02:26Z
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/>
Modern C Programming Including Standards C99, C11, C17, C23
ent://SD_ILS/0/SD_ILS:601999
2026-03-30T22:02:26Z
2026-03-30T22:02:26Z
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/>
Logic Circuit Design Selected Topics and Methods
ent://SD_ILS/0/SD_ILS:602032
2026-03-30T22:02:26Z
2026-03-30T22:02:26Z
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/>
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-30T22:02:26Z
2026-03-30T22:02:26Z
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/>
Learning C# Through Small Projects
ent://SD_ILS/0/SD_ILS:603879
2026-03-30T22:02:26Z
2026-03-30T22:02:26Z
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/>
Parallel C++ Efficient and Scalable High-Performance Parallel Programming Using HPX
ent://SD_ILS/0/SD_ILS:604159
2026-03-30T22:02:26Z
2026-03-30T22:02:26Z
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-30T22:02:26Z
2026-03-30T22:02:26Z
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/>
Learn coding with Python and JavaScript A practical introduction for beginners
ent://SD_ILS/0/SD_ILS:604231
2026-03-30T22:02:26Z
2026-03-30T22:02:26Z
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/>
Guide to Competitive Programming Learning and Improving Algorithms Through Contests
ent://SD_ILS/0/SD_ILS:604641
2026-03-30T22:02:26Z
2026-03-30T22:02:26Z
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/>
MATLAB Lessons, Examples, and Exercises A Tutorial for Beginners and Experts
ent://SD_ILS/0/SD_ILS:606408
2026-03-30T22:02:26Z
2026-03-30T22:02:26Z
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/>
Digital convergence in antenna designs : applications for real-time solutions
ent://SD_ILS/0/SD_ILS:598939
2026-03-30T22:02:26Z
2026-03-30T22:02:26Z
Author Srividya, P., editor.<br/>Preferred Shelf Number TK7871.6 .D54 2024<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119879923">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119879923</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Compiler Design
ent://SD_ILS/0/SD_ILS:602230
2026-03-30T22:02:26Z
2026-03-30T22:02:26Z
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/>
The French School of Programming
ent://SD_ILS/0/SD_ILS:603390
2026-03-30T22:02:26Z
2026-03-30T22:02:26Z
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/>
R Programming Statistical Data Analysis in Research
ent://SD_ILS/0/SD_ILS:604233
2026-03-30T22:02:26Z
2026-03-30T22:02:26Z
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-30T22:02:26Z
2026-03-30T22:02:26Z
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/>
R for Basic Biostatistics in Medical Research
ent://SD_ILS/0/SD_ILS:606359
2026-03-30T22:02:26Z
2026-03-30T22:02:26Z
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/>
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-30T22:02:26Z
2026-03-30T22:02:26Z
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/>
Professional JavaScript for web developers
ent://SD_ILS/0/SD_ILS:598562
2026-03-30T22:02:26Z
2026-03-30T22:02:26Z
Author Frisbie, Matt, author.<br/>Preferred Shelf Number TK5105.8885 .J38 Z34 2024<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394193240">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394193240</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Professional C++
ent://SD_ILS/0/SD_ILS:598835
2026-03-30T22:02:26Z
2026-03-30T22:02:26Z
Author Gregoire, Marc (Software engineer), author.<br/>Preferred Shelf Number QA76.73 .C153 G733 2024<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394193202">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394193202</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-30T22:02:26Z
2026-03-30T22:02:26Z
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/>
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-30T22:02:26Z
2026-03-30T22:02:26Z
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-30T22:02:26Z
2026-03-30T22:02:26Z
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/>
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-30T22:02:26Z
2026-03-30T22:02:26Z
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-30T22:02:26Z
2026-03-30T22:02:26Z
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-30T22:02:26Z
2026-03-30T22:02:26Z
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/>
MATLAB and Simulink in Action Programming, Scientific Computing and Simulation
ent://SD_ILS/0/SD_ILS:603494
2026-03-30T22:02:26Z
2026-03-30T22:02:26Z
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/>
CompTIA DataSys+ study guide : exam DSO-001
ent://SD_ILS/0/SD_ILS:598664
2026-03-30T22:02:26Z
2026-03-30T22:02:26Z
Author Chapple, Mike, 1975- author. Nijim, Sharif, author.<br/>Preferred Shelf Number QA76.3 .C43 2024<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277094">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277094</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical modeling and simulation : introduction for scientists and engineers
ent://SD_ILS/0/SD_ILS:599300
2026-03-30T22:02:26Z
2026-03-30T22:02:26Z
Author Velten, Kai, author. Schmidt, Dominik M., author. Kahlen, Katrin, author.<br/>Preferred Shelf Number QA401 .V38 2024<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9783527849604">https://onlinelibrary.wiley.com/doi/book/10.1002/9783527849604</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-30T22:02:26Z
2026-03-30T22:02:26Z
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/>
Data Structures and Algorithms with Python With an Introduction to Multiprocessing
ent://SD_ILS/0/SD_ILS:602407
2026-03-30T22:02:26Z
2026-03-30T22:02:26Z
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/>
Structures of Computing A Guide to Practice-Oriented Theory
ent://SD_ILS/0/SD_ILS:602773
2026-03-30T22:02:26Z
2026-03-30T22:02:26Z
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/>
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-30T22:02:26Z
2026-03-30T22:02:26Z
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/>
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-30T22:02:26Z
2026-03-30T22:02:26Z
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-30T22:02:26Z
2026-03-30T22:02:26Z
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/>
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-30T22:02:26Z
2026-03-30T22:02:26Z
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 Analytics Methods and Tutorials A Practical Guide Using R
ent://SD_ILS/0/SD_ILS:604034
2026-03-30T22:02:26Z
2026-03-30T22:02:26Z
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/>
Programming with Python for Engineers
ent://SD_ILS/0/SD_ILS:604748
2026-03-30T22:02:26Z
2026-03-30T22:02:26Z
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 Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
ent://SD_ILS/0/SD_ILS:604956
2026-03-30T22:02:26Z
2026-03-30T22:02:26Z
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/>
The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II
ent://SD_ILS/0/SD_ILS:605022
2026-03-30T22:02:26Z
2026-03-30T22:02:26Z
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-30T22:02:26Z
2026-03-30T22:02:26Z
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/>
ICT Systems and Sustainability Proceedings of ICT4SD 2024, Volume 5
ent://SD_ILS/0/SD_ILS:606893
2026-03-30T22:02:26Z
2026-03-30T22:02:26Z
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/>
Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove
ent://SD_ILS/0/SD_ILS:602163
2026-03-30T22:02:26Z
2026-03-30T22:02:26Z
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/>
Digital Signal Processing Illustration Using Python
ent://SD_ILS/0/SD_ILS:602419
2026-03-30T22:02:26Z
2026-03-30T22:02:26Z
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/>
Deep Generative Modeling
ent://SD_ILS/0/SD_ILS:605103
2026-03-30T22:02:26Z
2026-03-30T22:02:26Z
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/>